Default Logic

There are no files associated with this record.

Title Default Logic
Author Antoniou, Grigoris; Wang, Kewen
Book Title Handbook of the History of Logic : Volume 8 : The Many Valued and Nonmonotonic Turn in Logic
Editor D. Gabbay and J. Woods
Year Published 2007
Place of publication Amsterdam, The Netherlands
Publisher Elsevier B.V.
Abstract Default 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.
Peer Reviewed Yes
Published Yes
Publisher URI
Alternative URI
Copyright Statement Self-archiving is not yet supported by this publisher. Please refer to the publisher's website or contact the author(s) for more information.
Volume 8
Edition 1st
Chapter Number 8
Page from 517
Page to 556
ISBN 9780444516237
Date Accessioned 2008-03-11
Language en_US
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Science, Environment, Engineering and Technology
Subject PRE2009-Other Artificial Intelligence
Publication Type Book Chapters
Publication Type Code b1

Show simple item record

Griffith University copyright notice