A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Belief change and 3-valued logics: Characterization of 19,683 belief change operators
2020
The Journal of Artificial Intelligence Research
In this work we introduce a 3-valued logic with modalities, with the aim of having a clear and precise representation of epistemic states, thus the formulas of this logic will be our epistemic states. Indeed, these formulas are identified with ranking functions of 3 values, a generalization of total preorders of three levels. In this framework we analyze some types of changes of these epistemic structures and give syntactical characterizations of them in the introduced logic. In particular, we
doi:10.1613/jair.1.12091
fatcat:jwdkoafxzjeqjh3ffh3df7yjiy