Show simple item record

dc.contributor.authorAntoniou, Grigoris
dc.contributor.authorWang, Kewen
dc.contributor.editorGabbay, DM
dc.contributor.editorWoods, J
dc.date.accessioned2017-05-03T14:10:54Z
dc.date.available2017-05-03T14:10:54Z
dc.date.issued2007
dc.date.modified2014-08-08T04:05:21Z
dc.identifier.isbn978-0-44-451623-7
dc.identifier.doi10.1016/S1874-5857(07)80011-2
dc.identifier.urihttp://hdl.handle.net/10072/17874
dc.description.abstractDefault logic is an important method of knowledge representation and reasoning, because it supports reasoning with incomplete information, and because defaults can be found naturally in many application domains, such as diagnostic problems, information retrieval, legal reasoning, regulations, specifications of systems and software, etc. Default logic can be used either to model reasoning with incomplete information that was the original motivation or as formalism that enables compact representation of information. This chapter discusses the basic concepts and ideas of default logic, and the presentation was based on the operational interpretations, rather than on fixpoints. The operational interpretations allow learners to apply concepts to concrete problems in a straightforward way. This is an important point because the difficulty of understanding default logic should not be underestimated. In some cases, standard default logic is insufficient to resolve conflicts among defaults. Preferences provide a declarative way to solve this problem and thus many approaches to preference handling in default logic are proposed.
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.languageEnglish
dc.language.isoeng
dc.publisherElsevier B.V.
dc.publisher.placeAmsterdam, The Netherlands
dc.publisher.urihttp://www.sciencedirect.com/science/handbooks/18745857/8
dc.relation.ispartofbooktitleHandbook of the History of Logic : Volume 8 : The Many Valued and Nonmonotonic Turn in Logic
dc.relation.ispartofchapter8
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofpagefrom517
dc.relation.ispartofpageto556
dc.relation.ispartofedition1st
dc.relation.ispartofvolume8
dc.rights.retentionY
dc.subject.fieldofresearchcode280213
dc.titleDefault Logic
dc.typeBook chapter
dc.type.descriptionB1 - Chapters
dc.type.codeB - Book Chapters
gro.rights.copyrightSelf-archiving is not yet supported by this publisher. Please refer to the publisher's website or contact the author(s) for more information.
gro.date.issued2007
gro.hasfulltextNo Full Text
gro.griffith.authorWang, Kewen


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

  • Book chapters
    Contains book chapters authored by Griffith authors.

Show simple item record