On Agents That Have the Ability to Choose

Studia Logica

Volumn 66, Issue 1, 2000, Pages 79-119

  Van Wlebe Hoek, D E R ^a,b   Van Linder, Bernd ^a   Meyer, John Jules ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

^b ABN AMRO   (Netherlands)

Author keywords

Dynamic modal logic; Internal and external non determinism

Indexed keywords

EID: 40849131874     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/a:1026796912842     Document Type: Article

References (36)

1. APT, K., and G. PLOTKIN, 'Countable nondeterminism and random assignment', Journal of the ACM 33, 4 (1986), 724-767.
2. de BARKER, J., J. BERGSTRA, J. KLOP, and J.-J. MEYER, 'Linear time and branching time semantics for recursion with merge', Theoretical Computer Science 34 (1984), 135-156.
3. BROWN, M,. 'On the logic of ability', Journal of Philosophical Logic 17 (1988), 1-26.
4. BROY, M., 'A theory of nondeterminism, parallelism, communication and concurrency', Theoretical Computer Science 45 (1986), 1-61.
5. COHEN, P., and H. LEVESQUE, 'Intention is choice with commitment', Artificial Intelligence 42 (1990), 213-261.
6. GAMUT, L., Logic, Language and Meaning. Volume I: Introduction to Logic, Chicago and London, The University of Chicago Press, 1991.
7. GAMUT, L., Logic, Language and Meaning. Volume II: Intensional Logic and Logical Grammar, Chicago and London, The University of Chicago Press, 1991.
8. GOLDBLATT, R., Logics of Time and Computation, Vol. 7 of CSLI Lecture Notes, Stanford: CSLI, Second edition, 1992.
9. HALPERN, J., and Y. MOSES, 'A guide to the modal logics of knowledge and belief, in Proc. 9th IJCAI, pp. 480-490, 1985.
10. HALPERN, J., and Y. MOSES, 'A guide to completeness and complexity for modal logics of knowledge and belief, Artificial Intelligence 54 (1992), 319-379.
11. HALPERN, J., and J. REIF, 'The prepositional dynamic logic of deterministic, wellstructured programs', Theoretical Computer Science 27 (1983), 127-165.
12. HAREL, D., First-Order Dynamic Logic, Vol. 68 of Lecture Notes in Computer Science, Springer-Verlag, 1979.
13. HAREL, D. 'Dynamic logic', in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. 2, Dordrecht, D. Reidel, Chapt. 10, pp. 497-604, 1984.
14. HlNTIKKA, J., Knowledge and Belief, Ithaca, NY, Cornell University Press, 1962.
15. HoARE, C., Communicating Sequential Processes, Prentice-Hall International, 1985.
16. v. d. HOEK, W., B. v. LlNDER, and J.-J. MEYER, 'A logic of capabilities', in A. Nerode and Y. Matiyasevich (eds.), Proceedings of LFCS'94, Vol. 813 of LNCS. pp. 366-378, 1994.
17. v. d. HOEK, W., B. v. LlNDER, and J.-J. C. MEYER, 'Unravelling nondeterminism: On having the ability to choose (Extended Abstract)', in P. Jorrand and V. Sgurev (eds.), Proceedings of the Sixth International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA '94). pp. 163-172, 1994.
18. KENNY, A., Will, Freedom and Power, Oxford, Basil Blackwell, 1975.
19. KOZEN, D., and J. TIURYN, 'Logics of programs', in J. van Leeuwen (ed.), Handbook of Theoretical Computer Science, Vol. B, Eisevier, pp. 789-840, 1990.
20. LESPEéRANCE, Y., H. LEVESQUE, F. LIN, D. MARCU, R. REITER, and R. SCHERL, 'Foundations of a logical approach to agent programming', in M. Wooldridge, J. Müller, and M. Tambe (eds.), Intelligent Agents Volume II - Agent Theories, Architectures, and Languages, Vol. 1037 of Lecture Notes in Computer Science (subseries LNAI). pp. 331-347, 1996.
21. v. LlNDER, B., W. v. d. HOEK, and J.-J. C. MEYER, 'Formalizing abilities and opportunities of agents', Fundamenta Informaticae 34, 1-2 (1998), 53-101.
22. v. LlNDER, B., W. v. d. HOEK, and J.-J. C. MEYER, 'Tests as epistemic updates', in A. Cohn (ed.), Proceedings of the llth European Conference on Artificial Intelligence (ECAI'94), pp. 331-335, 1994.
23. v. LlNDER, B., W. v. d. HOEK, and J.-J.C. MEYER, 'Actions that make you change your mind', in A. Laux and H. Wansing (eds.), Knowledge and Belief in Philosophy and Artificial Intelligence, Akademie Verlag, pp. 103-146, 1995.
24. v. LlNDER, B., W. v. d. HOEK, and J.-J. C. MEYER, 'The dynamics of default reasoning', Data and Knowledge Engineering 21, 3 (1997), 317-346.
25. v. LINDER, B., W. v. d. HOEK, and J.-J. C. MEYER, 'Seeing is believing (and so are hearing and jumping)', Journal of Logic, Language and Information 6, 2 (1997), 33-61.
26. MEYER, J.-J., W. v. d. HOEK, and B. van LINDER, 'A logical approach to the dynamics of commitments', Artificial Intelligence 113, 1-2 (1999), 1-40.
27. MEYER, J.-J., and W. van der HOEK, Epistemic Logic for AI and Computer Science, No. 41 in Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 1995.
28. MEYER, J.-J. C., 'Free choice permissions and Ross's paradox: Internal vs external nondeterminism', in P. Dekker and M. Stokhof (eds.), Proc. 8th Amsterdam Colloquium, pp. 367-380, 1992.
29. MOORE, R., 'Reasoning about knowledge and action', Technical Report 191, SRI International, 1980.
30. MOORE, R., 'A formal theory of knowledge and action', Technical Report 320, SRI International, 1984.
31. PELEG, D., 'Concurrent dynamic logic', Journal of the ACM 34, 2 (1987), 450-479.
32. RAO, A., and M. GEORGEFF, 'Modeling rational agents within a BDI-architecture', in, J. Alien, R. Fikes and E. Sandewall (eds.), Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, San Mateo CA, pp. 473-484, 1991.
33. WlERINGA, R., and J.-J. MEYER, 'Actor-oriented specification of dynamic and deontic integrity constraints', in B. Thalheim, J. Demetrovics and H.-D. Gerhardt (eds.), 3rd Symposium om Mathematical Fundamentals of Database and Knowledge Base Systems (MFDBS 91), Vol. 495 of Lecture Notes in Computer Science, pp. 89-103, 1991.
34. WOOLDRIDGE, M., and N. R. JENNINGS, 'Intelligent agents: Theory and practice', The Knowledge Engineering Review 10, 2 (1995), 115-152.
35. v. WRIGHT, G., Norm and Action, London, Routledge & Kegan Paul, 1963.
36. v. WRIGHT, G., 'The logic of action: A sketch', in N. Rescher (ed.), The Logic of Decision and Action, University of Pittsburgh Press, 1967.