Show simple item record

dc.contributor.authorZhuang, Zhiqiang
dc.contributor.authorWang, Zhe
dc.contributor.authorWang, Kewen
dc.contributor.authorDelgrande, James P
dc.contributor.editorYang, Q
dc.contributor.editorWooldridge, M
dc.date.accessioned2017-08-28T01:01:44Z
dc.date.available2017-08-28T01:01:44Z
dc.date.issued2015
dc.identifier.issn1045-0823
dc.identifier.urihttp://hdl.handle.net/10072/125325
dc.description.abstractClassic entrenchment-based contraction is not applicable to many useful logics, such as description logics. This is because the semantic construction refers to arbitrary disjunctions of formulas, while many logics do not fully support disjunction. In this paper, we present a new entrenchment-based contraction which does not rely on any logical connectives except conjunction. This contraction is applicable to all fragments of first-order logic that support conjunction. We provide a representation theorem for the contraction which shows that it satisfies all the AGM postulates except for the controversial Recovery Postulate, and is a natural generalisation of entrenchment-based contraction.
dc.description.peerreviewedYes
dc.languageEnglish
dc.language.isoeng
dc.publisherAssociation for the Advancement of Artificial Intelligence (AAAI)
dc.publisher.urihttps://www.ijcai.org/Abstract/15/465
dc.relation.ispartofpagefrom3299
dc.relation.ispartofpageto3305
dc.relation.ispartofjournalProceedings of the International Joint Conference on Artificial Intelligence
dc.relation.ispartofvolume2015
dc.subject.fieldofresearchArtificial intelligence not elsewhere classified
dc.subject.fieldofresearchcode460299
dc.titleExtending AGM contraction to arbitrary logics
dc.typeJournal article
dc.type.descriptionC1 - Articles
dc.type.codeC - Journal Articles
dc.description.versionVersion of Record (VoR)
gro.facultyGriffith Sciences, School of Information and Communication Technology
gro.rights.copyright© 2015 International Joint Conference on Artificial Intelligence. The attached file is reproduced here in accordance with the copyright policy of the publisher. Please refer to the journal's website for access to the definitive, published version.
gro.hasfulltextFull Text
gro.griffith.authorWang, Kewen
gro.griffith.authorWang, Zhe


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