LiU Electronic Press
Full-text not available in DiVA
Author:
Doherty, Patrick (Linköping University, The Institute of Technology) (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab)
Lukaszewicz, Witold (Linköping University, The Institute of Technology) (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab)
Title:
Defaults as first-class citizens
Department:
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab
Linköping University, The Institute of Technology
Publication type:
Conference paper (Refereed)
Language:
English
In:
Proceedings of the 22nd International Symposium on Multiple-Valued Logic (SMVL)
Publisher: IEEE Computer Society
Series:
Proceedings of the International Symposium on Multiple Valued Logic, ISSN 0195-623X
Pages:
146-154
Year of publ.:
1992
URI:
urn:nbn:se:liu:diva-41430
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-41430
ISBN:
0-8186-2680-1
Local ID:
56393
Subject category:
Computer Science
SVEP category:
Computer science
Abstract(en) :

A nonmonotonic logic with explicit defaults, NML3, is presented. It is characterized by the following features: (1) the use of the strong Kleene three-valued logic as a basis; (2) the addition of an explicit default operator which enables distinguishing tentative conclusions from ordinary conclusions in the object language; and (3) the use of the idea of preferential entailment to generate nonmonotonic behavior. The central feature of the formalism, the use of an explicit default operator with a model-theoretic semantics based on the notion of a partial interpretation, distinguishes NML3 from most previous formalisms. By capitalizing on the distinction between tentative and ordinary conclusions, NML3 provides increased expressibility in comparison to many of the standard nonmonotonic formalisms and greater flexibility in the representation of subtle aspects of default reasoning. This is shown through examples.

Available from:
2009-10-10
Created:
2009-10-10
Last updated:
2011-02-23
Statistics:
14 hits