A LOGIC FOR DEFAULT REASONING

被引：1717

作者：

REITER, R

机构：

来源：

关键词：

D O I：

10.1016/0004-3702(80)90014-4

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：81 / 132

页数：52

共 29 条

[1]

BOBROW DG, 1977, COGNITIVE SCI, V1

[2] An unsolvable problem of elementary number theory [J].

Church, A .

[3]

Clark K. L., 1978, Logic and data bases, P293

[4]

DOYLE J, 1978, AITR419 MIT ART INT

[5]

GREEN CC, 1969, 1ST P INT JOINT C AR, P219

[6]

HAYES P, 1977, LOGIC FRAMES

[7]

HAYES PJ, 1973, ARTIFICIAL HUMAN THI, P45

[8]

HEWITT C, 1972, AI251 MIT PROJ MAC M

[9]

KOWALSKI RA, 1971, ARTIFICIAL INTELLIGE, V2, P221

[10]

KRAMOSIL I, 1975, 4TH P INT JOINT C AR, P53