Open AccessBelief change and 3-valued logics: Characterization of 19,683 belief change operators
Author(s) -
Nerio Borges,
Ramón Pino Pérez
Publication year - 2020
Publication title -
journal of artificial intelligence research
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.79
H-Index - 123
eISSN - 1943-5037
pISSN - 1076-9757
DOI - 10.1613/jair.1.12091
Subject(s) - operator (biology) , generalization , representation (politics) , epistemic modal logic , characterization (materials science) , ranking (information retrieval) , computer science , belief revision , multimodal logic , mathematics , modalities , theoretical computer science , algebra over a field , artificial intelligence , description logic , pure mathematics , sociology , social science , materials science , repressor , law , mathematical analysis , chemistry , biochemistry , political science , transcription factor , politics , gene , nanotechnology
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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom