A MATHEMATICAL-PROGRAMMING APPROACH TO INFERENCE WITH THE CAPABILITY OF IMPLEMENTING DEFAULT RULES

被引：12
作者：
YAGER, RR
机构：
来源：
INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES | 1988年 / 29卷 / 06期
关键词：
D O I：
10.1016/S0020-7373(88)80074-9
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：685 / 714
页数：30
相关论文
共 9 条
[1]  
[Anonymous], SYMBOLIC LOGIC MECHA
[2]  
Hu T.C., 1969, INTEGER PROGRAMMING
[3]   APPLICATIONS OF CIRCUMSCRIPTION TO FORMALIZING COMMONSENSE KNOWLEDGE [J].
MCCARTHY, J .
ARTIFICIAL INTELLIGENCE, 1986, 28 (01) :89-116
[4]   CIRCUMSCRIPTION - A FORM OF NON-MONOTONIC REASONING [J].
MCCARTHY, J .
ARTIFICIAL INTELLIGENCE, 1980, 13 (1-2) :27-39
[5]  
PERLIS D, 1984, P NONMONOTONIC REASO, P386
[6]  
PLANE DR, 1971, DISCRETE OPTIMIZATIO
[7]   A LOGIC FOR DEFAULT REASONING [J].
REITER, R .
ARTIFICIAL INTELLIGENCE, 1980, 13 (1-2) :81-132
[8]  
REITER R, 1978, 2ND P S THEOR ISS NA
[9]   USING APPROXIMATE REASONING TO REPRESENT DEFAULT KNOWLEDGE [J].
YAGER, RR .
ARTIFICIAL INTELLIGENCE, 1987, 31 (01) :99-112
1