Show simple item record

dc.contributor.authorWang, Yisong
dc.contributor.authorWang, Kewen
dc.contributor.authorWang, Zhe
dc.contributor.authorZhuang, Zhiqiang
dc.contributor.editorBlai Bonet, Sven Koenig
dc.date.accessioned2018-03-09T04:08:30Z
dc.date.available2018-03-09T04:08:30Z
dc.date.issued2015
dc.identifier.isbn9781577357001
dc.identifier.urihttp://hdl.handle.net/10072/125430
dc.description.abstractThe theory of (variable) forgetting has received significant attention in nonmonotonic reasoning, especially, in answer set programming. However, the problem of establishing a theory of forgetting for some expressive nonmonotonic logics such as McCarthy's circumscription is rarely explored.In this paper a theory of forgetting for propositional circumscription is proposed, which is not a straightforward adaption of existing approaches. In particular, some properties that are essential for existing proposals do not hold any longer or have to be reformulated. Several useful properties of the new forgetting are proved, which demonstrate suitability of the forgetting for circumscription. A sound and complete algorithm for the forgetting is developed and an analysis of computational complexity is given.
dc.description.peerreviewedYes
dc.languageEnglish
dc.publisherAssociation for the Advancement of Artificial Intelligence
dc.publisher.placeUnited States
dc.publisher.urihttps://www.aaai.org/ocs/index.php/AAAI/AAAI15/paper/view/9866
dc.relation.ispartofconferencename29th Association-for-the-Advancement-of-Artificial-Intelligence (AAAI) Conference on Artificial Intelligence
dc.relation.ispartofconferencetitlePROCEEDINGS OF THE TWENTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE
dc.relation.ispartofdatefrom2015-01-25
dc.relation.ispartofdateto2015-01-30
dc.relation.ispartoflocationAustin, TX
dc.relation.ispartofpagefrom1649
dc.relation.ispartofpagefrom7 pages
dc.relation.ispartofpageto1655
dc.relation.ispartofpageto7 pages
dc.relation.ispartofvolume2
dc.subject.fieldofresearchArtificial Intelligence and Image Processing not elsewhere classified
dc.subject.fieldofresearchcode080199
dc.titleKnowledge Forgetting in Circumscription: A Preliminary Report
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
gro.hasfulltextNo Full Text
gro.griffith.authorWang, Kewen
gro.griffith.authorWang, Zhe
gro.griffith.authorZhuang, Zhiqiang


Files in this item

FilesSizeFormatView

There are no files associated with 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