Location of Repository

A Fibred Tableau Calculus for BDI Logics

By Vineet Padmanabhan and Guido Governatori


In [12,16] we showed how to combine propositional BDI logics using Gabbay\u27s fibring methodology. In this paper we extend the above mentioned works by providing a tableau-based decision procedure for the combined/fibred logics. To achieve this end we first outline with an example two types of tableau systems, (graph and path), and discuss why both are inadequate in the case of fibring. Having done that we show how to uniformly construct a tableau calculus for the combined logic using Governatori\u27s labelled tableau system KEM

Topics: modal and epistemic logics for agent modelling, modal tableaux, modal logic, fibred semantics, labelled tableaux, BDI agents, 280111 Conceptual Modelling, 280209 Intelligent Robotics, 280402 Mathematical Logic and Formal Languages, 280403 Logics and Meanings of Programs
Year: 2006
OAI identifier: oai:espace.library.uq.edu.au:UQ:8554

Suggested articles


To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.