A Game-Theoretic Approach to Normative Multi-Agent Systems

We explain the raison d'etre and basic ideas of our game-theoretic approach to normative multiagent systems, sketching the central elements with pointers to other publications for detailed developments.

[1]  A. H. Bond,et al.  An Analysis of Problems and Research in DAI , 1988 .

[2]  Henricus Verhagen,et al.  Norm autonomous agents , 2000 .

[3]  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).

[4]  G. P. Henderson,et al.  An Essay in Modal Logic. , 1953 .

[5]  Jaap Gordijn.  A Design Methodology for Trust and Value Exchanges in Business Models , 2003, Bled eConference.

[6]  Guido Boella,et al.  The ontological properties of social roles in multi-agent systems: definitional dependence, powers and roles playing roles , 2007, Artificial Intelligence and Law.

[7]  Guido Boella,et al.  Role-based rights in artificial social systems , 2005, IEEE/WIC/ACM International Conference on Intelligent Agent Technology.

[8]  Raimo Tuomela,et al.  Cooperation - A Philosophical Study , 2000 .

[9]  Guido Boella,et al.  ACL Semantics Between Social Commitments and Mental Attitudes , 2006, AC.

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

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

[12]  Guido Boella,et al.  Bridging Agent Theory and Object Orientation: Importing Social Roles in Object Oriented Languages , 2005, PROMAS.

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

[14]  Jeffrey Alexander,et al.  The Micro-macro link , 1987 .

[15]  Guido Boella,et al.  The Roles of Roles in Agent Communication Languages , 2006, 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology.

[16]  Guido Boella,et al.  FIPA Communicative Acts in Defeasible Logic , 2007, IJCAI 2007.

[17]  N. Gilbert,et al.  Artificial Societies: The Computer Simulation of Social Life , 1995 .

[18]  M. Hollis.  Trust Within Reason , 1998 .

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

[20]  Ronald M. Lee.  Documentary Petri Nets: A Modeling Representation for Electronic Trade Procedures , 2000, Business Process Management.

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

[22]  Sascha Ossowski,et al.  Co-ordination in Artificial Agent Societies: Social Structures and Its Implications for Autonomous Problem-Solving Agents , 1998 .

[23]  Nicholas R. Jennings,et al.  Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.

[24]  R. L. Goodstein,et al.  An Essay in Modal Logic , 1953, The Mathematical Gazette.

[25]  Jacques Ferber,et al.  From Agents to Organizations: An Organizational View of Multi-agent Systems , 2003, AOSE.

[26]  Guido Boella,et al.  Permission and Authorization in Policies for Virtual Communities of Agents , 2004, AP2PC.

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

[28]  Guido Boella,et al.  From the Theory of Mind to the Construction of Social Reality , 2005 .

[29]  Guido Boella,et al.  Modelling the Interaction Between Objects: Roles as Affordances , 2006, KSEM.

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

[31]  Guido Boella,et al.  An Abstraction from Power to Coalition Structures , 2004, ECAI.

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

[33]  Guido Boella,et al.  A synthesis between mental attitudes and social commitments in agent communication languages , 2005, IEEE/WIC/ACM International Conference on Intelligent Agent Technology.

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

[35]  Guido Boella,et al.  Norm governed multiagent systems: the delegation of control to autonomous agents , 2003, IEEE/WIC International Conference on Intelligent Agent Technology, 2003. IAT 2003..

[36]  Guido Boella,et al.  Local vs Global Policies and Centralized vs Decentralized Control in Virtual Communities of Agents , 2004, IEEE/WIC/ACM International Conference on Web Intelligence (WI'04).

[37]  Guido Boella,et al.  Groups as agents with mental attitudes , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[38]  Michael Luck,et al.  Agent technology: Enabling next generation computing , 2003 .

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

[40]  Guido Boella,et al.  Attributing mental attitudes to roles: The agent metaphor applied to organizational design , 2004 .

[41]  Ronen I. Brafman,et al.  On Partially Controlled Multi-Agent Systems , 1996, J. Artif. Intell. Res..

[42]  L. B. Curzon,et al.  A dictionary of law , 1979 .

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

[44]  Guido Boella,et al.  Transaction Trust in Normative Multiagent Systems , 2005 .

[45]  C. E. Alchourrón,et al.  Philosophical foundations of deontic logic and the logic of defeasible conditionals , 1994 .

[46]  D. Gabbay,et al.  Handbook of Philosophical Logic, Volume II. Extensions of Classical Logic , 1986 .

[47]  Frank Dignum,et al.  Contextual Terminologies , 2005, CLIMA.

[48]  Guido Boella,et al.  Relationships meet their roles in object oriented programming , 2007, FSEN'07.

[49]  A. Rustichini,et al.  A Fine is a Price , 2000, The Journal of Legal Studies.

[50]  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.

[51]  Guido Boella,et al.  Coordination and Organization: Definitions, Examples and Future Research Directions , 2006, CoOrg@COORDINATION.

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

[53]  Guido Boella,et al.  Interaction in Normative Multi-Agent Systems , 2005, FInCo@ETAPS.

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

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

[56]  Guido Boella,et al.  Permission and authorization in normative multiagent systems , 2005, ICAIL '05.

[57]  Marek J. Sergot,et al.  A Formal Characterisation of Institutionalised Power , 1996, Log. J. IGPL.

[58]  Guido Boella,et al.  Normative Multiagent Systems and Trust Dynamics , 2004, Trusting Agents for Trusting Electronic Societies.

[59]  L. Taylor.  Strategic Interaction , 1972 .

[60]  Allen Newell,et al.  The Knowledge Level , 1989, Artif. Intell..

[61]  Leendert van der Torre,et al.  An architecture of a normative system , 2006 .

[62]  Guido Boella,et al.  Constitutive Norms in the Design of Normative Multiagent Systems , 2005, CLIMA.

[63]  Guido Boella,et al.  A Logical Architecture of a Normative System , 2006, DEON.

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

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

[66]  Guido Boella,et al.  An agent oriented ontology of social reality , 2004 .

[67]  Guido Boella,et al.  Game specification in normative multiagent system: the trias politica , 2004, Proceedings. IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2004. (IAT 2004)..

[68]  Michael Luck,et al.  Agent technology: Enabling next generation computing , 2003 .

[69]  Dick W. P. Ruiter.  A Basic Classification of Legal Institutions , 1997 .

[70]  Guido Boella,et al.  Game-Theoretic Foundations for Norms , 2006 .

[71]  Guido Boella,et al.  I fondamenti ontologici dei linguaggi di programmazione orientati agli oggetti: i casi delle relazioni e dei ruoli , 2006 .

[72]  Cristiano Castelfranchi,et al.  Engineering Social Order , 2000, ESAW.

[73]  Guido Boella,et al.  Role-based semantics for agent communication: embedding of the 'mental attitudes' and 'social commitments' semantics , 2006, AAMAS '06.

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

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

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

[77]  Guido Boella,et al.  Obligations as Social Constructs , 2003, AI*IA.

[78]  Guido Boella,et al.  The Evolution of Artificial Social Systems , 2005, IJCAI.

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

[80]  Guido Boella,et al.  Rational norm creation: attributing mental attitudes to normative systems, part 2 , 2003, ICAIL.

[81]  Guido Boella,et al.  A Foundational Ontology of Organizations and Roles , 2006, DALT.

[82]  Guido Boella,et al.  Delegation of Power in Normative Multiagent Systems , 2006, DEON.

[83]  Guido Boella,et al.  Modeling Control Mechanisms with Normative Multiagent Systems: The Case of the Renewables Obligation , 2005, AAMAS Workshops.

[84]  Guido Boella,et al.  Distinguishing Propositional and Action Commitment in Agent Communication , 2007 .

[85]  Guido Boella,et al.  Argumentation for Access Control , 2005, AI*IA.

[86]  Michael Wooldridge,et al.  Agent-based software engineering , 1997, IEE Proc. Softw. Eng..

[87]  Jacques Ferber,et al.  Organization models and behavioural requirements specification for multi-agent systems , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[88]  Frank Dignum,et al.  Counts-as: Classification or Constitution? An Answer Using Modal Logic , 2006, DEON.

[89]  Guido Boella,et al.  Institutions with a hierarchy of authorities in distributed dynamic environments , 2008, Artificial Intelligence and Law.

[90]  John-Jules Ch. Meyer,et al.  A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic , 1987, Notre Dame J. Formal Log..

[91]  Guido Boella,et al.  Count-As Conditionals, Classification and Context , 2006, ECAI.

[92]  Guido Boella,et al.  Regulative and Constitutive Norms in Normative Multiagent Systems , 2004, KR.

[93]  Guido Boella,et al.  Interaction between Objects in powerJava , 2007, J. Object Technol..

[94]  Alan Ross Anderson,et al.  A REDUCTION OF DEONTIC LOGIC TO ALETHIC MODAL LOGIC , 1958 .

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

[96]  Guido Boella,et al.  Organizations as Socially Constructed Agents in the Agent Oriented Paradigm , 2004, ESAW.

[97]  Guido Boella,et al.  Strengthening Admissible Coalitions , 2006, ECAI.

[98]  Guido Boella,et al.  From social power to social importance , 2007, Web Intell. Agent Syst..

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

[100]  Guido Boella,et al.  Attributing mental attitudes to normative systems , 2003, AAMAS '03.

[101]  Guido Boella,et al.  Virtual Organizations as Normative Multiagent Systems , 2005, Proceedings of the 38th Annual Hawaii International Conference on System Sciences.

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

[103]  Franco Zambonelli,et al.  Developing multiagent systems: The Gaia methodology , 2003, TSEM.

[104]  Guido Boella,et al.  Roles as a Coordination Construct: Introducing powerJava , 2006, MTCoord@COORDINATION.