OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Deciding Refinement Relation in Belief-Intention Databases

Xiao, Zhanhao and Herzig, Andreas and Perrussel, Laurent and Zhang, Dongmo Deciding Refinement Relation in Belief-Intention Databases. (2017) In: International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), 14 November 2017 - 17 November 2017 (Bari, Italy).

(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/978-3-319-70169-1_14


Bratman’s Belief-Desire-Intention (BDI) theory is seminal in the literature on BDI agents. His BDI theory is taken into account to extend Shoham’s database perspective on beliefs and intentions. In the extended framework, an intentions is considered as a high-level action, which cannot be executed directly, with a duration. They have to be progressively refined until executable basic actions are obtained. Higher- and lower-level actions are linked by the means-end relation, alias instrumentality relation. In this paper, we investigate the complexity of the decision problems for satisfiability, consequence, refinement and instrumentality in the database. Moreover, we translate these problems into the satisfiability and validity problems in propositional linear temporal logic (\(\mathsf {PLTL}\)). With such translations, we can utilize the efficient automated theorem provers for \(\mathsf {PLTL}\) to solve the problem of deciding the refinement relation between an intention and an intention set, as well as the instrumentality relation.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in volume 10640 of Lecture Notes in Computer Science ISSN : 0302-9743 ISBN: 978-3-319-70168-4 The original PDF is available at: https://link.springer.com/chapter/10.1007/978-3-319-70169-1_14
HAL Id:hal-02603831
Audience (conference):International conference proceedings
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:
CSC : Chinese Scholarship Council (Chine) - ANR : Agence nationale de la recherche (France)
Deposited On:29 Apr 2020 14:11

Repository Staff Only: item control page