Abstract
In this paper we propose a formalisation of motivational attitudes of rational agents. We deal with three such attitudes, situated at two levels. At the level of assertions we define preferences and goals of agents, at the practition level we define commitments. By providing an awareness-based semantics for preferences we avoid both the side-effect problem and the transference problem, as well as other problems related to logical omniscience. Goals are defined to be those preferences that the agent knows not to hold but to be possible. With respect to commitments we consider both a static and a dynamic aspect. The static aspect formalises the commitments that agents have made, the dynamic aspect formalises the act of making commitments. The resulting theory is a highly expressive one which satisfies many of the desiderata for motivational attitudes.
Preview
Unable to display preview. Download preview PDF.
References
M.E. Bratman. Intentions, Plans, and Practical Reason. HUP, 1987.
H.-N. Castañeda. The paradoxes of deontic logic. In New Studies in Deontic Logic, pp. 37–85. Reidel, 1981.
P. Cohen and H. Levesque. Intention is choice with commitment. AI, 42:213–261, 1990.
R. Fagin and J. Halpern. Belief, awareness and limited reasoning. AI, 34:39–76, 1988.
J.Y. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. AI, 54:319–379, 1992.
D. Harel. Dynamic logic. In D.M. Gabbay and F. Guenthner, eds, Handbook of Philosophical Logic, volume 2, chapter 10. Reidel, 1984.
J. Hintikka. Knowledge and Belief. Cornell University Press, 1962.
W. van der Hoek, B. van Linder, and J.-J. Ch. Meyer. A logic of capabilities. In Nerode and Matiyasevich, eds, Proceedings of LFCS'94, LNCS 813, pp. 366–378.
W. van der Hoek, B. van Linder, and J.-J. Ch. Meyer. Unravelling nondeterminism. In Jorrand and Sgurev, eds, Procs. of AIMSA'94, pp. 163–172. World Scientific, 1994.
Z. Huang, M. Masuch, and L. Pólos. ALX, an action logic for agents with bounded rationality. TR 92-70, CCSOM, 1992.
H.A. Kenny. Will, Freedom and Power. Basil Blackwell, Oxford, 1975.
Y. Lesperance, H. Levesque, F. Lin, D. Marcu, R. Reiter, and R. Scherl. Foundations of a logical approach to agent programming. This volume.
B. van Linder, W. van der Hoek, and J.-J. Ch. Meyer. Communicating rational agents. In Nebel and Dreschler-Fischer, eds, Proceedings of KI-94, LNCS 861, pp. 202–213.
B. van Linder, W. van der Hoek, and J.-J. Ch. Meyer. Tests as epistemic updates. In Cohn, ed., Proceedings of ECAI'94, pp. 331–335. John Wiley & Sons, 1994.
B. van Linder, W. van der Hoek, and J.-J. Ch. Meyer. The dynamics of default reasoning. In Froidevaux and Kohlas, eds, Proceedings of ECSQARU'95, LNCS 946, pp. 277–284.
B. van Linder, W. van der Hoek, and J.-J. Ch. Meyer. Actions that make you change your mind. In Wachsmuth and Rollinger, eds, Proceedings of KI-95, LNCS 981, pp. 185–196.
B. van Linder, W. van der Hoek, and J.-J.Ch. Meyer. Seeing is believing — and so are hearing and jumping. In Gori and Soda, eds, Proceedings of AI * IA'95, LNCS 992, pp. 402–413.
R.C. Moore. Reasoning about knowledge and action. TR 191, SRI, 1980.
T.J. Norman and D. Long. Alarms: An implementation of motivated agency. This volume.
A.S. Rao and M.P. Georgeff. Asymmetry thesis and side-effect problems in linear time and branching time intention logics. In Procs of IJCAI91, pp. 498–504, 1991.
A.S. Rao and M.P. Georgeff. Modeling rational agents within a BDI-architecture. In Procs of KR'91, pp. 473–484,1991.
Y. Shoham. Agent-oriented programming. AI, 60:51–92, 1993.
M.P. Singh. Multiagent Systems: A Theoretical Framework for Intentions, Know-How and Communications. LNCS 799, Springer-Verlag.
M.P. Singh. Semantical Considerations on Some Primitives for Agent Specification. This volume.
B. Williams. Moral incapacity. In Procs of the Aristotelian Society, 93:59–70, 1993.
M. Wooldridge. Time, Knowledge, and Choice. This volume.
G.H. von Wright. Norm and Action. Routledge& Kegan Paul, 1963.
G.H. von Wright. On so-called practical inference. In Practical Reasoning, OUP, 1978.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
van Linder, B., van der Hoek, W., Meyer, J.J.C. (1996). Formalising motivational attitudes of agents. In: Wooldridge, M., Müller, J.P., Tambe, M. (eds) Intelligent Agents II Agent Theories, Architectures, and Languages. ATAL 1995. Lecture Notes in Computer Science, vol 1037. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3540608052_56
Download citation
DOI: https://doi.org/10.1007/3540608052_56
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60805-9
Online ISBN: 978-3-540-49594-9
eBook Packages: Springer Book Archive