Show simple item record

dc.contributor.authorEiter, Thomasen_US
dc.contributor.authorWang, Kewenen_US
dc.contributor.editorA G Cohn (Editor-in-Chief), C R Perrault (Editor-in-Chief)en_US
dc.date.accessioned2017-05-03T14:10:56Z
dc.date.available2017-05-03T14:10:56Z
dc.date.issued2008en_US
dc.date.modified2010-01-13T06:51:09Z
dc.identifier.issn00043702en_US
dc.identifier.doi10.1016/j.artint.2008.05.002en_AU
dc.identifier.urihttp://hdl.handle.net/10072/26343
dc.description.abstractThe 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.en_US
dc.description.peerreviewedYesen_US
dc.description.publicationstatusYesen_AU
dc.format.extent400561 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglishen_US
dc.language.isoen_AU
dc.publisherElsevieren_US
dc.publisher.placeNetherlandsen_US
dc.relation.ispartofstudentpublicationNen_AU
dc.relation.ispartofpagefrom1644en_US
dc.relation.ispartofpageto1672en_US
dc.relation.ispartofissue14en_US
dc.relation.ispartofjournalArtificial Intelligenceen_US
dc.relation.ispartofvolume172en_US
dc.rights.retentionYen_AU
dc.subject.fieldofresearchcode280218en_US
dc.titleSemantic forgetting in answer set programmingen_US
dc.typeJournal articleen_US
dc.type.descriptionC1 - Peer Reviewed (HERDC)en_US
dc.type.codeC - Journal Articlesen_US
gro.rights.copyrightCopyright 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.en_AU
gro.date.issued2008
gro.hasfulltextFull Text


Files in this item

This item appears in the following Collection(s)

  • Journal articles
    Contains articles published by Griffith authors in scholarly journals.

Show simple item record