Skip to Main content Skip to Navigation
Conference papers

A Computationally Grounded Logic of Graded Belief

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03453909
Contributor : Emiliano Lorini Connect in order to contact the contributor
Submitted on : Tuesday, November 30, 2021 - 10:29:24 AM
Last modification on : Tuesday, January 4, 2022 - 5:52:26 AM

File

jelia2021BelieBases.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Les métriques sont temporairement indisponibles