OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

BDI logics for BDI architectures: old problems, new perspectives

Herzig, Andreas and Lorini, Emiliano and Perrussel, Laurent and Xiao, Zhanhao BDI logics for BDI architectures: old problems, new perspectives. (2017) KI - Künstliche Intelligenz, 31 (1). 73-83. ISSN 0933-1875

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: https://doi.org/10.1007/s13218-016-0457-5


The mental attitudes of belief, desire, and intention play a central role in the design and implementation of autonomous agents. In 1987 Bratman proposed their integration into a belief-desire-intention (BDI) theory that was seminal in AI. Since then numerous approaches were built on the BDI paradigm, both practical (BDI architectures and BDI agents) and formal (BDI logics). The logical approaches that were most influential are due to Cohen&Levesque and to Rao&Georgeff. However, three fundamental problems remain up to now. First, the practical and the formal approaches evolved separately and neither fertilized the other. Second, only few formal approaches addressed some important issues such as the revision of intentions or the fundamentally paraconsistent nature of desires, and it seems fair to say that there is currently no consensual logical account of intentions. Finally, only few publications study the interaction between intention and other concepts that are naturally connected to intention, such as actions, planning, and the revision of beliefs and intentions. Our paper summarizes the state of the art, discusses the main open problems, and sketches how they can be addressed. We argue in particular that research on intention should be better connected to fields such as reasoning about actions, automated planning, and belief revision and update.

Item Type:Article
Additional Information:Thanks to Springer editor. The original PDF can be found at KI-Künstliche Intelligenz (ISSN 0933-1875) website : https://link.springer.com/article/10.1007/s13218-016-0457-5
HAL Id:hal-01692711
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > University of Western Sydney - UWS (AUSTRALIA)
Laboratory name:
Deposited On:16 Jan 2018 10:48

Repository Staff Only: item control page