A Fibred Tableau Calculus for BDI Logics

Padmanabhan, Vineet and Governatori, Guido (2006). A Fibred Tableau Calculus for BDI Logics. In: Baldoni, Matteo and Endriss, Ulle, Declarative Agent Languages and Technologies (Dalt 2006), Hakodate, Hokkaido, Japan, (). 8 May, 2006.

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
dalt06.pdf dalt06.pdf application/pdf 160.92KB 0
Author Padmanabhan, Vineet
Governatori, Guido
Title of paper A Fibred Tableau Calculus for BDI Logics
Conference name Declarative Agent Languages and Technologies (Dalt 2006)
Conference location Hakodate, Hokkaido, Japan
Conference dates 8 May, 2006
Publication Year 2006
Sub-type Fully published paper
Editor Baldoni, Matteo
Endriss, Ulle
Abstract/Summary In [12,16] 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. 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's labelled tableau system KEM.
Subjects 280403 Logics and Meanings of Programs
280209 Intelligent Robotics
280111 Conceptual Modelling
280402 Mathematical Logic and Formal Languages
Keyword modal and epistemic logics for agent modelling
modal tableaux
modal logic
fibred semantics
labelled tableaux
BDI agents
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status Unknown

Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Created: Mon, 20 Mar 2006, 10:00:00 EST by Guido Governatori on behalf of School of Information Technol and Elec Engineering