Expansion and contraction of finite states (Q1826938)

The author proposes a framework for dealing with inconsistent information. The starting point is a four-valued propositional logic of first degree entailment. A valuation is understood as a set of literals. An agent's information is represented by a finite state, i.e., a non-empty, finite set of finite, possibly inconsistent and partial valuations which are non-comparable in the sense of \(\subset\). The change operations, defined in the paper and characterized along the lines of the AGM theory, are expansion and contraction of a finite state by a formula.