Logical properties in defeasible logic programming -a preliminary report

Abstract

Logics for nonmonotonic reasoning have often been described by the property they lack-that is, monotonicity-instead of by those they do enjoy. These theories flourished in the early `80s in response to the inconveniences incomplete and changing information posed to classic, monotonic approaches. Several nonmonotonic formalisms were introduced in the literature: inheritance networks, default logic, preferential entailment, autoepistemic logic, and defeasible argumentation among others. The introduction of these proposals in a short span of time made it difficult to decide which approach is best suited for a given context.