BDI logics

John-Jules Meyer (1) , Jan Broersen (1) , Andreas Herzig (2, 3)

1 Universiteit Utrecht / Utrecht University [Utrecht]
2 IRIT-LILaC - Logique, Interaction, Langue et Calcul
3 CNRS - Centre National de la Recherche Scientifique

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\textasteriskcentered, the KARO framework and BDI logic based on STIT (seeing to it that) logics.

Mots clés: epistemic logic; logic of intention; BDI logic

Domaines: Base de données [cs.DB]; Logique en informatique [cs.LO]

John-Jules Meyer, Jan Broersen, Andreas Herzig. BDI logics. van Ditmarsch, Hans; Halpern, Joseph Y; van der Hoek, Wiebe; Kooi, Barteld. Handbook of Logics for Knowledge and Belief, Chapter10, College Publications, pp.453-493, 2015, 978-1-84890-158-2. ⟨hal-03190191⟩