BibTeX
@MISC{Schlechta07ananalysis,
author = {Karl Schlechta},
title = {AN ANALYSIS OF DEFEASIBLE INHERITANCE SYSTEMS},
year = {2007}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
We give a conceptual analysis of (defeasible or nonmonotonic) inheritance diagrams, and compare our analysis to the ”small/big sets ” of preferential and related reasoning. In our analysis, we consider nodes as information sources and truth values, direct links as information, and valid paths as information channels and comparisons of truth values. This results in an upward chaining, split validity, off-path preclusion inheritance formalism. We show that the small/big sets of preferential reasoning have to be relativized if we want them to conform to inheritance theory, resulting in a more cautious approach, perhaps closer to actual human reasoning. Finally, we interpret inheritance diagrams as theories of prototypical reasoning, based on two distances: set difference, and information difference. We will also see that some of the major distinctions between inheritance formalisms are consequences of deeper and more general problems of treating conflicting
Keyphrases
analysis defeasible inheritance system truth value inheritance diagram small big set related reasoning upward chaining direct link prototypical reasoning information channel information difference actual human reasoning off-path preclusion inheritance formalism conceptual analysis cautious approach valid path split validity general problem information source major distinction inheritance formalism
