A graded BDI agent model to represent and reason about preferences

In this research note, we introduce a graded BDI agent development framework, g-BDI for short, that allows to build agents as multi-context systems that reason about three fundamental and graded mental attitudes (i.e. beliefs, desires and intentions). We propose a sound and complete logical framework for them and some logical extensions to accommodate slightly different views on desires.

[1]  Lluis Godo,et al.  A Logical Framework to Represent and Reason about Graded Preferences and Intentions , 2008, KR.

[2]  Iyad Rahwan,et al.  An Argumentation-Based Approach for Practical Reasoning , 2006, ArgMAS.

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

[4]  Joseph Y. Halpern.  Reasoning about uncertainty , 2003 .

[5]  Henri Prade,et al.  Formalizing Practical Reasoning Under Uncertainty: An Argumentation-Based Approach , 2007, 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'07).

[6]  Lluis Godo,et al.  A language for the execution of graded BDI agents , 2013, Log. J. IGPL.

[7]  Leon van der Torre,et al.  Utilitarian Desires , 2002, Autonomous Agents and Multi-Agent Systems.

[8]  Jack Minker,et al.  Logic-Based Artificial Intelligence , 2000 .

[9]  Michel Occello,et al.  A Self-Organization Process for Communication Management in Embedded Multiagent Systems , 2007, 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'07).

[10]  Angus Macintyre,et al.  Trends in Logic , 2001 .

[11]  Célia da Costa Pereira,et al.  Goal Generation from Possibilistic Beliefs Based on Trust and Distrust , 2009, DALT.

[12]  Abdul Sattar,et al.  Reasoning with Levels of Modalities in BDI Logic , 2007, PRIMA.

[13]  Lluis Godo,et al.  Graded BDI Models for Agent Architectures , 2004, CLIMA.

[14]  Michael Wooldridge,et al.  The Belief-Desire-Intention Model of Agency , 1998, ATAL.

[15]  Lluis Godo,et al.  A Tourism Recommender Agent: from theory to practice , 2008, Inteligencia Artif..

[16]  Nicholas R. Jennings,et al.  Agents That Reason and Negotiate by Arguing , 1998, J. Log. Comput..

[17]  P. Giorgini,et al.  An approach to using degrees of belief in BDI agents , 2000 .

[18]  Lluis Godo,et al.  Validation and Experimentation of a Tourism Recommender Agent based on a Graded BDI Model , 2008, CCIA.

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

[20]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

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

[22]  Craig Boutilier,et al.  Toward a Logic for Qualitative Decision Theory , 1994, KR.

[23]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[24]  Didier Dubois,et al.  Bipolar possibility theory in preference modeling: Representation, fusion and optimal solutions , 2006, Inf. Fusion.

[25]  Didier Dubois,et al.  Towards a Possibilistic Logic Handling of Preferences , 1999, Applied Intelligence.

[26]  Michael Wooldridge,et al.  Reasoning about Intentions in Uncertain Domains , 2001, ECSQARU.

[27]  Célia da Costa Pereira,et al.  Belief-Goal Relationships in Possibilistic Goal Generation , 2010, ECAI.