Abstract
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.
We illustrate our proposal through the description and implementation of a multi-agent environment: the downward-bidding fish market.
Preview
Unable to display preview. Download preview PDF.
References
N. Belnap and M. Perloff. In the realm of agents. Annals of Mathematics and Artificial Intelligence, 9:25–48, 1993.
M. Benerecetti, A. Cimatti, E. Giunchiglia,. Giunchiglia, and L. Serafini. Formal specification of beliefs in multi-agent systems. In J. P. Müller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III — Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume.
P. Bretier and M. D. Sadek. A rational agent as the kernel of a cooperative spoken dialogue system: Implementing a logical theory of interaction. In J. P. Müller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III— Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume.
P. R. Cohen and H. J. Levesque. Intention is choice with commitment. AI Journal, (42):213–261, 1990.
F. Dignum and B. van Linder. Modeling social agents: Communication as action. In J. P. Müller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III — Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume.
A. Geist, A. Beguelin, J. Dongarra, W Jiang, R. Manchek, and V. Sunderam. PVM: Parallel Virtual Machine. A User's Guide and Tutorial for Networked Parallel Computing. MIT Press, Cambridge, MA, 1994.
F. Giunchiglia, P. Traverso, and E. Giunchiglia. Multi-context systems as a specification framework for complex reasoning systems. In Jan Treur and Thomas Wetter, editors, Formal Specification of Complex Resorting Systems. Ellis Horwood, 1993.
R. Goldblatt. Logics of Time and Computation, volume 7 of Lecture Notes. CSLI, 1992.
D. Harel. Dynamic logic. In D. M. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, pages 497–604. Reidel Pub. Co., Dordrecht, Netherlangs, 1984.
K. Konolige. A Deduction Model of Belief. Pitman Pub and Morgan Kaufmann, London, San Mateo, 1986.
H. J. Levesque. A logic for implicit and explicit belief. In Proc. 4th National Conference on Artificial Intelligence (AAAI84), pages 198–202, Austin, Tx, 1984.
R. P. McAfee and J. McMillan. Auctions and bidding. Journal of Economic Literature, XXV:699–738, 1987.
P. R. Milgrom and R. J. Weber. A theory of auctions and competitive bidding. Econometrica, 50(5):1089–1122, 1982.
J. P. Müller. A cooperation model for autonomous agents. In J. P. Müller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III — Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume.
C. Di Napoli, M. Giordano, M. M. Furnari, C. Sierra, and P. Noriega. A pvm implementation of the fishmarket multiagent system. In IX International Symposium on Artificial Intelligence, Cancun, Mexico, 1996. in-press.
D. C. North. Institutions, Institutional Change and Economic Performance. Cambridge Univ. Press, Cambridge, U.K., 1990.
D. Peleg. Concurrent dynamic logic. JACM, 34:450–479, 1987.
A. S. Rao. Decision procedures for propositional linear time belief-desire-intention logics. LNAI, 1037:33–48, 1996.
C. Sierra, L. Godo, R. Lopez de Mantaras, and M. Manzano. Descriptive dynamic logic and its application to reflective architectures. Future Generation Computing Systems (In press. Also, http://www.iiia.csic.es/Reports/1996/FGCS-SGLM.ps), 1996.
M. P. Singh. A semantics for speech acts. Annals of Mathematics and Artificial Intelligence, 8:47–71, 1993.
D. Traum. A Computational Theory of Grounding in Natural Language Conversation. Technical report 545, University of Rochester, Computer Science, Rochester, 1994.
D. R. Traum. A reactive-deliberative model of dialogue agency. In J. P. Müller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III — Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume.
B. van Linder, W. van der Hoek, and J.-J. Ch. Meyer. Formalising motivational attitudes of agents: On preferences, goals and commitments. LNAI, 1037:17–32, 1996.
M. J. Wooldridge. The Logical Modelling of Computational Multi-Agent Systems. PhD thesis, University of Manchester, Faculty of Technology, Manchester, U.K., 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Noriega, P., Sierra, C. (1997). Towards layered dialogical agents. In: Müller, J.P., Wooldridge, M.J., Jennings, N.R. (eds) Intelligent Agents III Agent Theories, Architectures, and Languages. ATAL 1996. Lecture Notes in Computer Science, vol 1193. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013585
Download citation
DOI: https://doi.org/10.1007/BFb0013585
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62507-0
Online ISBN: 978-3-540-68057-4
eBook Packages: Springer Book Archive