Abstract:
This paper discusses how to map defaults cf. Reiter's Default Logic to
circumscription, and vice versa. In addition, it gives some technical
results about circumscription, relating maximizing a formula to
minimizing an abnormality predicate. The key relationship is that a
normal default without prerequisite in Default Logic is very similar
to maximizing a formula (or minimizing its corresponding abnormality
predicate) in circumscription.
Last update: 1-8-98Up to Benjamin Grosof's Papers page Up to Benjamin Grosof home page
[ IBM Research home page ]
