Levels of modality for BDI Logic

The use of rational agents for modelling real world problems has both been heavily investigated and become well accepted, with BDI (Beliefs, Desires, and Intentions) Logic being a widely used architecture to represent and reason about rational agency. However, in the real world, we often have to deal with different levels of confidence in the beliefs we hold, desires we have, and intentions that we commit to. This paper extends our previous framework that integrated qualitative levels of beliefs, desires, and intentions into BDI Logic. We describe an expanded set of axioms and properties of the extended logic. We present a modular structure for the semantics which involves a non-normal Kripke type semantics that may be used for other agent systems. Further, we demonstrate the usefulness of our framework with a scheduling task example.

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

[2]  Wiebe van der Hoek.  On the Semantics of Graded Modalities , 1992, J. Appl. Non Class. Logics.

[3]  Brian F. Chellas.  Modal Logic: Normal systems of modal logic , 1980 .

[4]  Donald Nute,et al.  Defeasible Logic , 1994, INAP.

[5]  L. Burton.  Intention , 2011 .

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

[7]  Carles Sierra,et al.  Multi-context specification for Graded BDI-Agents , 2005 .

[8]  Michael Wooldridge,et al.  Computationally grounded theories of agency , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[9]  Michael J. Maher,et al.  Representation results for defeasible logic , 2000, TOCL.

[10]  Alessio Lomuscio,et al.  A logic for ignorance , 2003, DALT.

[11]  David Billington,et al.  Defeasible Logic is Stable , 1993, J. Log. Comput..

[12]  A. S. Roa,et al.  AgentSpeak(L): BDI agents speak out in a logical computable language , 1996 .

[13]  Rafael H. Bordini,et al.  Jason and the Golden Fleece of Agent-Oriented Programming , 2005, Multi-Agent Programming.

[14]  Paolo Busetta,et al.  Jack intelligent agents - components for intelligent agents in java , 1998 .

[15]  J. Armstrong.  Knowledge and Belief , 1953 .

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

[17]  Michael E. Bratman,et al.  Intention, Plans, and Practical Reason , 1991 .

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

[19]  Guido Governatori,et al.  Levels of Modalities for BDI Logic , 2008, 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology.

[20]  Jaakko Hintikka,et al.  Knowledge and Belief: An Introduction to the Logic of the Two Notions. , 1965 .

[21]  Michael Wooldridge,et al.  A Computationally Grounded Logic of Visibility, Perception, and Knowledge , 2001, Log. J. IGPL.