Towards Layered Dialogical Agents

We present a formalism for the specification of agents within a multi-agent system in which we characterize agents through a layered architecture with bridge rules between formal theories, and multi-agent systems through dialogical frameworks. Concurrent Descriptive Dynamic Logic (an extension of Peleg's Concurrent Dynamic Logic) is introduced as the specification language to account for the computational interpretation of such multi-agent systems.

[1]  David R Traum,et al.  Towards a Computational Theory of Grounding in Natural Language Conversation , 1991 .

[2]  John-Jules Ch. Meyer,et al.  Formalising Motivational Attitudes of Agents , 1995, ATAL.

[3]  Michael Wooldridge,et al.  The logical modelling of computational multi-agent systems , 1992 .

[4]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..

[5]  Anand S. Rao,et al.  Decision Procedures for Propositional Linear-Time Belief-Desire-Intention Logics , 1995, ATAL.

[6]  Jack Dongarra,et al.  PVM: Parallel virtual machine: a users' guide and tutorial for networked parallel computing , 1995 .

[7]  C. Sierra,et al.  A PVM implementation of the fishmarket multiagent system , 2002, Proceedings Mexico-USA Collaboration in Intelligent Systems Technologies..

[8]  Jörg P. Müller,et al.  A Cooperation Model for Autonomous Agents , 1996, ATAL.

[9]  D. North.  Institutions, Institutional Change and Economic Performance: Economic performance , 1990 .

[10]  R. Goldblatt.  Logics of Time and Computation , 1987 .

[11]  K. Konolige.  A deduction model of belief , 1986 .

[12]  David Peleg,et al.  Concurrent dynamic logic , 1987, JACM.

[13]  Fausto Giunchiglia,et al.  Formal Specification of Beliefs in Multi-Agent Systems , 1996, ATAL.

[14]  David R. Traum,et al.  A Reactive-Deliberative Model of Dialogue Agency , 1996, ATAL.

[15]  Paul R. Milgrom,et al.  A theory of auctions and competitive bidding , 1982 .

[16]  Philippe Bretier,et al.  A Rational Agent as the Kernel of a Cooperative Spoken Dialogue System: Implementing a Logical Theory of Interaction , 1996, ATAL.

[17]  Lluis Godo,et al.  Descriptive dynamic logic and its application to reflective architectures , 1996, Future Gener. Comput. Syst..

[18]  R. McAfee,et al.  Auctions and Bidding , 1986 .