An Analysis of Three Puzzles in the Logic of Intention

1. Bratman, M.E.: Two Faces of Intention. The Philosophical Review 93, 375–405 (1984)

   Article  Google Scholar 

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

   Google Scholar 

3. Bratman, M.E.: What is Intention? In: Cohen, P.R., Morgan, J., Pollack, M.E. (eds.) Intentions in Communication, MIT Press, Cambridge (1990)

   Google Scholar 

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

   Article  MATH  MathSciNet  Google Scholar 

5. Cohen, P.R., Levesque, H.J.: Rational Interaction as the Basis for Communication. In: Cohen, P.R., Morgan, J., Pollack, M.E. (eds.) Intentions in Communication, MIT Press, Cambridge (1990)

   Google Scholar 

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

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

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

   MATH  Google Scholar 

9. Israel, D.J., Perry, J.R., Tutiya, S.: Actions and Movements. In: Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, pp. 1060–1065 (1991)

   Google Scholar 

10. Kyburg Jr., H.E.: Probability and the Logic of Rational Belief. Wesleyan University Press, Middletown (1961)

    Google Scholar 

11. Pollack, M.E.: Overloading Intentions for Efficient Practical Reasoning. Noûs 25, 513–536 (1991)

    Article  Google Scholar 

12. Pollock, J.L.: Cognitive Carpentry. MIT Press, Cambridge (1995)

    Google Scholar 

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

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

15. Rao, A.S., Georgeff, M.P.: Asymmetry Thesis and Side-Effect Problems in Linear-Time and Branching-Time Intention Logics. In: Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, pp. 498–504 (1991)

    Google Scholar 

16. Wobcke, W.R.: An Operational Semantics for a PRS-Like Agent Architecture. In: Stumptner, M., Corbett, D., Brooks, M. (eds.) AI 2001: Advances in Artificial Intelligence, Springer, Berlin (2001)

    Google Scholar 

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

    Google Scholar 

18. Wobcke, W.R.: Intention and Rationality for PRS-Like Agents. In: McKay, B., Slaney, J. (eds.) AI 2002: Advances in Artificial Intelligence, Springer, Berlin (2002)

    Google Scholar 

19. Wobcke, W.R.: Model Theory for PRS-Like Agents: Modelling Belief Update and Action Attempts. In: Zhang, C., Guesgen, H.W., Yeap, W.-K. (eds.) PRICAI 2004. LNCS (LNAI), vol. 3157, Springer, Heidelberg (2004)

    Google Scholar 

20. Wobcke, W.R., Chee, M., Ji, K.: Model Checking for PRS-Like Agents. In: Zhang, S., Jarvis, R. (eds.) AI 2005: Advances in Artificial Intelligence, Springer, Berlin (2005)

    Google Scholar 

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

    MATH  Google Scholar 

Download references