Skip to main content
SpringerLink
Log in

Modelling PRS-Like Agents’ Mental States

  • Conference paper
  • First Online:
PRICAI 2002: Trends in Artificial Intelligence (PRICAI 2002)

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

Included in the following conference series:

Abstract

In recent years, there have been increased efforts towards defining rigorous operational semantics for a range of agent programming languages. At the same time, there have been increased efforts to develop logical frameworks for modelling belief, desire and intention (and related notions) that make closer connections to the workings of particular architectures, thus aiming to provide some computational interpretation of these abstract models. However, there remains a substantial gap between the more abstract logical approaches and the more computationally oriented operational approaches. In this paper, we present a modelling of the mental states of PRS-like agents developed using a combination of dynamic logic and BDI logic that allows a mapping between the operational semantics and the model-theoretic semantics, considering the statics, though not the dynamics, of mental states. This represents a first step towards bridging the gap between theory and practice for an agent programming language that includes a simple notion of intention.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. Bratman, M.E. (1987) Intention, Plans and Practical Reason. Harvard University Press, Cambridge, MA.

    Google Scholar 

  2. Cavedon, L. & Rao, A.S. (1996) ‘Bringing About Rationality: Incorporating Plans Into a BDI Agent Architecture.’ in Foo, N.Y. & Goebel, R.G. (Eds) PRICAI’96: Topics in Artificial Intelligence. Springer-Verlag, Berlin.

    Google Scholar 

  3. Cohen, P.R. & Levesque, H.J. (1990) ‘Intention is Choice with Commitment.’ Artificial Intelligence, 42, 213–261.

    Google Scholar 

  4. De Giacomo, G., Lespérance, Y. & Levesque, H.J. (2000) ‘ConGolog, a Concurrent Programming Language Based on the Situation Calculus.’ Artificial Intelligence, 121, 109–169.

    Article  MATH  MathSciNet  Google Scholar 

  5. Emerson, E.A. & Clarke, E.M. (1982) ‘Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons.’ Science of Computer Programming, 2, 241–266.

    Article  MATH  Google Scholar 

  6. Fagin, R., Halpern, J.Y., Moses, Y. & Vardi, M.Y. (1995) Reasoning About Knowledge. MIT Press, Cambridge, MA.

    MATH  Google Scholar 

  7. Georgeff, M.P. & Ingrand, F.F. (1989) ‘Decision-Making in an Embedded Reasoning System.’ Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, 972–978.

    Google Scholar 

  8. Georgeff, M.P. & Lansky, A.L. (1987) ‘Reactive Reasoning and Planning.’ Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI-87), 677–682.

    Google Scholar 

  9. Goldblatt, R. (1992) Logics of Time and Computation. Second Edition. Center for the Study of Language and Information, Stanford, CA.

    Google Scholar 

  10. Harel, D. (1979) First-Order Dynamic Logic. Springer-Verlag, Berlin.

    MATH  Google Scholar 

  11. Konolige, K. & Pollack, M.E. (1993) ‘A Representationalist Theory of Intention.’ Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, 390–395.

    Google Scholar 

  12. Lee, J., Huber, M.J., Kenny, P.G. & Durfee, E.H. (1994) ‘UM-PRS: An Implementation of the Procedural Reasoning System for Multirobot Applications.’ Conference on Intelligent Robotics in Field, Factory, Service, and Space, 842–849.

    Google Scholar 

  13. Pratt, V.R. (1976) ‘Semantical Considerations on Floyd-Hoare Logic.’ Proceedings of the Seventeenth IEEE Symposium on Foundations of Computer Science, 109–121.

    Google Scholar 

  14. Rao, A.S. & Georgeff, M.P. (1991) ‘Modeling Rational Agents within a BDI-Architecture.’ Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR’ 91), 473–484.

    Google Scholar 

  15. Rao, A.S. & Georgeff, M.P. (1992) ‘An Abstract Architecture for Rational Agents.’ Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning (KR’92), 439–449.

    Google Scholar 

  16. Segerberg, K. (1989) ‘Bringing It About.’ Journal of Philosophical Logic, 18, 327–347.

    Article  MathSciNet  MATH  Google Scholar 

  17. Singh, M.P. (1994) Multiagent Systems. Springer-Verlag, Berlin.

    MATH  Google Scholar 

  18. Wooldridge, M.J. (2000) Reasoning About Rational Agents. MIT Press, Cambridge, MA.

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Science and Engineering, University of New South Wales, Sydney, NSW, 2052, Australia

    Wayne Wobcke

Authors
  1. Wayne Wobcke
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Information Science and Technology Department of Information and Communication Engineering, University of Tokyo, 7-3-1 Hongo, Bunkyo-ku, Tokyo, 113-8656, Japan

    Mitsuru Ishizuka

  2. School of Information Technology Knowledge Representation and Reasoning Unit (KRRU) Faculty of Engineering and Information Technology, Griffith University, PMB 50 Gold Coast Mail Centre, Queensland, 9726, Australia

    Abdul Sattar

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wobcke, W. (2002). Modelling PRS-Like Agents’ Mental States. In: Ishizuka, M., Sattar, A. (eds) PRICAI 2002: Trends in Artificial Intelligence. PRICAI 2002. Lecture Notes in Computer Science(), vol 2417. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45683-X_17

Download citation

  • DOI: https://doi.org/10.1007/3-540-45683-X_17

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-44038-3

  • Online ISBN: 978-3-540-45683-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation