Sciweavers

Share
LANMR
2007

Handling Exceptions in nonmonotonic reasoning

8 years 6 months ago
Handling Exceptions in nonmonotonic reasoning
Abstract We introduce some differences in the style defeasible information is represented and inferences are made in nonmonotonic reasoning. These, at first sight harmless, changes, in fact, helped us to discover a very important principle guiding how inferences should be drawn in nonmonotonic reasoning, we name it the exception-first principle or EFP. DLEF is our own variant for default logic complying with EFP. We also show alternative definitions for Reiter’s default logics and its justified and constrained variants within our framework. DLEF does not produce anomalous extensions where the other default logics do. Restricted to the language of general logic programs, DLEF, Reiter’s default logic and answer set programming all coincide. This explains why ASP is appointed as a solution to the anomalous extensions problem, ASP complies with EFP.
Marcelino C. Pequeno, Rodrigo de M. S. Veras, Wlad
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2007
Where LANMR
Authors Marcelino C. Pequeno, Rodrigo de M. S. Veras, Wladimir A. Tavares
Comments (0)
books