A Paper Abstract by Benjamin Grosof


Default Reasoning As Circumscription (Oct. 1984)

by Benjamin N. Grosof

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-98
Up to Benjamin Grosof's Papers page
Up to Benjamin Grosof home page
[ IBM Research home page ]

[ IBM home page | Order | Search | Contact IBM | Help | (C) | (TM) ]