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.
Domaines
Logique en informatique [cs.LO]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...