BibTeX
@MISC{Lupea01semanticsfor,
author = {Mihaiela Lupea},
title = {Semantics For Constrained And Rational Default Logics},
year = {2001}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
The default nonmonotonic reasoning was formalised by a class of logical systems: default logics (classical, justified, constrained, rational), based on the same syntax which utilises nonmonotonic inference rules: defaults, but with diffent semantics for the defaults. In this paper we introduce a uniform semantic characterisation for the constrained and rational extensions of a default theory. This characterisation is an operational approach of the nonmonotonic reasoning that is viewed as a successive application of the applicable defaults. During the reasoning process can be observed the interaction between the defaults and the reasoning context. The graphical interpretation associated to the semantic characterisation of extensions illustrates the type of applicability: cautious (for constrained extensions) and hazardous (for rational extensions) of the defaults and some formal properties: semi-monotonicity, regularity, existence of extensions, commitment to assumptions of these variants of default logic.
Keyphrases
rational default logic default logic rational extension formal property nonmonotonic reasoning default theory applicable default nonmonotonic inference rule operational approach semantic characterisation default nonmonotonic reasoning successive application diffent semantics graphical interpretation uniform semantic characterisation logical system
