Show simple item record

dc.contributor.authorWang, Yisong
dc.contributor.authorZhuang, Zhiqiang
dc.contributor.authorWang, Kewen
dc.contributor.editorCabalar, P
dc.contributor.editorSon, TC
dc.date.accessioned2017-05-03T14:11:03Z
dc.date.available2017-05-03T14:11:03Z
dc.date.issued2013
dc.identifier.isbn9783642405631
dc.identifier.issn0302-9743
dc.identifier.refurihttp://dx.doi.org/10.1007/978-3-642-40564-8_54
dc.identifier.doi10.1007/978-3-642-40564-8_54
dc.identifier.urihttp://hdl.handle.net/10072/58727
dc.description.abstractBrewka and Eiter's nonmonotonic multi-context system is an elegant knowledge representation framework to model heterogeneous and nonmonotonic multiple contexts. Belief change is a central problem in knowledge representation and reasoning. In this paper we follow the classical AGM approach to investigate belief change in multi-context systems. Specifically, we formulate semantically the AGM postulates of belief expansion, revision and contraction for multi-context systems. We show that the change operations can be characterized in terms of minimal change by ordering equilibria of multi-context systems. Two distance based revision operators are obtained and related to the classical Satoh and Dalal revision operators (via loop formulas).
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.format.extent279145 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglish
dc.language.isoen_US
dc.publisherSpringer
dc.publisher.placeGermany
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofconferencename12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR)
dc.relation.ispartofconferencetitleLOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013)
dc.relation.ispartofdatefrom2013-09-15
dc.relation.ispartofdateto2013-09-19
dc.relation.ispartoflocationCorunna, SPAIN
dc.relation.ispartofpagefrom543
dc.relation.ispartofpagefrom13 pages
dc.relation.ispartofpageto555
dc.relation.ispartofpageto13 pages
dc.relation.ispartofvolume8148
dc.rights.retentionY
dc.subject.fieldofresearchComputational Logic and Formal Languages
dc.subject.fieldofresearchArtificial Intelligence and Image Processing not elsewhere classified
dc.subject.fieldofresearchcode080203
dc.subject.fieldofresearchcode080199
dc.titleBelief Change in Nonmonotonic Multi-Context Systems
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
gro.rights.copyright© 2013 Springer-Verlag Berlin Heidelberg. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. Please refer to the conference's website for access to the definitive, published version.
gro.date.issued2015-02-26T05:44:01Z
gro.hasfulltextFull Text
gro.griffith.authorWang, Kewen
gro.griffith.authorZhuang, Zhiqiang


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