Lee Chang Hwan

The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 6, No. 2, pp. 357-366, Feb. 1999
10.3745/KIPSTE.1999.6.2.357,   PDF Download:

Abstract

Inheritance reasoning has been widely used in the area of common sense reasoning in artificial intelligence. Although many inheritance reasoners have been proposed in artificial intelligence literature, most previous reasoning systems are lack of clear semantics, thus sometimes provide anomalous conclusions. In this paper, we describe a set-oriented ingeritance reasoner and propose a method of resolving conflicts with clear semantics of defeasible rules. The semantics of default rule is provided by statistical analysis of x2 method, and likelihood of rule is computed based on the evidence in the past. Two basic rules, specificity and generality, are defined to resolve conflicts effectively in the process of reasoning. We show that the mutual tradeoff between specificity and generality, are defined to resolve conflicts effectively in the process of reasoning. We show that the mutual tradeoff between specificity and generality can prevent many anomalous results from occurring in traditional inheritance reasoners. An algorithm is provided, and some typical examples are given to show how the specificity/generality rules resolve conflicts effectively in inheritance reasoning.

Statistics
Cite this article