Skip to main content
SpringerLink
Log in
Book cover

Pacific Rim International Conference on Artificial Intelligence

PRICAI 2004: PRICAI 2004: Trends in Artificial Intelligence pp 595–604Cite as

Model Theory for PRS-Like Agents: Modelling Belief Update and Action Attempts

  • Conference paper

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

Abstract

In this paper, we extend our earlier work on modelling the mental states of PRS-like agents by considering the dynamics of belief and modelling of action attempts. The major constraint on our theory is that belief update is modelled within the theory of action as part of the logic ADL, a logic of belief, desire and intention that incorporates propositional dynamic logic. Some logical properties of belief update and attempts are given. The account provides a more complete modelling of both the statics and dynamics of agent programs based on the PRS-like architecture, and thus is a suitable foundation for developing model checking algorithms for this class of agents.

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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bratman, M.E.: Intention, Plans and Practical Reason. Harvard University Press, Cambridge (1987)

    Google Scholar 

  2. Cohen, P.R., Levesque, H.J.: Intention is Choice with Commitment. Artificial Intelligence 42, 213–261 (1990)

    Article  MATH  MathSciNet  Google Scholar 

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

    Article  MATH  Google Scholar 

  4. Georgeff, M.P., Lansky, A.L.: Reactive Reasoning and Planning. In: Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI 1987), pp. 677–682 (1987)

    Google Scholar 

  5. Harel, D.: First-Order Dynamic Logic. Springer, Berlin (1979)

    MATH  Google Scholar 

  6. Pratt, V.R.: Semantical Considerations on Floyd-Hoare Logic. In: Proceedings of the Seventeenth IEEE Symposium on Foundations of Computer Science, pp. 109–121 (1976)

    Google Scholar 

  7. Rao, A.S., Georgeff, M.P.: Modeling Rational Agents within a BDI-Architecture. In: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR 1991), pp. 473–484 (1991)

    Google Scholar 

  8. van der Hoek, W., van Linder, B., Meyer, J.-J.C.: An Integrated Modal Approach to Rational Agents. In: Wooldridge, M., Rao, A. (eds.) Foundations of Rational Agency, Kluwer, Dordrecht (1999)

    Google Scholar 

  9. Wobcke, W.R.: Modelling PRS-like Agents’ Mental States. In: Ishizuka, M., Sattar, A. (eds.) PRICAI 2002. LNCS (LNAI), vol. 2417, p. 138. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  10. Wooldridge, M.J.: Reasoning About Rational Agents. MIT Press, Cambridge (2000)

    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. Faculty of Engineering and Information Technology, Centre for Quantum Computation and Intelligent Systems, and Australian ACS National Committee for Artificial Intelligence, University of Technology, Sydney, Australia

    Chengqi Zhang

  2. Department of Computer Science, Auckland University of Technology, 1020, Auckland, New Zealand

    Hans W. Guesgen

  3. Artificial Intelligence Technology Centre, Auckland University of Technology, Auckland, New Zealand

    Wai-Kiang Yeap

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wobcke, W. (2004). Model Theory for PRS-Like Agents: Modelling Belief Update and Action Attempts. In: Zhang, C., W. Guesgen, H., Yeap, WK. (eds) PRICAI 2004: Trends in Artificial Intelligence. PRICAI 2004. Lecture Notes in Computer Science(), vol 3157. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-28633-2_63

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-28633-2_63

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-28633-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation