A logic of delegation

Delegation is a foundational concept for understanding and engineering systems that interact and execute tasks autonomously. By extending recent work on tensed action logic, it becomes possible to pin down a specific interpretation of responsibility with a well specified semantics and a convenient and intuitive logic for expression. Once descriptions of direct agent responsibility can be formed, there is a foundation upon which to characterise the dynamics of how responsibility can be acquired, transferred and discharged and, in particular, how delegation can be effected. The resulting logic, designed specifically to cater for responsibility and delegation, can then be employed to offer an axiological and semantic exploration of the related concepts of forbearance, imperatives and group communication.

[1]  Nicholas Rescher.  The Logic Of Commands , 1966 .

[2]  N. Belnap.  Backwards and Forwards in the Modal Logic of Agency , 1991 .

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

[4]  Daniel S. Weld,et al.  UCPOP: A Sound, Complete, Partial Order Planner for ADL , 1992, KR.

[5]  Chris Reed,et al.  Group delegation and responsibility , 2002, AAMAS '02.

[6]  Wamberto Weber Vasconcelos,et al.  Normative conflict resolution in multi-agent systems , 2009, Autonomous Agents and Multi-Agent Systems.

[7]  Munindar P. Singh,et al.  Commitment-based SOA , 2007 .

[8]  Nicholas R. Jennings,et al.  Foundations of distributed artificial intelligence , 1996, Sixth-generation computer technology series.

[9]  M. Dummett.  Elements of Intuitionism , 2000 .

[10]  Barbara Dunin-Keplicz,et al.  Creating Collective Intention through Dialogue , 2001, Log. J. IGPL.

[11]  Hector J. Levesque,et al.  Semantics of Agent Communication Languages for Group Interaction , 2000, AAAI/IAAI.

[12]  Michael Luck,et al.  Proceedings of the Third International Conference on Multi-Agent Systems , 1998 .

[13]  Wamberto Weber Vasconcelos,et al.  Organisational change through influence , 2008, Autonomous Agents and Multi-Agent Systems.

[14]  Arthur Kuflik,et al.  Computers in control: Rational transfer of authority or irresponsible abdication of autonomy? , 1998, Ethics and Information Technology.

[15]  Sarvapali D. Ramchurn,et al.  Trust in multi-agent systems , 2004, The Knowledge Engineering Review.

[16]  Munindar P. Singh.  Towards a Formal Theory of Communication for Multi-agent Systems , 1991, IJCAI.

[17]  Chrysanthos Dellarocas Sloan.  Contractual Agent Societies : Negotiated shared context and social control in open multi-agent systems , 2000 .

[18]  Hector J. Levesque,et al.  Communicative Actions for Artificial Agents , 1997, ICMAS.

[19]  R. Atkinson,et al.  Position and change : a study in law and logic , 1979 .

[20]  A. Rotolo,et al.  Brief notes on the axiomatization of Elgesem's logic of agency and ability , 2004 .

[21]  Frank Dignum,et al.  Organizational structure and responsibility , 2007, Artificial Intelligence and Law.

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

[23]  Nicholas R. Jennings,et al.  Coordination techniques for distributed artificial intelligence , 1996 .

[24]  Nicholas R. Jennings,et al.  Computational-Mechanism Design: A Call to Arms , 2003, IEEE Intell. Syst..

[25]  D. Holdstock.  Past, present--and future? , 2005, Medicine, conflict, and survival.

[26]  Alex Pentland,et al.  Facing the future , 2003, 2003 IEEE International SOI Conference. Proceedings (Cat. No.03CH37443).

[27]  Peter McBurney,et al.  Command Dialogues , 2009, ArgMAS.

[28]  Emiliano Lorini,et al.  Delegation and mental states , 2007, AAMAS '07.

[29]  Michael Wooldridge,et al.  On the dynamics of delegation, cooperation, and control: a logical account , 2005, AAMAS '05.

[30]  Guido Boella,et al.  Delta: The Social Delegation Cycle , 2004, DEON.

[31]  Dag Elgesem,et al.  The modal logic of agency , 1997 .

[32]  Filipe Santos,et al.  Delegation in a Role-Based Organization , 2004, DEON.

[33]  Jeffrey M. Bradshaw,et al.  Designing conversation policies using joint intention theory , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).

[34]  Nuel Belnap,et al.  The way of the agent , 1992, Stud Logica.

[35]  Ingmar Pörn,et al.  The logic of power , 1970 .

[36]  Ruth Barcan Marcus.  ITERATED DEONTIC MODALITIES , 1966 .

[37]  Frank Dignum,et al.  An analysis in a dynamic logic of organized collective agency , 2007 .

[38]  Chris Reed,et al.  A Formal Characterisation of Hamblin’s Action-State Semantics , 2007, J. Philos. Log..

[39]  Leora Morgenstern,et al.  A First-order Theory of Communication and Multi-agent Plans , 2005, J. Log. Comput..

[40]  Felix A. Fischer,et al.  An integrated framework for adaptive reasoning about conversation patterns , 2005, AAMAS '05.

[41]  Joan Feigenbaum,et al.  A practically implementable and tractable delegation logic , 2000, Proceeding 2000 IEEE Symposium on Security and Privacy. S&P 2000.

[42]  O. Morgenstern,et al.  Prolegomena to a Theory of Organization , 1951 .

[43]  Cristiano Castelfranchi,et al.  Commitments: From Individual Intentions to Groups and Organizations , 1995, ICMAS.

[44]  Michael Luck,et al.  Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems , 2002 .

[45]  Brian F. Chellas.  Time and modality in the logic of agency , 1992, Stud Logica.

[46]  Munindar P. Singh.  A semantics for speech acts , 1997, Annals of Mathematics and Artificial Intelligence.

[47]  Rino Falcone,et al.  Towards a theory of delegation for agent-based systems , 1998, Robotics Auton. Syst..

[48]  Thomas R. Ioerger,et al.  Automatic generation of communication and teamwork within multi-agent teams , 2001, Appl. Artif. Intell..

[49]  Roderic A. Girle,et al.  Commands in Dialogue Logic , 1996, FAPR.

[50]  Mario Paolucci,et al.  Responsibility for Societies of Agents , 2004, J. Artif. Soc. Soc. Simul..

[51]  Patrick Brézillon,et al.  Lecture Notes in Artificial Intelligence , 1999 .

[52]  Leora Morgenstem.  Knowledge preconditions for actions and plans , 1987, IJCAI 1987.

[53]  Randall Davis,et al.  Frameworks for Cooperation in Distributed Problem Solving , 1988, IEEE Transactions on Systems, Man, and Cybernetics.

[54]  Leora Morgenstern,et al.  Knowledge Preconditions for Actions and Plans , 1988, IJCAI.

[55]  Munindar P. Singh.  Multiagent Systems - A Theoretical Framework for Intentions, Know-How, and Communications , 1994, Lecture Notes in Computer Science.

[56]  Michael Luck,et al.  Proceedings of the First International Conference on Multi-Agent Systems , 1995 .

[57]  Frank Dignum,et al.  Proceedings of the Sixth International Workshop on Argumentation in Multi-Agent Systems (ARGMAS-08) , 2008 .

[58]  Mark Klein,et al.  Chapter 5 CONTRACTUAL AGENT SOCIETIES Negotiated shared context and social control in open multi-agent systems , 2001 .

[59]  Chris Reed,et al.  Argumentation Schemes , 2008 .

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

[61]  Brian F. Chellas.  Modal Logic: Normal systems of modal logic , 1980 .