Logical Foundations of Artificial Intelligence

We call A the database or base set of beliefs of the system. Consider, for example, the following sentence about birds: "All In this chapter, we explore three methods. These methods have several potential applications. We define the effects of the CWA in terms of customary logical notation. We call our belief set, A, the proper axioms of a theory. T[A] by adding a set, Aasm, of assumed beliefs. CWA adds'IQ (B), since A does not logically entail U(B). The CWA often is used with database systems. The following example shows that it does not. Let A contain only the clause P(A) V P(B) . THEOREM 6.1 CWA[A] is consistent if and only if, for every positive-- Proof CWA[A] can be inconsistent only if A U A,"m is.