A Model of Delegation for Multi-agent Systems

An agent may decide to delegate tasks to others. The act of delegating a task by one autonomous agent to another can be carried out by the performance of one or more imperative communication acts. In this paper, the semantics of imperatives are specified using a language of actions and states. It is further shown how the model can be used to distinguish between whole-hearted and mere extensional satisfaction of an imperative, and how this may be used to specify the semantics of imperatives in agent communication languages. The act of delegating a task from one agent to another can be carried out through the performance of one or more imperative communication acts. In this paper, the semantics of such imperatives are specified using a language of actions and states. The logical system that is developed then supports a notion of responsibility. An agent may not only be issued an imperative to directly carry out an event, or achieve some state, but also to be responsible for an event being carried out or state achieved - and these latter commitments might then be serviced through a subsequent act of delegation. The model thus clearly distinguishes between different classes of responsibility and different forms of delegation, and it is shown how this sound theoretical foundation can then be applied in specifying the semantics of imperatives in agent communication languages.

[1]  Timothy W. Finin,et al.  Kqml: an information and knowledge exchange protocol , 1994 .

[2]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[3]  Nicholas R. Jennings,et al.  Formalizing Collaborative Decision-making and Practical Reasoning in Multi-agent Systems , 2002, J. Log. Comput..

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

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

[6]  T. Norman,et al.  FORMALISING COLLABORATIVE DECISION-MAKING AND PRACTICAL REASONING IN MULTI-AGENT SYSTEMS , 2001 .

[7]  Timothy W. Finin,et al.  A Delegation Based Model for Distributed Trust , 2001 .

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

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

[10]  A. Koller,et al.  Speech Acts: An Essay in the Philosophy of Language , 1969 .

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

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

[13]  Rino Falcone,et al.  Principles of trust for MAS: cognitive anatomy, social importance, and quantification , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).

[14]  L. Åqvist,et al.  A new approach to the logical theory of interrogatives : analysis and formalization , 1975 .

[15]  Ingmar Pörn,et al.  POSITION AND CHANGE: A Study in Law and Logic , 1978 .

[16]  Chris Reed,et al.  Dialogue frames in agent communication , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).

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

[18]  Murray Shanahan.  Solving the frame problem - a mathematical investigation of the common sense law of inertia , 1997 .

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

[20]  Mark S. Fox,et al.  Integrating communicative action, conversations and decision theory to coordinate agents , 1997, AGENTS '97.

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

[22]  J. Hintikka.  Interrogative Logic as a General Theory of Reasoning , 1999 .

[23]  Nicolas Lhuillier,et al.  FOUNDATION FOR INTELLIGENT PHYSICAL AGENTS , 2003 .

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

[25]  Nicholas R. Jennings,et al.  Negotiating the Semantics of Agent Communication Languages , 2002, Comput. Intell..

[26]  Michael Wooldridge,et al.  Reasoning about rational agents , 2000, Intelligent robots and autonomous agents.

[27]  Nuel Belnap,et al.  The deliberative stit: A study of action, omission, ability, and obligation , 1995, J. Philos. Log..

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