Abduction in Equilibrium Logic

David Pearce

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.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.