Levels of Modalities for BDI Logic

The use of rational agents for modelling real world problems has both been heavily investigated and become well accepted, with BDI 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 our beliefs, desires, and intentions. This paper extends our previous framework that integrated qualitative levels into BDI logic. We describe an expanded set of axioms and properties of the extended logic and also define a detailed non-normal Kripke type semantics.

[1]  J. Hintikka.  Knowledge and belief , 1962 .

[2]  Joachim von Puttkamer.  Editors , 2018, Journal of Modern European History.

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

[4]  Alessio Lomuscio,et al.  A Logic For Ignorance , 2004, LCMAS.

[5]  Michael Luck,et al.  Agent technology, Computing as Interaction: A Roadmap for Agent Based Computing , 2005 .

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

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

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

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

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

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

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

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

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

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

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

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

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