Show simple item record

dc.contributor.authorAntoniou, Grigorisen_US
dc.contributor.authorWang, Kewenen_US
dc.contributor.editorD. Gabbay and J. Woodsen_US
dc.date.accessioned2017-05-03T14:10:54Z
dc.date.available2017-05-03T14:10:54Z
dc.date.issued2007en_US
dc.date.modified2014-08-08T04:05:21Z
dc.identifier.isbn9780444516237en_US
dc.identifier.doi10.1016/S1874-5857(07)80011-2en_US
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.en_US
dc.description.peerreviewedYesen_US
dc.description.publicationstatusYesen_US
dc.languageEnglishen_US
dc.language.isoen_US
dc.publisherElsevier B.V.en_US
dc.publisher.placeAmsterdam, The Netherlandsen_US
dc.publisher.urihttp://www.sciencedirect.com/science/handbooks/18745857/8en_US
dc.relation.ispartofbooktitleHandbook of the History of Logic : Volume 8 : The Many Valued and Nonmonotonic Turn in Logicen_US
dc.relation.ispartofchapter8en_US
dc.relation.ispartofstudentpublicationNen_US
dc.relation.ispartofpagefrom517en_US
dc.relation.ispartofpageto556en_US
dc.relation.ispartofedition1sten_US
dc.relation.ispartofvolume8en_US
dc.rights.retentionYen_US
dc.subject.fieldofresearchcode280213en_US
dc.titleDefault Logicen_US
dc.typeBook chapteren_US
dc.type.descriptionB1 - Book Chapters (HERDC)en_US
dc.type.codeB - Book Chaptersen_US
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.en_US
gro.date.issued2007
gro.hasfulltextNo Full Text


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