Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Artosi, A., Benassi, P., Governatori, G., Rotolo, A.: Shakespearian modal logic: A labelled treatment of modal identity. In: Advances in Modal Logic, vol. 1, CSLI (1998)
Artosi, A., Governatori, G., Rotolo, A.: Labelled tableaux for non-monotonic reasoning: Cumulative consequence relations. Journal of Logic and Computation 12(6), 1027–1060 (2002)
Baldoni, M.: Normal Multimodal Logics: Automatic Deduction and Logic Programming Extension. PhD thesis, Universita degli Studi di, Italy (1998)
Blackburn, P., Rijke, M.: Zooming in, zooming out. Journal of Logic, Language and Information (1996)
d’ Avila Garcez, A.S., Gabbay, D.M.: Fibring neural networks. In: American National Conference on Artificial Intelligence (AAAI 2004), pp. 342–347. AAAI/MIT Press (2004)
Fitting, M.: Proof Methods for Modal and Intuitionistic Logics. Reidel, Dordrecht (1983)
Gabbay, D.M.: Fibring Logics. Oxford University Press, Oxford (1999)
Dov Gabbay, M., Governatori, G.: Fibred modal tableaux. Kluwer Publishers, Dordrecht (2000)
Governatori, G.: Labelled tableau for multi-modal logics. In: Baumgartner, P., Posegga, J., Hähnle, R. (eds.) TABLEAUX 1995. LNCS, vol. 918, pp. 79–94. Springer, Heidelberg (1995)
Governatori, G., Luppi, A.: Labelled tableaux for non-normal modal logics. In: Lamma, E., Mello, P. (eds.) AI*IA 1999. LNCS (LNAI), vol. 1792, pp. 119–130. Springer, Heidelberg (2000)
Governatori, G., Padmanabhan, V., Sattar, A.: On Fibring Semantics for BDI Logics. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, Springer, Heidelberg (2002)
Kracht, M., Wolter, F.: Properties of independently axiomatizable bimodal logics. The Journal of Symbolic Logic 56(4), 1469–1485 (1991)
Padmanabhan, V.: On Extending BDI Logics. PhD thesis, School of Information Technology, Griffith University, Brisbane, Australia (2003)
Padmanabhan, V., Governatori, G.: A fibred tableaux calculi for BDI logics. In: The proceedings of DALT 2006 (Declarative Agent Languages & Technologies) ((to be published, 2006)
Rao, A.S., Georgeff, M.P.: Formal models and decision procedures for multi-agent systems. Technical note 61, Australian Artificial Intelligence Institute (1995)
Sernadas, A., Sernadas, C., Ryan, M.: Combining logics: Synchronising and fibring. Technical report, Department of Mathematics, Instituto superior Tecnico, Lisbon, Portugal (1996)
Wolter, F.: The decision problem for combined (modal) logics. Technical report, Universitat Leipzig, Germany, September 9 (1999), http://www.informatik.uni-leipzig.de/~wolter/
Zanardo, A., Sernadas, A., Sernadas, C.: Fibring: Completeness preservation. Journal of Symbolic Logic 66(1), 414–439 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Padmanabhan, V., Governatori, G. (2006). On Constructing Fibred Tableaux for BDI Logics. In: Yang, Q., Webb, G. (eds) PRICAI 2006: Trends in Artificial Intelligence. PRICAI 2006. Lecture Notes in Computer Science(), vol 4099. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-36668-3_18
Download citation
DOI: https://doi.org/10.1007/978-3-540-36668-3_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-36667-6
Online ISBN: 978-3-540-36668-3
eBook Packages: Computer ScienceComputer Science (R0)