Sciweavers

Share
RR
2010
Springer

Defeasibility in Answer Set Programs via Argumentation Theories

8 years 4 months ago
Defeasibility in Answer Set Programs via Argumentation Theories
Defeasible reasoning has been studied extensively in the last two decades and many different and dissimilar approaches are currently on the table. This multitude of ideas has made the field hard to navigate and the different techniques hard to compare. Our earlier work on Logic Programming with Defaults and Argumentation Theories (LPDA) introduced a degree of unification into the approaches that rely on the well-founded semantics. The present work takes this idea further and introduces ASPDA—a unifying framework for defeasibility of disjunctive logic programs under the Answer Set Programming (ASP). Since the well-founded and the answer set semantics underlie almost all existing approaches to defeasible reasoning in Logic Programming, LPDA and ASPDA together capture most of those approaches. In addition to ASPDA, we obtained a number of interesting and non-trivial results. First, we show that ASPDA is reducible to ordinary ASP programs, albeit at the cost of exponential blowup in ...
Hui Wan, Michael Kifer, Benjamin N. Grosof
Added 30 Jan 2011
Updated 30 Jan 2011
Type Journal
Year 2010
Where RR
Authors Hui Wan, Michael Kifer, Benjamin N. Grosof
Comments (0)
books