Under Consideration for Publication in Knowledge and Information Systems Norm Negotiation in Online Multi-player Games

In this paper, we introduce an agent communication protocol and speech acts for norm negotiation. The protocol creates individual or contractual obligations to fulfill goals of the agents based on the so-called social delegation cycle. First, agents communicate their individual goals and powers. Second, they propose social goals which can be accepted or rejected by other agents. Third, they propose obligations and sanctions to achieve the social goal, which can again be accepted or rejected. Finally, the agents accept the new norm by indicating which of their communicated individual goals the norm achieves. The semantics of the speech acts is based on a commitment to public mental attitudes. The norm negotiation model is illustrated by an example of norm negotiation in multi-player online gaming.

[1]  David Lewis.  Convention: A Philosophical Study , 1986 .

[2]  Rino Falcone,et al.  Introduction: Agents and Norms: How to fill the gap? , 1999, Artificial Intelligence and Law.

[3]  Guido Boella,et al.  Substantive and procedural norms in normative multiagent systems , 2008, J. Appl. Log..

[4]  Dov M. Gabbay,et al.  Handbook of Philosophical Logic Vol. 10 , 2001 .

[5]  Peter Ludlow,et al.  The Second Life Herald: The Virtual Tabloid that Witnessed the Dawn of the Metaverse , 2007 .

[6]  Michael Wooldridge,et al.  On the computational complexity of qualitative coalitional games , 2004, Artif. Intell..

[7]  Paul McNamara,et al.  Deontic logic , 2006, Logic and the Modalities in the Twentieth Century.

[8]  Guido Boella,et al.  Norm Negotiation in Multiagent Systems , 2007, Int. J. Cooperative Inf. Syst..

[9]  C. Raymond Perrault,et al.  Elements of a Plan-Based Theory of Speech Acts , 1979, Cogn. Sci..

[10]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

[11]  Frank Dignum,et al.  Autonomous Norm Acceptance , 1998, ATAL.

[12]  Guido Boella,et al.  A game theoretic approach to contracts in multiagent systems , 2006, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[13]  Guido Boella,et al.  Enforceable social laws , 2005, AAMAS '05.

[14]  Guido Boella,et al.  A common ontology of agent communication languages: Modeling mental attitudes and social commitments using roles , 2007, Appl. Ontology.

[15]  Guido Boella,et al.  Security policies for sharing knowledge in virtual communities , 2006, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[16]  Fabiola. LoÌpez y LoÌpez.  Social power and norms : impact on agent behaviour , 2003 .

[17]  Moshe Tennenholtz,et al.  On Stable Social Laws and Qualitative Equilibria , 1998, Artif. Intell..

[18]  Felix A. Fischer,et al.  Communication Attitudes: A Formal Approach to Ostensible Intentions, and Individual and Group Opinions , 2006, LCMAS.

[19]  Guido Boella,et al.  Social Viewpoints on Multiagent Systems , 2004, AAMAS '04.

[20]  Roel Wieringa,et al.  Deontic logic in computer science: normative system specification , 1994 .

[21]  Leon van der Torre,et al.  Permission from an Input/Output Perspective , 2003, J. Philos. Log..

[22]  Magnus Boman,et al.  MultiAgent System Engineering, 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '99, Valencia, Spain, June 30 - July 2, 1999, Proceedings , 1999, MAAMAW.

[23]  Moshe Tennenholtz,et al.  On the Emergence of Social Conventions: Modeling, Analysis, and Simulations , 1997, Artif. Intell..

[24]  James Grimmelmann,et al.  Virtual Borders: The Interdependence of Real and Virtual Worlds , 2006, First Monday.

[25]  C. Raymond Perrault,et al.  Analyzing Intention in Utterances , 1986, Artif. Intell..

[26]  Marco Colombetti,et al.  A COMMITMENT-BASED APPROACH TO AGENT COMMUNICATION , 2004, Appl. Artif. Intell..

[27]  Karen E. Lochbaum,et al.  A Collaborative Planning Model of Intentional Structure , 1998, CL.

[28]  Catholijn M. Jonker,et al.  Agent Models and Different User Ontologies for an Electronic Market Place , 2004, Knowledge and Information Systems.

[29]  Moshe Tennenholtz,et al.  On Social Laws for Artificial Agent Societies: Off-Line Design , 1995, Artif. Intell..

[30]  R. A. Nelson,et al.  Common ground. , 2020, Lancet.

[31]  John R. Searle,et al.  Speech Acts: An Essay in the Philosophy of Language , 1970 .

[32]  Marc Cavazza,et al.  Al in computer games: Survey and perspectives , 2000, Virtual Reality.

[33]  Fabiola López y López,et al.  Social power and norms : impact on agent behaviour , 2003 .

[34]  Guido Boella,et al.  Fair Distribution of Collective Obligations , 2006, ECAI.

[35]  H. Simon,et al.  A Behavioral Model of Rational Choice , 1955 .

[36]  Leon van der Torre,et al.  Contrary‐to‐duty reasoning with preference‐based dyadic obligations , 1999, Annals of Mathematics and Artificial Intelligence.

[37]  Leon van der Torre,et al.  Constraints for Input/Output Logics , 2001, J. Philos. Log..

[38]  Munindar P. Singh.  A Social Semantics for Agent Communication Languages , 2000, Issues in Agent Communication.

[39]  D. Walton,et al.  Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning , 1995 .

[40]  C. Castelfranchi.  The Micro-Macro Constitution of Power , 2003 .

[41]  Leon van der Torre,et al.  Input/Output Logics , 2000, J. Philos. Log..

[42]  Dominique Longin,et al.  A Logical Framework for Grounding-based Dialogue Analysis , 2006, LCMAS.

[43]  Cristiano Castelfranchi,et al.  Modeling Social Action for AI Agents , 1997, IJCAI.

[44]  Guido Boella,et al.  Power in Norm Negotiation , 2007, KES-AMSTA.

[45]  Harko Verhagen,et al.  On the Learning of Norms , 1999 .

[46]  Tuomas Sandholm,et al.  Power, Dependence and Stability in Multiagent Plans , 1999, AAAI/IAAI.

[47]  Chengqi Zhang,et al.  ENDL: A Logical Framework for Verifying Secure Transaction Protocols , 2003, Knowledge and Information Systems.

[48]  Leon van der Torre,et al.  Contextual Deontic Logic: Normative Agents, Violations and Independence , 2004, Annals of Mathematics and Artificial Intelligence.

[49]  Jaime Simão Sichman,et al.  Multi-agent dependence by dependence graphs , 2002, AAMAS '02.

[50]  Guido Boella,et al.  Introduction to normative multiagent systems , 2006, Comput. Math. Organ. Theory.

[51]  Jae C. Oh,et al.  Emergence of Cooperative Internet Server Sharing Among Internet Search Agents Caught in the n-Person Prisoner’s Dilemma Game , 2003, Knowledge and Information Systems.

[52]  John E. Laird,et al.  Human-Level AI's Killer Application: Interactive Computer Games , 2000, AI Mag..

[53]  Andrew J. I. Jones,et al.  Deontic Logic and Contrary-to-Duties , 2002 .

[54]  Edgar A. Whitley,et al.  The Construction of Social Reality , 1999 .

[55]  Mehdi Dastani,et al.  Goal generation in the BOID architecture , 2002 .

[56]  Csr Young,et al.  How to Do Things With Words , 2009 .