A Computationally Grounded Logic of Graded Belief - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

A Computationally Grounded Logic of Graded Belief

Résumé

We present a logic of graded beliefs with a formal semantics grounded on the notion of belief base. It has modal operators which represent what an agent would believe if she removed k pieces of information from her belief base. We provide a sound and complete axiomatics for our logic as well as an optimal model checking algorithm. To illustrate its expressive power, we apply it to modeling social influence and epistemic explanation.
Fichier principal
Vignette du fichier
jelia2021BelieBases.pdf (353.67 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03453909 , version 1 (30-11-2021)

Identifiants

Citer

Emiliano Lorini, François Schwarzentruber. A Computationally Grounded Logic of Graded Belief. 17th European Conference on Logics in Artificial Intelligence (JELIA 2021), May 2021, virtual event, France. pp.245-261, ⟨10.1007/978-3-030-75775-5_17⟩. ⟨hal-03453909⟩
97 Consultations
88 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More