Defeasibility in answer set programs with defaults and argumentation rules

Hui Wan

doi:10.3233/SW-140140

Defeasibility in answer set programs with defaults and argumentation rules

2015-01-01

10

PRE

AI

DOI：10.3233/SW-140140

Original

Original request for help

Save

Abstract

En 中文

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 (Answer Set Programs via Argumentation Rules) - 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 can be seen as an attempt to unify 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. Second, we study reducibility of ASPDA to the non-disjunctive case and show that head-cycle-free ASPDA programs reduce to the non-disjunctive case - similarly to head-cycle-free ASP programs, but through a more complex transformation. We also shed light on the relationship between ASPDA and some of the earlier theories such as Defeasible Logic and LPDA.

Keywords:

Logic programming

defeasible reasoning

argumentation theory

argumentation rules

answer sets

stable model

Defeasibility in answer set programs with defaults and argumentation rules

Abstract

AI Summary

Journal

Organization

Cited Papers