NON-MONOTONIC LOGIC-I

被引：344

作者：

MCDERMOTT, D ^{[1
]}

DOYLE, J ^{[1
]}

机构：

[1] MIT,ARTIFICIAL INTELLIGENCE LAB,CAMBRIDGE,MA 02139

来源：

关键词：

D O I：

10.1016/0004-3702(80)90012-0

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：41 / 72

页数：32

共 46 条

[1] Boolos George, 1979, UNPROVABILITY CONSIS
[2] DEKLEER J, 1979, THESIS MIT
[3] TRUTH MAINTENANCE SYSTEM
DOYLE, J
[J]. ARTIFICIAL INTELLIGENCE, 1979, 12 (03) : 231 - 272
[4] DUMMETT M, 1973, P BRIT ACADEMY, V59
[5] STRIPS - NEW APPROACH TO APPLICATION OF THEOREM PROVING TO PROBLEM SOLVING
FIKES, RE
NILSSON, NJ
[J]. ARTIFICIAL INTELLIGENCE, 1971, 2 (3-4) : 189 - 208
[6] HAYES P, 1971, MACH INTELL, V6, P495
[7] HAYES P, 1973, ARTIFICIAL HUMAN THI
[8] HAYES PJ, 1970, MACHINE INTELLIGENCE, V5, P533
[9] HEWITT CE, 1972, TR258 MIT ART INT LA
[10] Heyting Arend, 1956, INTUITIONISM INTRO