Negation as failure: A comparison of Clark’s completed data base and Reiter’s closed world assumption. (English) Zbl 0575.68094

It is known (Clark 78) that the ”negation as failure” rule can be regarded as making deductions from the ”iff-completed” data base. This paper proves the same with respect to the ”closed world assumption” (Reiter 78). Their compatibility and equivalence are shown in case of definite Horn databases.
Reviewer: E.Knuth


68P20 Information storage and retrieval of data
Full Text: DOI