BDI Logics
Files
Publication date
2015
Authors
Meyer, J-J.Ch.
Broersen, J.M.
Herzig, A.
Editors
van Ditmarsch, H.
Halpern, J.Y.
van der Hoek, W.
Kooi, B.
Advisors
Supervisors
DOI
Document Type
Part of book
Metadata
Show full item recordCollections
License
Abstract
This paper presents an overview of so-called BDI logics, logics where the notion of Beliefs, Desires and Intentions play a central role. Starting out from the basic ideas about BDI by Bratman, we consider various formalizations in logic, such as the approach of Cohen and Levesque, slightly remodelled in dynamic logic, Rao & Georgeff’s influential BDI logic based on the branching-time temporal logic CTL⇤, the KARO framework and BDI logic based on STIT (seeing to it that) logics.
Keywords
Citation
Meyer, J J C, Broersen, J M & Herzig, A 2015, BDI Logics. in H van Ditmarsch, J Y Halpern, W van der Hoek & B Kooi (eds), Handbook of Logics of Knowledge and Belief . College Publications, pp. 453-498.