BDI Logics

J.J.Ch. Meyer; J.M. Broersen; A. Herzig

BDI Logics

J.J.Ch. Meyer, J.M. Broersen, A. Herzig

OFR - Theoretical Philosophy

extern

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

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.

Original language	English
Title of host publication	Handbook of Logics of Knowledge and Belief
Editors	H. van Ditmarsch, J.Y. Halpern, W. van der Hoek, B. Kooi
Publisher	College Publications
Pages	453-498
Number of pages	46
Publication status	Published - 2015

Bibliographical note

Chapter 10 of the Handbook of Logics of Knowledge and Belief

Access to Document

bdiFinal published version, 1.47 MB

Cite this

@inbook{6a835d10e8604585a1217e729d141c66,

title = "BDI Logics",

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{\textquoteright}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.",

author = "J.J.Ch. Meyer and J.M. Broersen and A. Herzig",

note = "Chapter 10 of the Handbook of Logics of Knowledge and Belief ",

year = "2015",

language = "English",

pages = "453--498",

editor = "\{van Ditmarsch\}, H. and J.Y. Halpern and \{van der Hoek\}, W. and B. Kooi",

booktitle = "Handbook of Logics of Knowledge and Belief",

publisher = "College Publications",

address = "United Kingdom",

}

TY - CHAP

T1 - BDI Logics

AU - Meyer, J.J.Ch.

AU - Broersen, J.M.

AU - Herzig, A.

N1 - Chapter 10 of the Handbook of Logics of Knowledge and Belief

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

M3 - Chapter

SP - 453

EP - 498

BT - Handbook of Logics of Knowledge and Belief

A2 - van Ditmarsch, H.

A2 - Halpern, J.Y.

A2 - van der Hoek, W.

A2 - Kooi, B.

PB - College Publications

ER -

BDI Logics

Abstract

Bibliographical note

Access to Document

Fingerprint

Cite this