Skip to main content
SpringerLink
Log in

Information-Passing and Belief Revisionin Multi-agent Systems

  • Conference paper
  • First Online:
Intelligent Agents V: Agents Theories, Architectures, and Languages (ATAL 1998)

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

Included in the following conference series:

Abstract

We define a programming language for multi-agent systems in which agents interact with a common environment and cooperate by exchanging their individual beliefs on the environment. In handling the information they acquire, the agents employ operations to expand, remove and update their individual belief bases. The overall framework, which generalises traditional concurrent programming concepts, is parameterised by an information system of constraints. Such a system is used to represent the environment as well as the beliefs of the agents. We give the syntax of the programming language and develop an operational semantics in terms of a transition system.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J.A. Bergstra and J.W. Klop. Process algebra for synchronous communication. Information and Control, 60:109–137, 1984.

    Article  MATH  MathSciNet  Google Scholar 

  2. F. Brazier, B. Dunin-Keplicz, N. Jennings, and J. Treur. Formal specification of multi-agent systems: a real-world case. In Proceedings of International Conference on Multi-Agent Systems (ICMAS’95), pages 25–32. MIT Press, 1995.

    Google Scholar 

  3. G. Brewka. Preferred subtheories: An extended logical framework for default reasoning. In Proceedings International Joint Conference on Artificial Intelligence, pages 1043–1048. Morgan Kaufmann, 1989.

    Google Scholar 

  4. P. Cohen and H.J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213–261, 1990.

    Article  MathSciNet  MATH  Google Scholar 

  5. F.S. de Boer, J.N. Kok, C. Palamidessi, and J.J.M.M. Rutten. Non-monotonic concurrent constraint programming. In Proceedings of the International Logic Programming Symposium, pages 315–333, Vncouver Canada, 1993.

    Google Scholar 

  6. R. M. van Eijk, F.S. de Boer, W. van der Hoek, and J.-J.Ch. Meyer. A language for modular information-passing agents. Technical report UU-CS-1997-16, Universiteit Utrecht, Department of Computer Science, 1997.

    Google Scholar 

  7. R. M. van Eijk, F.S. de Boer, W. van der Hoek, and J.-J.Ch. Meyer. Constructing translations between individual vocabularies in multi-agent systems. In F. Giunchiglia, editor, Proceedings of 8th International Conference on Artificial Intelligence: Methodology, Systems and Applications (AIMSA’98), volume 1480 of Lecture Notes in Artificial Intelligence, pages 240–253, Sozopol, Bulgaria, 1998. Springer-Verlag.

    Google Scholar 

  8. R.M. van Eijk, F.S. de Boer, W. van der Hoek, and J.-J.Ch. Meyer. Systems of communicating agents. In Henri Prade, editor, Proceedings of the 13th biennial European Conference on Artificial Intelligence (ECAI-98), pages 293–297, Bighton, UK, 1998. John Wiley &Sons, Ltd.

    Google Scholar 

  9. J. Engelfriet, C. M. Jonker, and J. Treur. Compositional verification of multiagent systems in temporal multi-epistemic logic. In J. P. Müller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V — Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1999. In this volume.

    Google Scholar 

  10. M. Fisher. A survey of concurrent MetateM-the language and its applications. In Proceedings of First International Conference on Temporal Logic (ICTL’94), volume 827 of LNCS, pages 480–505. Springer-Verlag, 1994.

    Chapter  Google Scholar 

  11. M. Fisher. Representing abstract agent architectures. InJ. P. Müller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V — Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1999. In this volume.

    Google Scholar 

  12. K.V. Hindriks, F.S. de Boer, W. van der Hoek, and J.-J.Ch. Meyer. A formal semantics for an abstract agent programming language. In M.P. Singh, A. Rao, and M.J. Wooldridge, editors, Proceedings of Fourth International Workshop on Agent Theories, Architectures and Languages (ATAL’97), volume 1365 of LNAI, pages 215–229. Springer-Verlag, 1998.

    Google Scholar 

  13. C.A.R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8):666–677, 1978.

    Article  MATH  MathSciNet  Google Scholar 

  14. H. Katsuno and A.O. Mendelzon. On the difference between updating a knowledge base and revising it. In J. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR’91), pages 387–394, Massachusetts, 1991. Morgan Kaufmann.

    Google Scholar 

  15. Y. Lespérance, H.J. Levesque, F. Lin, D. Marcu, R. Reiter, and R.B. Scherl. Foundations of a logical approach to agent programming. In Proceedings of IJCAI’95 International Workshop on Agent Theores, Architectures and Languages (ATAL’95), volume 1037 of LNAI, pages 331–346. Springer-Verlag, 1996.

    Google Scholar 

  16. B. van Linder, W. van der Hoek, and J.-J.Ch. Meyer. Seeing is believing-and so are hearing and jumping. In Topics in Artificial Intelligence (Proc. AHA’ 95), volume 992 of LNCS, pages 402–423. Springer-Verlag, 1995.

    Google Scholar 

  17. G. Plotkin. A structured approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981.

    Google Scholar 

  18. Anand S. Rao. Agentspeak(L): BDI agents speak out in a logical computable language. In W. van der Velde and J.W. Perram, editors, Agents Breaking Away, volume 1038 of LNAI, pages 42–55. Springer-Verlag, 1996.

    Google Scholar 

  19. A.S. Rao and M.P. Georgeff. Modeling rational agents within a BDI-architecture. In J. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR’91), pages 473–484, Cambridge, Massachusettes, 1991.

    Google Scholar 

  20. V.A. Saraswat and M. Rinard. Concurrent constraint programming. In Proceedings of Seventeenth ACM Symposium on Principles of Programming Languages, pages 232–245, 1990.

    Google Scholar 

  21. K. Schild. On the relationship between BDI logics and standard logics of concurrency. In J. P. Müller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V — Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1999. In this volume.

    Google Scholar 

  22. Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60:51–92, 1993.

    Article  MathSciNet  Google Scholar 

  23. N. Skarmeas and K. L. Clark. Content based routing as the basis for intra-agent communication. In J. P. Müller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V — Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1999. In this volume.

    Google Scholar 

  24. J.D. Ullman and J. Widom. A First Course in Database Systems. Prentice Hall, New Jersey, 1997.

    Google Scholar 

  25. M. Wooldridge and N. Jennings. Intelligent agents: theory and practice. The Knowledge Engineering Review, 10(2):115–152, 1995.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Utrecht University, P.O. Box 80.089, 3508 TB, Utrecht, The Netherlands

    Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek & John-Jules Ch. Meyer

Authors
  1. Rogier M. van Eijk
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Frank S. de Boer
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Wiebe van der Hoek
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. John-Jules Ch. Meyer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. John Wiley & Sons Ltd., International House, Ealing, London, W5 5DB, UK

    Jörg P. Müller

  2. Mitchell Madison Group, Level 49, 120 Collins St., Melbourne, Victoria, 3000, Australia

    Anand S. Rao

  3. Department of Computer Science, North Carolina State University, Raleigh, NC, 27695-8206, USA

    Munindar P. Singh

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

van Eijk, R.M., de Boer, F.S., van der Hoek, W., Meyer, JJ.C. (1999). Information-Passing and Belief Revisionin Multi-agent Systems. In: Müller, J.P., Rao, A.S., Singh, M.P. (eds) Intelligent Agents V: Agents Theories, Architectures, and Languages. ATAL 1998. Lecture Notes in Computer Science, vol 1555. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49057-4_3

Download citation

  • DOI: https://doi.org/10.1007/3-540-49057-4_3

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65713-2

  • Online ISBN: 978-3-540-49057-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation