Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Agent Theories, Architectures, and Languages

ATAL 1996: Intelligent Agents III Agent Theories, Architectures, and Languages pp 173–188Cite as

Towards layered dialogical agents

  • Part IV: Theories
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1193))

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.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. N. Belnap and M. Perloff. In the realm of agents. Annals of Mathematics and Artificial Intelligence, 9:25–48, 1993.

    Article  Google Scholar 

  2. 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.

    Google Scholar 

  3. 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.

    Google Scholar 

  4. P. R. Cohen and H. J. Levesque. Intention is choice with commitment. AI Journal, (42):213–261, 1990.

    Google Scholar 

  5. 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.

    Google Scholar 

  6. 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.

    Google Scholar 

  7. 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.

    Google Scholar 

  8. R. Goldblatt. Logics of Time and Computation, volume 7 of Lecture Notes. CSLI, 1992.

    Google Scholar 

  9. 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.

    Google Scholar 

  10. K. Konolige. A Deduction Model of Belief. Pitman Pub and Morgan Kaufmann, London, San Mateo, 1986.

    Google Scholar 

  11. 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.

    Google Scholar 

  12. R. P. McAfee and J. McMillan. Auctions and bidding. Journal of Economic Literature, XXV:699–738, 1987.

    Google Scholar 

  13. P. R. Milgrom and R. J. Weber. A theory of auctions and competitive bidding. Econometrica, 50(5):1089–1122, 1982.

    Google Scholar 

  14. 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.

    Google Scholar 

  15. 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.

    Google Scholar 

  16. D. C. North. Institutions, Institutional Change and Economic Performance. Cambridge Univ. Press, Cambridge, U.K., 1990.

    Google Scholar 

  17. D. Peleg. Concurrent dynamic logic. JACM, 34:450–479, 1987.

    Article  Google Scholar 

  18. A. S. Rao. Decision procedures for propositional linear time belief-desire-intention logics. LNAI, 1037:33–48, 1996.

    Google Scholar 

  19. 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.

    Google Scholar 

  20. M. P. Singh. A semantics for speech acts. Annals of Mathematics and Artificial Intelligence, 8:47–71, 1993.

    MathSciNet  Google Scholar 

  21. D. Traum. A Computational Theory of Grounding in Natural Language Conversation. Technical report 545, University of Rochester, Computer Science, Rochester, 1994.

    Google Scholar 

  22. 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.

    Google Scholar 

  23. 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.

    Google Scholar 

  24. M. J. Wooldridge. The Logical Modelling of Computational Multi-Agent Systems. PhD thesis, University of Manchester, Faculty of Technology, Manchester, U.K., 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Artificial Intelligence Research Institute, IIIA Spanish Council for Scientific Research, CSIC, 08193, Bellaterra, Barcelona, Spain

    Pablo Noriega (Visiting researcher) & Carles Sierra

  2. Laboratorio Nacional de Informática Avanzada (LANIA), Rébsamen 80, CP 91000, Xalapa, Veracruz, Mexico

    Pablo Noriega (Visiting researcher)

Authors
  1. Pablo Noriega
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Carles Sierra
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jörg P. Müller Michael J. Wooldridge Nicholas R. Jennings

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation