A MATHEMATICAL TREATMENT OF DEFEASIBLE REASONING AND ITS IMPLEMENTATION

被引:263
作者
SIMARI, GR
LOUI, RP
机构
[1] Department of Computer Science, Washington University in Saint Louis, Saint Louis, MO 63130-4899, One Brookings Drive
关键词
D O I
10.1016/0004-3702(92)90069-A
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
We present a mathematical approach to defeasible reasoning based on arguments. This approach integrates the notion of specificity introduced by Poole and the theory of warrant presented by Pollock. The main contribution of this paper is a precise, well-defined system which exhibits correct behavior when applied to the benchmark examples in the literature. It aims for usability rather than novelty. We prove that an order relation can be introduced among equivalence classes of arguments under the equi-specificity relation. We also prove a theorem that ensures the termination of the process of finding the justified facts. Two more lemmas define a reduced search space for checking specificity. In order to implement the theoretical ideas, the language is restricted to Horn clauses for the evidential context. The language used to represent defeasible rules has been restricted in a similar way. The authors intend this work to unify the various existing approaches to argument-based defeasible reasoning.
引用
收藏
页码:125 / 157
页数:33
相关论文
共 22 条
[1]  
DELGRANDE JP, 1987, P AAAI 81 SEATTLE
[2]  
GEFFNER HA, 1990, KNOWLEDGE REPRESENTA, P245
[3]  
GEFFNER HA, 1989, TR94IIICSD870058 U C
[4]  
GLYMOUR C, 1984, P NONMONOTONIC REASO, P93
[5]   NONMONOTONIC LOGIC AND TEMPORAL PROJECTION [J].
HANKS, S ;
MCDERMOTT, D .
ARTIFICIAL INTELLIGENCE, 1987, 33 (03) :379-412
[6]  
HORTY J, 1987, CMUCS87175 CARN MELL
[7]   A SKEPTICAL THEORY OF INHERITANCE IN NONMONOTONIC SEMANTIC NETWORKS [J].
HORTY, JF ;
THOMASON, RH ;
TOURETZKY, DS .
ARTIFICIAL INTELLIGENCE, 1990, 42 (2-3) :311-348
[8]  
KYBURG HE, 1974, LOGICAL F STATISTICA
[9]  
Loui R. P., 1987, Computational Intelligence, V3, P100, DOI 10.1111/j.1467-8640.1987.tb00178.x
[10]  
NEUFIELD E, 1990, UNCERTAINTY ARTIFICI, V4, P121