eprintid: 28552 rev_number: 11 eprint_status: archive userid: 19147 dir: disk0/00/02/85/52 datestamp: 2019-03-25 13:38:42 lastmod: 2021-04-02 15:58:54 status_changed: 2019-03-25 13:38:42 type: article metadata_visibility: show creators_name: Herzig, Andreas creators_name: Lorini, Emiliano creators_name: Perrussel, Laurent creators_name: Xiao, Zhanhao creators_idrefppn: 074664794 creators_idrefppn: 176187855 creators_idrefppn: 136867898 creators_idrefppn: 22344085X title: BDI logics for BDI architectures: old problems, new perspectives ispublished: pub subjects: subjects_INFO abstract: 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. date: 2017 date_type: published publisher: Springer faculty: info divisions: IRIT keywords: Belief - Desire - Intention - Goal - BDI logic - BDI architecture language: en has_fulltext: TRUE view_date_year: 2017 full_text_status: public publication: KI - Künstliche Intelligenz volume: 31 number: 1 pagerange: 73-83 refereed: TRUE issn: 0933-1875 harvester_local_overwrite: eprintid harvester_local_overwrite: userid harvester_local_overwrite: date harvester_local_overwrite: official_url harvester_local_overwrite: issn harvester_local_overwrite: dir harvester_local_overwrite: keywords harvester_local_overwrite: pagerange harvester_local_overwrite: publisher harvester_local_overwrite: volume harvester_local_overwrite: creators_name harvester_local_overwrite: faculty harvester_local_overwrite: site harvester_local_overwrite: abstract harvester_local_overwrite: title harvester_local_overwrite: publication harvester_local_overwrite: type harvester_local_overwrite: number harvester_local_overwrite: note harvester_local_overwrite: ispublished harvester_local_overwrite: id_number harvester_local_overwrite: event_title harvester_local_overwrite: pres_type harvester_local_overwrite: event_location harvester_local_overwrite: divisions harvester_local_overwrite: subjects harvester_local_overwrite: date_type harvester_local_overwrite: language harvester_local_overwrite: refereed harvester_local_overwrite: creators_idrefppn site: ut1 citation: Herzig, Andreas , Lorini, Emiliano , Perrussel, Laurent and Xiao, Zhanhao (2017) BDI logics for BDI architectures: old problems, new perspectives. KI - Künstliche Intelligenz, 31 (1). pp. 73-83. document_url: https://publications.ut-capitole.fr/id/eprint/28552/1/assistant_12770865_3284574590_0.pdf