Formalising motivational attitudes of agents: On preferences, goals and commitments

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

Volumn 1037, Issue , 1996, Pages 17-32

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

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; INTELLIGENT AGENTS; SEMANTICS;

DYNAMIC ASPECTS; FORMALISATION; LOGICAL OMNISCIENCE; RATIONAL AGENTS; SIDE EFFECT;

MEMORY ARCHITECTURE;

EID: 84957630429     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3540608052_56     Document Type: Conference Paper

References (28)

1. M.E. Bratman. Intentions, Plans, and Practical Reason. HUP, 1987.
2. H.-N. Castañeda. The paradoxes of deontic logic. In New Studies in Deontic Logic, pp. 37-85. Reidel, 1981.
3. P. Cohen and H. Levesque. Intention is choice with commitment. AI, 42:213-261,1990.
4. R. Fagin and J. Halpem. Belief, awareness and limited reasoning. AI, 34:39-76,1988.
5. J.Y. Halpem and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. AI, 54:319-379,1992.
6. D. Harel. Dynamic logic. In D.M. Gabbay and F. Guenthner, eds, Handbook of Philosophical Logic, volume 2, chapter 10. Reidel, 1984.
7. J. Hintikka. Knowledge and Belief. Cornell University Press, 1962.
8. W. van der Hoek, B. van Linder, and J.-J. C. Meyer. A logic of capabilities. In Nerode and Matiyasevich, eds, Proceedings of LFCS'94, LNCS 813, pp. 366-378.
9. W. van der Hoek, B. van Linder, and J.-J. C. Meyer. Unravelling nondeterminism. In Jorrand and Sgurev, eds, Procs. of AIMSA'94, pp. 163-172. World Scientific, 1994.
10. Z. Huang, M. Masuch, and L. Pólos. ALX, an action logic for agents with bounded rationality. TR 92-70, CCSOM, 1992.
11. A. Kenny. Will, Freedom and Power. Basil Blackwell, Oxford, 1975.
12. Y. Lesperance, H. Levesque, F. Lin, D. Marcu, R. Reiter, and R. Scherl. Foundations of a logical approach to agent programming. This volume.
13. B. van Linder, W. van der Hoek, and J.-J. C. Meyer. Communicating rational agents. In Nebel and Dreschler-Fischer, eds, Proceedings ofKI-94, LNCS 861, pp. 202-213.
14. B. van Linder, W. van der Hoek, and J.-J. C. Meyer. Tests as epistemic updates. In Cohn, ed., Proceedings ofECAI'94, pp. 331-335. John Wiley & Sons, 1994.
15. B. van Linder, W. van der Hoek, and J.-J. C. Meyer. The dynamics of default reasoning. In Froidevaux and Kohlas, eds, Proceedings of ECSQARU'95, LNCS 946, pp. 277-284.
16. B. van Linder, W. van der Hoek, and J.-J. C. Meyer. Actions that make you change your mind. In Wachsmuth and Rollinger, eds, Proceedings of KI-95, LNCS 981, pp. 185-196.
17. B. van Linder, W. van der Hoek, and J.-J.C. Meyer. Seeing is believing - and so are hearing and jumping. In Gori and Soda, eds, Proceedings ofAI IA'95, LNCS 992, pp. 402-413.
18. R.C. Moore. Reasoning about knowledge and action. TR 191, SRI, 1980.
19. T.J. Norman and D. Long. Alarms: An implementation of motivated agency. This volume.
20. A.S. Rao and M.P. Georgeff. Asymmetry thesis and side-effect problems in linear time and branching time intention logics. In Procs ofIJCAI91, pp. 498-504,1991.
21. A.S. Rao and M.P. Georgeff. Modeling rational agents within a BDI-architecture. In Procs ofKR'91, pp. 473-84,1991.
22. Y. Shoham. Agent-oriented programming. AI, 60:51-92,1993.
23. M.P. Singh. Multiagent Systems: A Theoretical Framework for Intentions, Know-How and Communications. LNCS 799, Springer-Verlag.
24. M.P. Singh. Semantical Considerations on Some Primitives for Agent Specification. This volume.
25. B. Williams. Moral incapacity. In Procs of the Aristotelian Society, 93: 59-70,1993.
26. M. Wooldridge. Time, Knowledge, and Choice. This volume.
27. G.H. von Wright. Norm and Action. Routledge & Kegan Paul, 1963.
28. G.H. von Wright. On so-called practical inference. In Practical Reasoning, OUP, 1978.