On Fibring Semantics for BDI Logics

This study examines BDI logics in the context of Gabbay's fibring semantics. We show that dovetailing (a special form of fibring) can be adopted as a semantic methodology to combine BDI logics. We develop a set of interaction axioms that can capture static as well as dynamic aspects of the mental states in BDI systems, using Catach's incestual schema Ga,b,c,d. Further we exemplify the constraints required on fibring function to capture the semantics of interactions among modalities. The advantages of having a fibred approach is discussed in the final section.

[1]  Jörg P. Müller,et al.  A Pragmatic BDI Architecture , 1997, ATAL.

[2]  Marcus Kracht,et al.  Properties of independently axiomatizable bimodal logics , 1991, Journal of Symbolic Logic.

[3]  Guido Governatori,et al.  Actions Made Explicit in BDI , 2001, Australian Joint Conference on Artificial Intelligence.

[4]  E. J. Lemmon,et al.  Algebraic semantics for modal logics I , 1966, Journal of Symbolic Logic (JSL).

[5]  Michael P. Georgeff,et al.  Decision-Making in an Embedded Reasoning System , 1989, IJCAI.

[6]  Chengqi Zhang,et al.  Propagating temporal relations of intervals by matrix , 2002, Appl. Artif. Intell..

[7]  Dov M. Gabbay,et al.  Dealing with label dependent deontic modalities , 1998 .

[8]  Munindar P. Singh.  Semantical considerations on intention dynamics for BDI agents , 1998, J. Exp. Theor. Artif. Intell..

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

[10]  Frank Wolter,et al.  Fusions of Modal Logics Revisited , 1996, Advances in Modal Logic.

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

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

[13]  David J. Israel,et al.  Plans and resource‐bounded practical reasoning , 1988, Comput. Intell..

[14]  Paul Spenley.  Tools and techniques for TQM , 1992 .

[15]  Anand S. Rao,et al.  Decision Procedures for Propositional Linear-Time Belief-Desire-Intention Logics , 1995, ATAL.

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

[17]  Lin Padgham,et al.  Agent Capabilities: Extending BDI Theory , 2000, AAAI/IAAI.

[18]  Laurent Catach.  Normal Multimodal Logics , 1988, AAAI.

[19]  M. Kracht.  Tools and Techniques in Modal Logic , 1999 .

[20]  Franz Baader,et al.  Fusions of Description Logics and Abstract Description Systems , 2011, J. Artif. Intell. Res..