Abstract
In this paper we describe the most important approaches to formalize nonmonotonic reasoning, in particular default reasoning: autoepistemic logic, default logic, circumscription, Delgrandes's conditional approach, and an approach based on preferred subtheories of the premises. Also the problem of mechanising these formalizations is discussed and some solutions developed so far are described.
Get full access to this article
View all access options for this article.