A generalization of collapsible cases of circumscription
Arkady Rabinov · Artificial Intelligence · 1989
Circumscription is a second-order formula expressing the minimality of the extension of a particular predicate or set of predicates. It was fashioned to capture the concept of nonmonotonic logic of human beings. In some instances circumscription is equivalent to a first-order formula. We show that the known cases are special instances of a more general case.