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. © 2002 Springer-Verlag.
CITATION STYLE
Governatori, G., Padmanabhan, V., & Sattar, A. (2002). On fibring semantics for BDI logics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2424 LNAI, pp. 198–210). Springer Verlag. https://doi.org/10.1007/3-540-45757-7_17
Mendeley helps you to discover research relevant for your work.