Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Agent Theories, Architectures, and Languages

ATAL 1999: Intelligent Agents VI. Agent Theories, Architectures, and Languages pp 27–41Cite as

Observability-based Nested Belief Computation for Multiagent Systems and Its Formalization

  • Conference paper

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

Abstract

Some agent architectures employ mental states such as belief, desire, goal, and intention. We also know that one often has a belief about someone else’s belief (nested belief), and one’s action is decided based on the nested belief. However, to the best of our knowledge, there is no concrete agent architecture that employs nested beliefs for decision. The reason is simple: we do not have a good model of nested belief change. Hence, interesting technological questions are whether such a model can be devised or not, how it can be implemented, and how it can be used. In a previous paper, we proposed an algorithm for nested beliefs based on observability and logically characterized its output. Here, we propose another algorithm with improved expressiveness and efficiency.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Appelt, D.E.: Planning English Sentences. Cambridge University Press, Cambridge (1985)

    Book  Google Scholar 

  2. Ballim, A., Wilks, Y.: Artificial Believers, The Ascription of Belief. Lawrence Erlbaum Associates, Mahwah (1991)

    Google Scholar 

  3. Baral, C., Son, T.C.: Extending ConGolog to allowpartial ordering. In: Jennings, N.R. (ed.) ATAL 1999. LNCS (LNAI), vol. 1757, Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  4. Baral, C., Son, T.C.: Approximate reasoning about actions in presence of sensing and incomplete information. In: Proceedings of the International Logic Programming Symposium (1997)

    Google Scholar 

  5. Brafman, R.I., Tennenholtz, M.: Belief ascription and mental-level modelling. In: Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning, pp. 87–98. Morgan Kaufmann, San Francisco (1994)

    Google Scholar 

  6. Davis, E.: Inferring ignorance from the locality of visual perception. In: Proceedings of the Seventh National Conference on Artificial Intelligence, pp. 786–790. Morgan Kaufmann, San Francisco (1988)

    Google Scholar 

  7. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (1995)

    MATH  Google Scholar 

  8. Ferber, J., Gutknecht, O.: Operational semantics of a role-based agent architecture. In: Jennings, N.R. (ed.) ATAL 1999. LNSC (LNAI), vol. 1757, Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  9. Friedman, N., Halpern, J.Y.: Modeling belief in dynamic systems. Part I: Foundations. Artificial Intelligence 95(2), 257–316 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  10. Friedman, N., Halpern, J.Y.: Modeling belief in dynamic systems. Part II: Revision and update. Journal of Artificial Intelligence Research 10, 117–167 (1999)

    MATH  MathSciNet  Google Scholar 

  11. Isozaki, H.: Reasoning about belief based on common knowledge of observability of actions. In: Proceedings of the International Conference on Multi-Agent Systems, pp. 193–200. MIT Press, Cambridge (1995)

    Google Scholar 

  12. Isozaki, H., Katsuno, H.: A semantic characterization of an algorithm for estimating others’ beliefs from observation. In: Proceedings of the National Conference on Artificial Intelligence, pp. 543–549. MIT Press, Cambridge (1996)

    Google Scholar 

  13. Isozaki, H., Katsuno, H.: A regressive belief estimation algorithm in multiagent environments (in Japanese). Transactions of Information Processing Society of Japan 38(3), 429–442 (1997)

    Google Scholar 

  14. Isozaki, H., Shoham, Y.: A mechanism for reasoning about time and belief. In: Proceedings of the International Conference on Fifth Generation Computer Systems, pp. 694–701. Ohmsha (1992)

    Google Scholar 

  15. Jaspars, J., Thijsse, E.: Fundamentals of partial modal logic. In: Partiality, Modality, and Nonmonotonicity, pp. 111–141. CSLI Publications (1996)

    Google Scholar 

  16. Katsuno, H., Mendelzon, A.O.: On the difference between updating a knowledge base and revising it. In: Belief Revision, pp. 183–203. Cambridge University Press, Cambridge (1992)

    Chapter  Google Scholar 

  17. Konolige, K.: A Deduction Model of Belief. Morgan Kaufmann Publishers, San Francisco (1986)

    MATH  Google Scholar 

  18. Konolige, K.: Explanatory belief ascription. In: Proceedings of the Third Conference on Theoretical Aspects of Reasoning About Knowledge, pp. 57–72. Morgan Kaufmann, San Francisco (1990)

    Google Scholar 

  19. Kraus, S., Lehmann, D.: Knowledge, belief and time. Theoretical Computer Science 58, 155–174 (1988)

    Article  MATH  MathSciNet  Google Scholar 

  20. Lespérance, Y., Tam, K., Jenkin, M.: Reactivity in a logic-based robot programming framework. In: Jennings, N.R. (ed.) ATAL 1999. LNCS (LNAI), vol. 1757, Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  21. Levesque, H.J., Reiter, R., Lespérance, Y., Lin, F., Scherl, R.B.: Golog:A logic programming language for dynamic domains. Journal of Logic Programming 31, 59–84 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  22. Lomuscio, A.: An algorithmic approach to knowledge evolution. Artificial Intelligence for Engineering Design, Analysis and Manufacturing 13(2) (1992)

    Google Scholar 

  23. Lomuscio, A., Ryan, M.: A spectrum of modes of knowledge sharing between agents. In: Jennings, N.R. (ed.) ATAL 1999. LNCS (LNAI), vol. 1757, Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  24. Moore, R.C.: A formal theory of knowledge and action. In: Hobbs, J.R., Moore, R.C. (eds.) Formal Theories of the Commonsense World, ch. 9, pp. 319–358. Ablex Publishing, Greenwich (1985)

    Google Scholar 

  25. Pynadath, D.V., Tambe, M., Chauvat, N., Cavedon, L.: Toward teamoriented programming. In: Jennings, N.R. (ed.) ATAL 1999. LNCS (LNAI), vol. 1757, Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  26. Rao, A.S.: Decision procedures for propositional linear-time belief desire-intention logics. In: Tambe, M., Müller, J., Wooldridge, M.J. (eds.) IJCAI-WS 1995 and ATAL 1995. LNCS, vol. 1037, pp. 33–48. Springer, Heidelberg (1996)

    Google Scholar 

  27. Russel, S., Norvig, P.: Artificial Intelligence: A Modern Approach. Prentice Hall, Englewood Cliffs (1995)

    Google Scholar 

  28. Scherl, R.B., Levesque, H.J.: The frame problem and knowledge-producing actions. In: Proceedings of the National Conference on Artificial Intelligence, pp. 689–695 (1993)

    Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  30. Sripada, S.M.: A metalogic programming approach to reasoning about time in knowledge bases. In: Proceedings of the International Joint Conference on Artificial Intelligence, pp. 860–865. Morgan Kaufmann, San Francisco (1993)

    Google Scholar 

  31. van der Meyden, R.: Common knowledge and update in finite environments. I (extended abstract). In: Proceedings of the Fifth Conference on Theoretical Aspects of Reasoning About Knowledge, pp. 225–242. Morgan Kaufmann, San Francisco (1994)

    Google Scholar 

  32. van der Meyden, R.: Mutual belief revision. In: Proceedings of the Conference on Principles of Knowledge Representation and Reasoning, pp. 595–606. Morgan Kaufmann, San Francisco (1994)

    Google Scholar 

  33. van Eijk, R.M., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Open multi-agent systems: Agent communication and integration. In: Jennings, N.R. (ed.) ATAL 1999. LNCS (LNAI), vol. 1757, Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  34. van Linder, B., van der Hoek, W., Meyer, J.-J.C.: Seeing is believing—and so are hearing and jumping. In: Dreschler-Fischer, L., Nebel, B. (eds.) KI 1994. LNCS, vol. 861, pp. 402–413. Springer, Heidelberg (1994)

    Google Scholar 

  35. Vidal, J.M., Durfee, E.H.: Recursive agent modelling using limited rationality. In: Proceedings of the International Conference on Multi-Agent Systems. MIT Press, Cambridge (1995)

    Google Scholar 

  36. Wagner, G.: A logical and operational model of scalable knowledge- and perception-based agents. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS, vol. 1038. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. NTT Communication Science Laboratories, 3-1 Morinosato-Wakamiya, Atsugi-shi, Kanagawa-ken, 243-0198, Japan

    Hideki Isozaki & Hirofumi Katsuno

Authors
  1. Hideki Isozaki
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hirofumi Katsuno
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Electronics and Computer Science, University of Southampton, SO17 1BJ, Southampton, UK

    Nicholas R. Jennings

  2. Department of Computer Science, York University , M3J 1P3, Toronto, ON, Canada

    Yves Lespérance

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Isozaki, H., Katsuno, H. (2000). Observability-based Nested Belief Computation for Multiagent Systems and Its Formalization. In: Jennings, N.R., Lespérance, Y. (eds) Intelligent Agents VI. Agent Theories, Architectures, and Languages. ATAL 1999. Lecture Notes in Computer Science(), vol 1757. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10719619_3

Download citation

  • DOI: https://doi.org/10.1007/10719619_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67200-5

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation