Reasoning about emotional agents

In this article we discuss the role of emotions in artificial agent design, and the use of logic in reasoning about the emotional or affective states an agent can reside in. We do so by extending the KARO framework for reasoning about rational agents appropriately. In particular, we formalize in this framework how emotions are related to the action monitoring capabilities of an agent. © 2006 Wiley Periodicals, Inc. Int J Int Syst 21: 601–619, 2006.

[1]  Yoav Shoham,et al.  Agent-Oriented Programming , 1992, Artif. Intell..

[2]  A. Damasio.  Descartes' error: emotion, reason, and the human brain. avon books , 1994 .

[3]  Zohar Manna,et al.  Temporal Verification of Reactive Systems , 1995, Springer New York.

[4]  B. van Linder,et al.  Modal logics for rational agents , 1996 .

[5]  Wiebe van der Hoek,et al.  Formalizing Potential of Agents: The KARO Framework Revisited , 2000 .

[6]  P. Johnson-Laird,et al.  The communicative theory of emotions: Empirical tests, mental models, and implications for social interaction. , 1996 .

[7]  J. Stainer,et al.  The Emotions , 1922, Nature.

[8]  Aaron Sloman,et al.  Motives, Mechanisms, and Emotions , 1987, The Philosophy of Artificial Intelligence.

[9]  Michael Wooldridge,et al.  Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence , 1999 .

[10]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..

[11]  Yde Venema,et al.  Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages , 2002, Theory and Practice of Logic Programming.

[12]  D. Dennett.  The Intentional Stance. , 1987 .

[13]  Koen V. Hindriks,et al.  Agent programming languages: programming with mental models , 2001 .

[14]  John-Jules Ch. Meyer,et al.  Seeing Is Believing , 1997, J. Log. Lang. Inf..

[15]  R. W. Pickard,et al.  Does HAL cry digital tears? Emotions and computers , 2001 .

[16]  W. van der Hoek,et al.  Epistemic logic for AI and computer science , 1995, Cambridge tracts in theoretical computer science.

[17]  Ira Rudowsky,et al.  Intelligent Agents , 2004, Commun. Assoc. Inf. Syst..

[18]  W. Hoek,et al.  Seeing Is Believing And So Are Hearing and Jumping , 2002 .

[19]  Jan Treur,et al.  Agent-based Defeasible Control in Dynamic Environments. Series in Defeasible Reasoning and Uncertainty Management Systems , 2002 .

[20]  Michael Wooldridge,et al.  Reasoning about rational agents , 2000, Intelligent robots and autonomous agents.

[21]  Liming Chen,et al.  Equipping a Lifelike Animated Agent with a Mind , 2001, IVA.

[22]  Koen V. Hindriks,et al.  On Programming KARO Agents , 2001, Log. J. IGPL.

[23]  Christine L. Lisetti,et al.  Emotions and Personality in Agent Design and Modeling , 2001, User Modeling.

[24]  Nils J. Nilsson,et al.  Artificial Intelligence: A New Synthesis , 1997 .

[25]  Aaron Sloman,et al.  What Sort of Architecture is Required for a Human-Like Agent? , 1999 .

[26]  Koen V. Hindriks,et al.  Agent Programming in 3APL , 1999, Autonomous Agents and Multi-Agent Systems.

[27]  Andrew Ortony,et al.  The Cognitive Structure of Emotions , 1988 .

[28]  Frank Dignum,et al.  Programming agent deliberation: an approach illustrated using the 3APL language , 2003, AAMAS '03.

[29]  Dov M. Gabbay,et al.  Handbook of Philosophical Logic , 2002 .

[30]  Aaron Sloman,et al.  Damasio, Descartes, alarms and meta-management , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[31]  Jerzy Tiuryn,et al.  Dynamic logic , 2001, SIGA.

[32]  John-Jules Ch. Meyer,et al.  A Logical Approach to the Dynamics of Commitments , 1999, Artif. Intell..

[33]  Nuel D. Belnap,et al.  Seeing To it That: A Canonical Form for Agentives , 2008 .

[34]  Jürg Kohlas,et al.  Handbook of Defeasible Reasoning and Uncertainty Management Systems , 2000 .

[35]  P. Young,et al.  Emotion and personality , 1963 .

[36]  Wiebe van der Hoek,et al.  Systems for Knowledge and Belief , 1993, J. Log. Comput..

[37]  Anand S. Rao,et al.  Decision Procedures for BDI Logics , 1998, J. Log. Comput..

[38]  W. Hoek,et al.  An Integrated Modal Approach to Rational Agents , 1999 .

[39]  Zohar Manna,et al.  Temporal verification of reactive systems - safety , 1995 .

[40]  J. W. de Bakker,et al.  Mathematical theory of program correctness , 1980, Prentice-Hall international series in computer science.

[41]  J.-J. Ch. Meyer,et al.  Dynamic logic for reasoning about actions and agents , 1999 .

[42]  W. van der Hoek,et al.  Actions that Make you Change your Mind --- Belief Revision in an Agent-Oriented Setting , 1994 .

[43]  A. Damasio.  Descartes’ Error. Emotion, Reason and the Human Brain. New York (Grosset/Putnam) 1994. , 1994 .

[44]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.