BDI Logics

This paper presents an overview of so-called BDI logics. Starting out from the basic ideas about BDI by Bratman, we consider various formalizations in logic, such as the approach of Cohen and Levesque, slightly remodelled in dynamic logic, Rao & Georgeff’s influential BDI logic based on the branching-time temporal logic CTL*, the KARO framework and BDI logic based on stit (seeing to it that) logic.

[1]  Drew McDermott,et al.  A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..

[2]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[3]  Michael E. Bratman,et al.  What is intention , 1987 .

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

[5]  Wolfgang Spohn,et al.  Ordinal Conditional Functions: A Dynamic Theory of Epistemic States , 1988 .

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

[7]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

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

[9]  Wolfgang Thomas,et al.  Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics , 1990 .

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

[11]  M. David Sadek,et al.  A Study in the Logic of Intention , 1992, KR.

[12]  Fausto Giunchiglia,et al.  Multilanguage hierarchical logics (or: how we can do without modal logics) , 1994, CNKBS.

[13]  Anand S. Rao,et al.  An Abstract Architecture for Rational Agents , 1992, KR.

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

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

[16]  Brian F. Chellas.  On bringing it about , 1995, J. Philos. Log..

[17]  Philippe Bretier.  La communication orale coopérative : contribution à la modélisation logique et à la mise en oeuvre d'un agent rationnel dialoguant , 1995 .

[18]  G. Fricchione.  Descartes’ Error: Emotion, Reason and the Human Brain , 1995 .

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

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

[21]  J. Elster.  Emotions and Economic Theory , 1998 .

[22]  Ming Xu,et al.  Axioms for Deliberative Stit , 1998, J. Philos. Log..

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

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

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

[26]  W. van der Hoek,et al.  Agent Programming with Declarative Goals , 2000, ATAL.

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

[28]  Moshe Y. Vardi.  Branching vs. Linear Time: Final Showdown , 2001, TACAS.

[29]  J. Horty.  Agency and Deontic Logic , 2001 .

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

[31]  Michael Wooldridge,et al.  Towards a Logic of Rational Agency , 2003, Log. J. IGPL.

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

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

[34]  Dominique Longin,et al.  C&L Intention Revisited , 2004, KR.

[35]  Rafael H. Bordini,et al.  Multi-Agent Programming: Languages, Platforms and Applications , 2005, Multi-Agent Programming.

[36]  Wojciech Jamroga,et al.  Towards a theory of intention revision , 2007, Synthese.

[37]  Koen V. Hindriks,et al.  Agent Logics as Program Logics: Grounding KARO , 2006, KI.

[38]  John-Jules Ch. Meyer,et al.  Reasoning about emotional agents , 2004, Int. J. Intell. Syst..

[39]  Abdul Sattar,et al.  A Modal Logic for Beliefs and Pro Attitudes , 2007, AAAI.

[40]  John-Jules Ch. Meyer,et al.  Our Quest for the Holy Grail of Agent Verification , 2007, TABLEAUX.

[41]  Mehdi Dastani,et al.  A Logic of Emotions for Intelligent Agents , 2007, AAAI.

[42]  Mehdi Dastani,et al.  A Logic of Agent Programs , 2007, AAAI.

[43]  Koen V. Hindriks,et al.  A verification framework for agent programming with declarative goals , 2007, J. Appl. Log..

[44]  Bernhard Beckert,et al.  Dynamic Logic , 2007, The KeY Approach.

[45]  C. Adam.  Emotions: from psychological theories to logical formalization and implementation in a BDI agent , 2007 .

[46]  Mehdi Dastani,et al.  A grounded specification language for agent programs , 2007, AAMAS '07.

[47]  Emiliano Lorini,et al.  Trust and Norms in the Context of Computer Security: A Logical Formalization , 2008, DEON.

[48]  Koen V. Hindriks,et al.  GOAL Agents Instantiate Intention Logic , 2008, JELIA.

[49]  Heinrich Wansing,et al.  From BDI and stit to bdi-stit logic , 2008 .

[50]  Mehdi Dastani,et al.  2APL: a practical agent programming language , 2008, Autonomous Agents and Multi-Agent Systems.

[51]  Andreas Herzig,et al.  ALTERNATIVE AXIOMATICS AND COMPLEXITY OF DELIBERATIVE STIT THEORIES , 2007, J. Philos. Log..

[52]  Koen V. Hindriks,et al.  GOAL Agents Instantiate Intention Logic , 2008, JELIA.

[53]  Jan M. Broersen,et al.  A Complete STIT Logic for Knowledge and Action, and Some of Its Applications , 2008, DALT.

[54]  Emiliano Lorini,et al.  A logic of intention and attempt , 2008, Synthese.

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

[56]  François Schwarzentruber,et al.  A Logic for Reasoning about Counterfactual Emotions , 2009, IJCAI.

[57]  Yoav Shoham,et al.  Logical Theories of Intention and the Database Perspective , 2009, J. Philos. Log..

[58]  Dominique Longin,et al.  A logical formalization of the OCC theory of emotions , 2009, Synthese.

[59]  Jürgen Dix,et al.  Multi-Agent Programming: Languages, Tools and Applications , 2009 .

[60]  Michael Wooldridge,et al.  An Introduction to MultiAgent Systems, Second Edition , 2009 .

[61]  Emiliano Lorini,et al.  A logic of trust and reputation , 2010, Log. J. IGPL.

[62]  Emiliano Lorini,et al.  Intention Change via Local Assignments , 2010, LADS.

[63]  Wojciech Penczek,et al.  Specification and Verification of Multi-Agent Systems , 2010, ESSLLI.

[64]  Emiliano Lorini,et al.  A Dynamic Logic of Knowledge, Graded Beliefs and Graded Goals and Its Application to Emotion Modelling , 2011, LORI.

[65]  Lluis Godo,et al.  A graded BDI agent model to represent and reason about preferences , 2011, Artif. Intell..

[66]  Jan M. Broersen,et al.  Deontic epistemic stit logic distinguishing modes of mens rea , 2011, J. Appl. Log..

[67]  Jan M. Broersen,et al.  Making a Start with the stit Logic Analysis of Intentional Action , 2011, J. Philos. Log..