SATURATION, NONMONOTONIC REASONING AND THE CLOSED-WORLD ASSUMPTION

被引：85

作者：

BOSSU, G

SIEGEL, P

机构：

来源：

关键词：

D O I：

10.1016/0004-3702(85)90040-2

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：13 / 63

页数：51

共 16 条

[1]

Bobrow Daniel G., 1980, ARTIFICIAL INTELLIGE, V13

[2]

BOSSU G, 1981, THESIS U AIX MARSEIL

[3]

Clark KL, 1978, LOGIC DATA BASES

[4]

COLMERAUER A, 1979, BASES THEORIQUES PRO

[5]

DARLINGTON J, 1969, MACH INTELL, V4, P173

[6] THE MATHEMATICS OF NON-MONOTONIC REASONING [J].

DAVIS, M .

[7]

DIPAOLA RA, 1971, R661PR RAND CORP REP

[8]

KOWALSKI R, 1969, MACHINE INTELLIGENCE, V0004, P00087

[9]

LYNDON R, 1964, NOTES LOGIC

[10] CIRCUMSCRIPTION - A FORM OF NON-MONOTONIC REASONING [J].

MCCARTHY, J .