DMCA
Skeptical Rational Extensions (1995)
| Citations: | 1 - 1 self |
BibTeX
@MISC{Mikitiuk95skepticalrational,
author = {Artur Mikitiuk and Miroslaw Truszczynski},
title = {Skeptical Rational Extensions},
year = {1995}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
In this paper we propose a version of default logic with the following two properties: (1) defaults with mutually inconsistent justifications are never used together in constructing a set of default consequences of a theory; (2) the reasoning formalized by our logic is related to the traditional skeptical mode of default reasoning. Our logic is based on the concept of a skeptical rational extension. We give characterization results for skeptical rational extensions and an algorithm to compute them. We present some complexity results. Our main goal is to characterize cases when the class of skeptical rational extensions is closed under intersection. In the case of normal default theories our logic coincides with the standard skeptical reasoning with extensions. In the case of seminormal default theories our formalism provides a description of the standard skeptical reasoning with rational extensions.
Keyphrases
skeptical rational extension standard skeptical reasoning traditional skeptical mode default logic characterization result normal default theory default consequence logic coincides seminormal default theory rational extension main goal default reasoning complexity result inconsistent justification
