Belief Change and 3-Valued Logics: Characterization of 19, 683 Belief Change Operators
Abstract
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 introduce and study carefully a new operator called Cautious Improvement operator. We also characterize all operators that are definable in this framework.
Cite
Text
Borges and Pérez. "Belief Change and 3-Valued Logics: Characterization of 19, 683 Belief Change Operators." Journal of Artificial Intelligence Research, 2020. doi:10.1613/JAIR.1.12091Markdown
[Borges and Pérez. "Belief Change and 3-Valued Logics: Characterization of 19, 683 Belief Change Operators." Journal of Artificial Intelligence Research, 2020.](https://mlanthology.org/jair/2020/borges2020jair-belief/) doi:10.1613/JAIR.1.12091BibTeX
@article{borges2020jair-belief,
title = {{Belief Change and 3-Valued Logics: Characterization of 19, 683 Belief Change Operators}},
author = {Borges, Nerio and Pérez, Ramón Pino},
journal = {Journal of Artificial Intelligence Research},
year = {2020},
pages = {657-685},
doi = {10.1613/JAIR.1.12091},
volume = {69},
url = {https://mlanthology.org/jair/2020/borges2020jair-belief/}
}