Modelling PRS-like agents’ mental states

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2417, Issue , 2002, Pages 138-147

  Wobcke, Wayne ^a  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATION THEORY; COMPUTER PROGRAMMING LANGUAGES; OBJECT ORIENTED PROGRAMMING;

AGENT PROGRAMMING LANGUAGES; BELIEF , DESIRE AND INTENTIONS; COMPUTATIONAL INTERPRETATIONS; LOGICAL APPROACHES; LOGICAL FRAMEWORKS; MODEL-THEORETIC SEMANTICS; OPERATIONAL SEMANTICS; THEORY AND PRACTICE;

SEMANTICS;

EID: 84947911991     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45683-x_17     Document Type: Conference Paper

References (18)

1. Bratman, M.E. (1987) Intention, Plans and Practical Reason. Harvard University Press, Cambridge, MA.
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.
3. Cohen, P.R. & Levesque, H.J. (1990) ‘Intention is Choice with Commitment.’ Artificial Intelligence, 42, 213–261.
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.
5. Emerson, E.A. & Clarke, E.M. (1982) ‘Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons.’ Science of Computer Programming, 2, 241–266.
6. Fagin, R., Halpern, J.Y., Moses, Y. & Vardi, M.Y. (1995) Reasoning About Knowledge. MIT Press, Cambridge, MA.
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.
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.
9. Goldblatt, R. (1992) Logics of Time and Computation. Second Edition. Center for the Study of Language and Information, Stanford, CA.
10. Harel, D. (1979) First-Order Dynamic Logic. Springer-Verlag, Berlin.
11. Konolige, K. & Pollack, M.E. (1993) ‘A Representationalist Theory of Intention.’ Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, 390–395.
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.
13. Pratt, V.R. (1976) ‘Semantical Considerations on Floyd-Hoare Logic.’ Proceedings of the Seventeenth IEEE Symposium on Foundations of Computer Science, 109–121.
14. Rao, A.S. & Georgeff, M.P. (1991) ‘Modeling Rational Agents within a BDIArchitecture.’ Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR’91), 473–484.
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.
16. Segerberg, K. (1989) ‘Bringing It About.’ Journal of Philosophical Logic, 18, 327–347.
17. Singh, M.P. (1994) Multiagent Systems. Springer-Verlag, Berlin.
18. Wooldridge, M.J. (2000) Reasoning About Rational Agents. MIT Press, Cambridge, MA.