[Back]

A. Haret, S. Woltran:
"Deviation in Belief Change on Fragments of Propositional Logic";
Talk: 6th Workshop on Dynamics of Knowledge and Belief (DKB-2017) and 5th Workshop KI & Kognition (KIK-2017) on Formal and Cognitive Reasoning, Dortmund; 2017-09-26; in: "Proceedings of the 6th Workshop on Dynamics of Knowledge and Belief (DKB-2017) and the 5th Workshop KI & Kognition (KIK-2017)", C. Beierle, G. Kern-Isberner, M. Ragni, F. Stolzenburg (ed.); CEUR Workshop Proceedings, 1928 (2017), ISSN: 1613-0073; Paper ID 6, 13 pages.

It is known that prominent fragments of propositional logic are not closed under standard belief change operators. That is, applying such operators to knowledge bases in a fragment may produce results that have no equivalent in the same language. However, the potential range of such a deviation has not been investigated yet. In this paper, we give a systematic study of this problem by considering four prominent change operators (Dalal, Satoh, Winslett, and Forbus) and three important fragments (1CNF, Krom, and Horn). While all operators are shown to be closed under the 1CNF fragment, we observe that for the other two fragments the behavior of the operators significantly differs. We expect our considerations on deviation to play an important role in the design of change operators for concrete Knowledge Representation formalisms.

Project Head Johannes Peter Wallner:
EMBArg

Project Head Stefan Woltran:
Wissensadaption in Logik-Fragmenten