Logical approach to the dynamics of commitments

Artificial Intelligence

Volumn 113, Issue 1, 1999, Pages 1-40

  Meyer, J J Ch ^a   Van Der Hoek, W ^a   Van Linder, B ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ADDERS; EQUIVALENCE CLASSES; FORMAL LANGUAGES; FORMAL LOGIC; LINGUISTICS; MATHEMATICAL MODELS; SET THEORY;

DYNAMIC LOGIC; INTELLIGENT AGENTS; MOTIVATIONAL ATTITUDES;

ARTIFICIAL INTELLIGENCE;

EID: 0033189501     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(99)00061-2     Document Type: Article

References (64)

1. L. Åqvist, Deontic logic, in: D.M. Gabbay, F. Guenthner (Eds.), Handbook of Philosophical Logic, Vol. 2, Reidel, Dordrecht, 1984, Chapter 11, pp. 605-714.
2. R.L. Atkinson, R.C. Atkinson, E.E. Smith, D.J. Bem, S. Nolen-Hoeksema, Hilgard's Introduction to Psychology, 12th Ed., Harcourt Brace College Publishers, Fort Worth, 1996.
3. C. Boutilier, Toward a logic for qualitative decision theory, in: P. Torasso J. Doyle, E. Sandewall (Eds.), Proc. 4th International Conference on Principles of Knowledge Representation and Reasoning (KR-94), Bonn, Germany, 1994, pp. 75-86.
4. M.E. Bratman, Intentions, Plans, and Practical Reason, Harvard University Press, Cambridge, MA, 1987.
5. M.E. Bratman, D. Israel, M.E. Pollack, Plans and resource-bounded practical reasoning, Comput. Intelligence 4 (1988) 349-355
6. H.-N. Castañeda, The paradoxes of deontic logic: The simplest solution to all of them in one fell swoop, in: R. Hilpinen (Ed.), New Studies in Deontic Logic, Reidel, Dordrecht, 1981, pp. 37-85.
7. C. Castelfranchi, D. D'Aloisi, F. Giacomelli, A framework for dealing with belief-goal dynamics, in: M. Gori, G. Soda (Eds.), Topics in Artificial Intelligence, Lecture Notes in Computer Science, Vol. 992, Springer, Berlin, 1995, pp. 237-242.
8. L. Cavedon, L. Padgham, A. Rao, E. Sonenberg, Revisiting rationality for agents with intentions, in: X. Yao (Ed.), Bridging the Gap: Proc. 8th Australian Joint Conference on Artificial Intelligence, World Scientific, Singapore, 1995, pp. 131-138.
9. PR. Cohen, H.J. Levesque, Intention is choice with commitment, Artificial Intelligence 42 (1990) 213-261.
10. F. Dignum, B. van Linder, Modelling rational agents in a dynamic environment: Putting Humpty Dumpty together again, in: J.L. Fiadeiro, P.-Y. Schobbens (Eds.), Proc. 2nd Workshop of the Modelage Project, 1996, pp. 81-91.
11. F. Dignum, B. van Linder, Modelling social agents: Communication as action, in: J.P. Müller, MJ. Wooldridge, N.R. Jennings (Eds.), Intelligent Agents, Vol. III - Agent Theories, Architectures, and Languages (ATAL-97), Lecture Notes in Computer Science, Vol. 1193, Springer, Berlin, 1997, pp. 205-218.
12. F. Dignum, J.-J.Ch. Meyer, RJ. Wieringa, R. Kuiper, A modal approach to intentions, commitments and obligations: Intention plus commitment yields obligation, in: M.A. Brown, J. Carmo (Eds.), Deontic Logic, Agency and Normative Systems, Springer Workshops in Computing, Springer, Berlin, 1996, pp. 80-97.
13. J. Doyle, Y. Shoham, M.P. Wellman, A logic for relative desire, in: Z.W. Ras, M. Zemankova (Eds.), Proc. 6th International Symposium on Methodologies for Intelligents Systems (ISMIS-91), Springer, Berlin, 1991 pp. 16-31.
14. R. Fagin, J.Y. Halpern, Belief, awareness and limited reasoning, Artificial Intelligence 34 (1988) 39-76.
15. R. Fagin, J.Y. Halpern, Y. Moses, M.Y. Vardi, Reasoning About Knowledge, MIT Press, Cambridge, MA, 1995.
16. R. Fikes, N.J. Nilsson, STRIPS: A new approach to the application of theorem proving to problem solving, Artificial Intelligence 2 (1971) 189-208.
17. G. Gazdar, G. Pullum, R. Carpenter, E. Klein, T. Hukari, R. Levine, Category structures, Comput. Linguistics 14 (1988) 1-19.
18. M. Georgeff, A. Rao, Rational software agents: From theory to practice, in: N.R. Jennings, M.J. Wooldridge (Eds.), Agent Technology: Foundations, Applications, and Markets, Springer, Berlin, 1998, pp. 139-160.
19. M.P. Georgeff, A.S. Rao, The semantics of intention maintenance for rational agents, in: Proc. IJCAI-95, Montreal, Quebec, 1995, pp. 704-710.
20. J.Y. Halpern, Y. Moses, A guide to completeness and complexity for modal logics of knowledge and belief, Artificial Intelligence 54 (1992) 319-379.
21. D. Harel, Dynamic logic, in: D.M. Gabbay, F. Guenthner (Eds.), Handbook of Philosophical Logic, Vol. 2, Reidel, Dordrecht, 1984, Chapter 10, pp. 497-604.
22. K.V. Hindriks, F.S. de Boer, W. van der Hoek, J.-J.Ch. Meyer, Formal semantics for an abstract agent programming language, in: M.P. Singh, A. Rao, M.J. Wooldridge (Eds.), Intelligent Agents IV, Lecture Notes in Artificial Intelligence, Vol. 1365, Springer, Berlin, 1998, pp. 215-229.
23. J. Hintikka, Knowledge and Belief, Cornell University Press, Ithaca, NY, 1962.
24. W. van der Hoek, B. van Linder, J.-J.Ch. Meyer, A logic of capabilities, in: A. Nerode, Yu.V. Matiyasevich (Eds.), Proc. 3rd International Symposium on the Logical Foundations of Computer Science (LFCS-94), Lecture Notes in Computer Science, Vol. 813, Springer, Berlin, 1994, pp. 366-378.
25. W. Van der Hoek, B. Van Linder, J.-J.Ch. Meyer, Unravelling nondeterminism: On having the ability to choose (Extended abstract), in: P. Jorrand, V. Sgurev (Eds.), Proc. 6th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA-94), World Scientific, Singapore, 1994, pp. 163-17 2.
26. A. Kenny, Will, Freedom and Power, Basil Blackwell, Oxford, 1975.
27. K. Konolige, A Deduction Model of Belief, Pitman, London/Morgan Kaufmann, Los Altos, CA, 1986.
28. Y Lespérance, H. Levesque, F. Lin, D. Marcu, R. Reiter, R. Scherl, Foundations of a logical approach to agent programming, in: M. Wooldridge, J.P. Müller, M. Tambe (Eds.), Intelligent Agents, Vol. II - Agent Theories, Architectures, and Languages, Lecture Notes in Computer Science, Vol. 1037, Springer, Berlin, 1996, pp. 331-347
29. H. Levesque, A logic of implicit and explicit belief, in: Proc. AAAI-84, Austin, TX, AAAI Press/MIT Press, 1984, pp. 198-202.
30. H.J. Levesque, All I know: A study in autoepistemic logic, Artificial Intelligence 42 (1990) 263-309.
31. F. Lin, R. Reiter, State constraints revisited, J. Logic Comput. (special issue on actions and processes) (1994).
32. B. van Linder, W. van der Hoek, J.-J.Ch. Meyer, Tests as epistemic updates, in: A.G. Cohn (Ed.), Proc. 11th European Conference on Artificial Intelligence (ECAI-94), Wiley, New York, 1994, pp. 331-335.
33. B. van Linder, W. van der Hoek, J.-J.Ch. Meyer, Actions that make you change your mind, in: A. Laux, H. Wansing (Eds.), Knowledge and Belief in Philosophy and Artificial Intelligence, Akademie, 1995, pp. 103-146.
34. B. van Linder, W. van der Hoek, J.-J.Ch. Meyer, The dynamics of default reasoning, Data and Knowledge Engineering 21 (3) (1997) 317-346.
35. B. van Linder, W. van der Hoek, J.-J.Ch. Meyer, Seeing is believing (and so are hearing and jumping), J. Logic Language Inform. 6 (2) (1997) 33-61.
36. B. van Linder, W. van der Hoek, J.-J.Ch. Meyer, Formalising motivational attitudes of agents: On preferences, goals and commitments, in: M. Wooldridge, J.P. Mueller, M. Tambe (Eds.), Intelligent Agents, Vol. II - Agent Theories, Architectures, and Languages (ATAL-95), Lecture Notes in Computer Science, Vol. 1037, Springer, Berlin, 1996, pp. 17-32.
37. B. van Linder, W. van der Hoek, J.-J.Ch. Meyer, Formalizing abilities and opportunities of agents, Fund. Inform. 34 (1,2) (1998) 53-101
38. J.-J.Ch. Meyer, W. van der Hoek, Epistemic Logic for AI and Computer Science, Cambridge University Press, Cambridge, UK, 1995.
39. J.-J.Ch. Meyer, RJ. Wieringa, Deontic logic: A concise overview, in: J.-J.Ch. Meyer, RJ. Wieringa (Eds.), Deontic Logic in Computer Science, Wiley, New York, 1993, Chapter 1, pp. 3-16.
40. R.C. Moore, Reasoning About Knowledge and Action, Technical Report 191, SRI International, Menlo Park, CA, 1980
41. L. Morgenstern, A first order theory of planning, knowledge, and action, in: Proc. 1st Conference on Theoretical Aspects of Reasoning about Knowledge (TARK-86), 1986, pp. 99-114.
42. L. Morgenstern, Knowledge preconditions for actions and plans, in: Proc. IJCAI-87, Milan, Italy, 1987, pp. 867-874.
43. G. Plotkin, A structural approach to operational semantics, Technical Report DAIME FN-19, Aarhus University, 1981.
44. V. Rantala, Impossible worlds semantics and logical omniscience, Acta Philos. Fennica 35 (1982) 106-115.
45. A.S. Rao, Agentspeak(L): BDI agents speak out in a logical computable language, in: W. Van de Velde, J.W. Perram (Eds.), Agents Breaking Away (Proc. MAAMAW-96), Lecture Notes in Artificial Intelligence, Vol. 1038, Springer, Berlin, 1996, pp. 42-55.
46. A.S. Rao, M.P. Georgeff, Asymmetry thesis and side-effect problems in linear time and branching time intention logics, in: J. Mylopoulos, R. Reiter (Eds.), Proc. IJCAI-91, Sydney, Australia, Morgan Kaufmann, San Mateo, CA, 1991, pp. 498-504.
47. A.S. Rao, M.P. Georgeff, Modeling rational agents within a BDI-architecture, in: J. Allen, R. Fikes, E. Sandewall (Eds.), Proc. 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR-91), Cambridge, MA, Morgan Kaufmann, San Mateo, CA, 1991, pp. 473-484.
48. J. Raz (ed.), Practical reasoning, Oxford Readings in Philosophy, Oxford University Press, Oxford, 1978.
49. R. Reiter, Proving properties of states in the situation calculus, Artificial Intelligence 64 (1993) 337-351.
50. S.J. Rosenschein, Formal theories of AI in knowledge and robotics, New Generation Computing 3 (1985) 345-357.
51. S.J. Rosenschein, L.P. Kaelbling, The synthesis of digital machines with provable epistemic properties, in: Proc. Conference on Theoretical Aspects of Reasoning about Knowledge, Morgan Kaufmann, Los Altos, CA, 1986, pp. 83-86.
52. A. Ross, Imperatives and logic, Theoria 7 (1941) 53-71.
53. E. Sandewall, Y. Shoham, Non-monotonic temporal reasoning, in: CJ. Hogger, D.M. Gabbay, J.A. Robinson (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 4, Clarendon Press, Oxford, 1995, pp. 439-498.
54. Y. Shoham, Agent-oriented programming, Artificial Intelligence 60 (1) (1993) 51-92.
55. M.P. Singh, Multiagent systems, Lecture Notes in Artificial Intelligence, Vol. 799, Springer, Berlin, 1994.
56. E. Spaan, Complexity of Modal Logics, Ph.D. Thesis, Universiteit van Amsterdam, 1993.
57. S.R. Thomas, PLACA, an Agent-Oriented Programming Language, Ph.D. Thesis, Stanford University, 1993.
58. R.M. van Eijk, F.S. de Boer, W. van der Hoek, J.-J.Ch. Meyer, Systems of communicating agents, in: Proc. 13th European Conference on Artificial Intelligence (ECAI-98), Brighton, UK, 1998, pp. 293-297.
59. R.M. van Eijk, F.S. de Boer, W. van der Hoek, J.-J.Ch. Meyer, Information-passing and belief revision in multi-agent systems, in: Proc. Agent Theories, Architectures and Languages (ATAL-98), Berlin, Springer, 1999, to appear.
60. J. von Neumann, O. Morgenstern, Theory of Games and Economic Behavior, Princeton University Press, Princeton, NJ, 1944.
61. M.P. Wellman, J. Doyle, Preferential semantics for goals, in: Proc. AAAI-91, Anaheim, CA, 1991, pp. 698-703.
62. M. Wooldridge, N.R. Jennings, Intelligent agents: Theory and practice, The Knowledge Engineering Review 10 (2) (1995) 115-152.
63. G.H. von Wright, Norm and Action, Routledge &Kegan Paul, London, 1963.
64. G.H. von Wright, On so-called practical inference, in: J. Raz (Ed.), Practical Reasoning, Oxford University Press, Oxford, 1978, Chapter III, pp. 46-6 2.