liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Defaults as first-class citizens
1992 (English)In: Proceedings of the 22nd International Symposium on Multiple-Valued Logic (SMVL), IEEE Computer Society, 1992, 146-154Conference paper (Refereed)
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.

Proceedings of the International Symposium on Multiple Valued Logic, ISSN 0195-623X
National Category
Computer Science
URN: urn:nbn:se:liu:diva-41430Local ID: 56393ISBN: 0-8186-2680-1OAI: diva2:262282
Available from2009-10-10 Created:2009-10-10 Last updated:2011-02-23

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Doherty, PatrickLukaszewicz, Witold
By organisation
The Institute of TechnologyKPLAB - Knowledge Processing Lab
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 16 hits
ReferencesLink to record
Permanent link

Direct link