Stratified evidence logics - Archive ouverte HAL
Communication Dans Un Congrès Année : 2019

Stratified evidence logics

Résumé

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 (i.e., pieces of evidence) 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.
Fichier principal
Vignette du fichier
StratifiedEvidence.pdf (281.99 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02411254 , version 1 (14-12-2019)

Identifiants

Citer

Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Emiliano Lorini. Stratified evidence logics. 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), Aug 2019, Macao, China. pp.1523-1529, ⟨10.24963/ijcai.2019/211⟩. ⟨hal-02411254⟩
106 Consultations
93 Téléchargements

Altmetric

Partager

More