Show simple item record

dc.contributor.authorBillington, D
dc.contributor.authorAntoniou, G
dc.contributor.authorGovernatori, G
dc.contributor.authorMaher, M
dc.contributor.editorBurgard, W
dc.contributor.editorChristaller, T
dc.contributor.editorCremers, AB
dc.date.accessioned2018-06-26T03:52:23Z
dc.date.available2018-06-26T03:52:23Z
dc.date.issued1999
dc.identifier.isbn9783540664956
dc.identifier.issn0302-9743
dc.identifier.doi10.1007/3-540-48238-5_8
dc.identifier.urihttp://hdl.handle.net/10072/184526
dc.description.abstractThe revision and transformation of knowledge is widely recognized as a key issue in knowledge representation and reasoning. Reasons for the importance of this topic are the fact that intelligent systems are gradually developed and refined, and that often the environment of an intelligent system is not static but changes over time. Traditionally belief revision has been concerned with revising first order theories. Nonmonotonic reasoning provides rigorous techniques for reasoning with incomplete information. Until recently the dynamics of nonmonotonic reasoning approaches has attracted little attention. This paper studies the dynamics of defeasible logic, a simple and efficient form of nonmonotonic reasoning based on defeasible rules and priorities. We define revision and contraction operators and propose postulates. Our postulates try to follow the ideas of AGM belief revision as far as possible, but some AGM postulates clearly contradict the nonmonotonic nature of defeasible logic, as we explain. Finally we verify that the operators satisfy the postulates.
dc.description.peerreviewedYes
dc.languageEnglish
dc.publisherSpringer
dc.publisher.placeBerlin
dc.relation.ispartofconferencename23rd Annual German Conference on Artificial Intelligence
dc.relation.ispartofconferencetitleKI-99: ADVANCES IN ARTIFICIAL INTELLIGENCE
dc.relation.ispartofdatefrom1999-09-13
dc.relation.ispartofdateto1999-09-15
dc.relation.ispartoflocationUNIV BONN, BONN, GERMANY
dc.relation.ispartofpagefrom101
dc.relation.ispartofpagefrom12 pages
dc.relation.ispartofpageto112
dc.relation.ispartofpageto12 pages
dc.relation.ispartofvolume1701
dc.titleRevising Nonmonotonic Theories: The case of Defeasible Logic
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
dc.description.versionAccepted Manuscript (AM)
gro.facultyGriffith Sciences, School of Information and Communication Technology
gro.rights.copyright© 1999 Springer Berlin/Heidelberg. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher.The original publication is available at www.springerlink.com
gro.hasfulltextFull Text
gro.griffith.authorBillington, David
gro.griffith.authorGovernatori, Guido
gro.griffith.authorMaher, Michael J.
gro.griffith.authorAntoniou, Grigorios


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