Semantic forgetting in answer set programming

File Size Format
53124_1.pdf 391Kb Adobe PDF View
Title Semantic forgetting in answer set programming
Author Eiter, Thomas; Wang, Kewen
Journal Name Artificial Intelligence
Editor A G Cohn (Editor-in-Chief), C R Perrault (Editor-in-Chief)
Year Published 2008
Place of publication Netherlands
Publisher Elsevier
Abstract The notion of forgetting, also known as variable elimination, has been investigated extensively in the context of classical logic, but less so in (nonmonotonic) logic programming and nonmonotonic reasoning. The few approaches that exist are based on syntactic modifications of a program at hand. In this paper, we establish a declarative theory of forgetting for disjunctive logic programs under answer set semantics that is fully based on semantic grounds. The suitability of this theory is justified by a number of desirable properties. In particular, one of our results shows that our notion of forgetting can be entirely captured by classical forgetting. We present several algorithms for computing a representation of the result of forgetting, and provide a characterization of the computational complexity of reasoning from a logic program under forgetting. As applications of our approach, we present a fairly general framework for resolving conflicts in inconsistent knowledge bases that are represented by disjunctive logic programs, and we show how the semantics of inheritance logic programs and update logic programs from the literature can be characterized through forgetting. The basic idea of the conflict resolution framework is to weaken the preferences of each agent by forgetting certain knowledge that causes inconsistency. In particular, we show how to use the notion of forgetting to provide an elegant solution for preference elicitation in disjunctive logic programming.
Peer Reviewed Yes
Published Yes
Alternative URI
Copyright Statement Copyright 2008 Elsevier. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. Please refer to the journal's website for access to the definitive, published version.
Volume 172
Issue Number 14
Page from 1644
Page to 1672
ISSN 0004-3702
Date Accessioned 2009-03-03
Language en_AU
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Science, Environment, Engineering and Technology
Publication Type Journal Articles (Refereed Article)
Publication Type Code c1

Show simple item record

Griffith University copyright notice