论文信息 - On Constructing Fibred Tableaux for BDI Logics

On Constructing Fibred Tableaux for BDI Logics

In [11,13] we showed how to combine propositional BDI logics using Gabbay’s fibring methodology. In this paper we extend the above mentioned works by providing a tableau-based decision procedure for the combined/fibred logics. We show how to uniformly construct a tableau calculus for the combined logic using Governatori’s labelled tableau system KEM.

Guido Governatori | Vineet Padmanabhan

[1] Dov M. Gabbay,et al. Fibred modal tableaux , 2000 .

[2] Vineet Chand Padmanabhan Nair. On Extending BDI Logics , 2003 .

[3] M. Fitting. Proof Methods for Modal and Intuitionistic Logics , 1983 .

[4] Guido Governatori,et al. Shakespearian Modal Logic: A Labelled Treatment of Modal Identity , 1996, Advances in Modal Logic.

[5] Guido Governatori,et al. Labelled Tableaux for Non-normal Modal Logics , 1999, AI*IA.

[6] Guido Governatori,et al. On Fibring Semantics for BDI Logics , 2002, JELIA.

[7] M. Georgeff,et al. Formal Models and Decision Procedures for Multi-Agent Systems , 1995 .

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

[9] Cristina Sernadas,et al. Fibring: completeness preservation , 2001, Journal of Symbolic Logic.

[10] Guido Governatori. Labelled Tableaux for Multi-Modal Logics , 1995, TABLEAUX.

[11] M. Baldoni. Normal Multimodal Logics: Automatic Deduction and Logic Programming Extension , 1998 .

[12] M. de Rijke,et al. Zooming In, Zooming Out , 1997, J. Log. Lang. Inf..

[13] Guido Governatori,et al. Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations , 2002, J. Log. Comput..

[14] Dov M. Gabbay,et al. Fibring Neural Networks , 2004, AAAI.