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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bratman, M.E. (1987) Intention, Plans and Practical Reason. Harvard University Press, Cambridge, MA.
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.
Cohen, P.R. & Levesque, H.J. (1990) ‘Intention is Choice with Commitment.’ Artificial Intelligence, 42, 213–261.
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.
Emerson, E.A. & Clarke, E.M. (1982) ‘Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons.’ Science of Computer Programming, 2, 241–266.
Fagin, R., Halpern, J.Y., Moses, Y. & Vardi, M.Y. (1995) Reasoning About Knowledge. MIT Press, Cambridge, MA.
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.
Georgeff, M.P. & Lansky, A.L. (1987) ‘Reactive Reasoning and Planning.’ Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI-87), 677–682.
Goldblatt, R. (1992) Logics of Time and Computation. Second Edition. Center for the Study of Language and Information, Stanford, CA.
Harel, D. (1979) First-Order Dynamic Logic. Springer-Verlag, Berlin.
Konolige, K. & Pollack, M.E. (1993) ‘A Representationalist Theory of Intention.’ Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, 390–395.
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.
Pratt, V.R. (1976) ‘Semantical Considerations on Floyd-Hoare Logic.’ Proceedings of the Seventeenth IEEE Symposium on Foundations of Computer Science, 109–121.
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.
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.
Segerberg, K. (1989) ‘Bringing It About.’ Journal of Philosophical Logic, 18, 327–347.
Singh, M.P. (1994) Multiagent Systems. Springer-Verlag, Berlin.
Wooldridge, M.J. (2000) Reasoning About Rational Agents. MIT Press, Cambridge, MA.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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