Semantic considerations on rejection.
Ján Šefránek · Non-Monotonic Reasoning · 2004
Rejection of some beliefs when a more faithful information is acquired belongs among fundamental features of human (nonmonotonic) reasoning. However, this feature has been noticed usually more as a side effect than as a subject of value for a theoretical investigation. Recently rejections of rules attracted an attention of researchers in logic program updates. An important insight has been obtained thanks to dynamic logic programming paradigm: set of models is not a sufficient conceptual basis for a semantic characterization of logic program updates. The main idea can be characterized by the causal rejection principle: if there is a conflict between rules, then more preferred rules override those