Show simple item record

dc.contributor.convenorM. Veloso, S. Kambhampatien_AU
dc.contributor.authorWang, Kewenen_US
dc.contributor.authorSattar, Abdulen_US
dc.contributor.authorSu, Kaileen_US
dc.contributor.editorManuela M. Veloso, Subbarao Kambhampatien_US
dc.date.accessioned2017-04-24T11:25:58Z
dc.date.available2017-04-24T11:25:58Z
dc.date.issued2005en_US
dc.date.modified2008-07-20T22:58:44Z
dc.identifier.refurihttp://www.aaai.org/Conferences/National/2005/aaai05.htmlen_AU
dc.identifier.urihttp://hdl.handle.net/10072/2699
dc.description.abstractThe study of forgetting for reasoning has attracted considerable attention in AI. However, much of the work on forgetting, and other related approaches such as independence, irrelevance and novelty, has been restricted to the classical logics. This paper describes a detailed theoretical investigation of the notion of forgetting in the context of logic programming. We first provide a semantic definition of forgetting under the answer sets for extended logic programs. We then discuss the desirable properties and some motivating examples. An important result of this study is an algorithm for computing the result of forgetting in a logic program. Furthermore, we present a modified version of the algorithm and show that the time complexity of the new algorithm is polynomial with respect to the size of the given logic program if the size of certain rules is fixed. We show how the proposed theory of forgetting can be used to characterize the logic program updates.en_US
dc.description.peerreviewedYesen_US
dc.description.publicationstatusYesen_AU
dc.format.extent167345 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglishen_US
dc.language.isoen_AU
dc.publisherAAAI Pressen_US
dc.publisher.placeAAAIen_US
dc.publisher.urihttp://www.aaai.org/Press/Proceedings/aaai05.phpen_AU
dc.relation.ispartofstudentpublicationNen_AU
dc.relation.ispartofconferencename20th National Conference on Artificial Intelligence (AAAI-2005)en_US
dc.relation.ispartofconferencetitleProceedings of the 20th National Conference on Artificial Intelligence (AAAI-2005)en_US
dc.relation.ispartofdatefrom2005-07-09en_US
dc.relation.ispartofdateto2005-07-13en_US
dc.relation.ispartoflocationPitsburghen_US
dc.rights.retentionYen_AU
dc.subject.fieldofresearchcode280213en_US
dc.titleA theory of forgetting in logic programmingen_US
dc.typeConference outputen_US
dc.type.descriptionE1 - Conference Publications (HERDC)en_US
dc.type.codeE - Conference Publicationsen_US
gro.facultyGriffith Sciences, School of Information and Communication Technologyen_US
gro.rights.copyrightCopyright 2005 AAAI Press. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. Use hypertext link for access to conference website.en_AU
gro.date.issued2005
gro.hasfulltextFull Text


Files in this item

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record