View Related Documents

Abstract

This paper introduces a generalization of weak model-theoretic forcing of [Rob71] and [Kei73]. This generalized forcing preserves classic properties of weak model-theoretic forcing, e.g. Generic Set Theorem (Thm. 3.23), Generic Model Theorem (Thm. 3.24, Thm. 4.8), and Henrard's Theorem (Thm. 5.8). It is applied in this paper to investigate a deductive model for updating a deductive data base with incomplete information, whose possible variations are restricted to certain finite sets of atomic or negated atomic first-order sentences. Moreover, the paper introduces the notion of pragmatic truth pertinent to those models, and characterizes it in terms of generalized forcing (Thm. 5.11).
In conclusion, the paper offers (Thm. 8.4) two semantic and two syntactic characterizations of the ∀-fragment of minimal entailment.

Key words  closed world assumption - deductive data bases - machine reasoning - minimal entailment - model theory of non-monotonic logics - model-theoretic forcing - non-standard negation - pragmatic truth - theory of update

AMS classification  03C25 - 03C40 - 03C52 - 68G99

Fulltext Preview

Image of the first page of the fulltext document