On Fibring Semantics for BDI Logics

Authors:
Guido Governatori;Vineet Padmanabhan;Abdul Sattar
Affiliations:
-;-;-
Venue:
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Year:
2002

Citing 7
Cited 4

Intention is choice with commitment

Artificial Intelligence
Properties of independently axiomatizable bimodal logics

Journal of Symbolic Logic
Agent-oriented programming

Artificial Intelligence
Actions Made Explicit in BDI

AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Agent Capabilities: Extending BDI Theory

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Fusions of description logics and abstract description systems

Journal of Artificial Intelligence Research
Decision-making in an embedded reasoning system

IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2

Modal tableaux for verifying stream authentication protocols

Autonomous Agents and Multi-Agent Systems
On constructing fibred tableaux for BDI logics

PRICAI'06 Proceedings of the 9th Pacific Rim international conference on Artificial intelligence
A fibred tableau calculus for modal logics of agents

DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Fibred BDI logics: completeness preservation in the presence of interaction axioms

MIWAI'11 Proceedings of the 5th international conference on Multi-Disciplinary Trends in Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.