×

Compromise update and revision: A position paper. (English) Zbl 0931.03030

Pareschi, Remo (ed.) et al., Dynamic worlds. From the frame problem to knowledge management. Dordrecht: Kluwer Academic Publishers. Appl. Log. Ser. 12, 111-148 (1999).
In the AGM tradition, when a belief set \(K\) is revised by a proposition \(x\) that is internally consistent but incompatible with \(K\), part of \(K\) is abandoned to avoid inconsistency. For non-prioritised revision, the input proposition \(x\) may instead sometimes be rejected. The author suggests another approach, for contexts where \(K\) is understood to be an explicitly given set of propositions, not in general closed under consequence, i.e. a belief base rather than a closed belief set. The proposal is to accept both \(K\) and \(x\), tolerating the inconsistency, but using some control mechanism to discriminate among the set of consequences. The control mechanisms suggested are proof-theoretic in nature, i.e. they act by restricting steps in derivations, and the author favours expressing them in terms of his ‘labeled deductive systems’.
For the entire collection see [Zbl 0913.00018].

MSC:

03B42 Logics of knowledge and belief (including belief change)
68T30 Knowledge representation
68T27 Logic in artificial intelligence
PDFBibTeX XMLCite