OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Stratified evidence logics

Balbiani, Philippe and Fernandez Duque, David and Herzig, Andreas and Lorini, Emiliano Stratified evidence logics. (2019) In: 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), 10 August 2019 - 16 August 2019 (Macao, China).

[img] (Document in English)

PDF (Auyhor's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
161kB

Official URL: https://dl.acm.org/citation.cfm?id=3367250

Abstract

Evidence logics model agents' belief revision process as they incorporate and aggregate information obtained from multiple sources. This information is captured using neighbourhood structures where individual neighbourhoods represent pieces of evidence. Nevertheless, these formalisms represent evidence aggregation qualitatively and do not allow one to quantify the amount of resources required to reach a specific belief. In this paper we propose an extended framework which allows such information to be recorded, provide a complete deductive calculus and a proof of decidability, and show how existing frameworks can be embedded into ours.

Item Type:Conference or Workshop Item (Paper)
Additional Information:ISBN: 978-0-9992411-4-1
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 > Universiteit Gent - UGENT (BELGIUM)
Laboratory name:
Statistics:download
Deposited On:21 Nov 2019 08:48

Repository Staff Only: item control page