Abduction in Equilibrium Logic

Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning

Volume

Papers from the 2001 AAAI Spring Symposium

Contents

Equilibrium logic is a system of nonmonotonic reasoning that generalises answer set semantics for logic programs to a syntactically broader class of theories. The paper discusses the problem of abduction for equilibrium logic, making use of tableaux systems for equilibrium entailment presented in (Pearce, de Guzm(m, Valverde 2000b). An algorithm for generating potential abductive explanations is presented in outline. This work can be considered as extending current frameworks of ahductive logic programming in the answer set tradition and at the same time as extending previons work on abduction using semantic tableaux to the situation of a nonmonotonic underlying logic.