KNOWLEDGE REPRESENTATION AND REASONING

被引:63
作者
LEVESQUE, HJ
机构
关键词
D O I
10.1146/annurev.cs.01.060186.001351
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:255 / 287
页数:33
相关论文
共 145 条
[1]   PROTOTYPICAL KNOWLEDGE FOR EXPERT SYSTEMS [J].
AIKINS, JS .
ARTIFICIAL INTELLIGENCE, 1983, 20 (02) :163-210
[2]   ON THE LOGIC OF THEORY CHANGE - PARTIAL MEET CONTRACTION AND REVISION FUNCTIONS [J].
ALCHOURRON, CE ;
GARDENFORS, P ;
MAKINSON, D .
JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (02) :510-530
[3]   MAINTAINING KNOWLEDGE ABOUT TEMPORAL INTERVALS [J].
ALLEN, JF .
COMMUNICATIONS OF THE ACM, 1983, 26 (11) :832-843
[4]  
Anderson AR., 1975, ENTAILMENT LOGIC REL
[5]  
[Anonymous], 1977, CPD SENATE, P1038
[6]  
Barwise J., 1983, SITUATIONS ATTITUDES
[7]  
Belnap Jr N.D., 1977, MODERN USES MULTIPLE, P5, DOI DOI 10.1007/978-94-010-1161-7_2
[8]  
Bobrow D. G., 1977, COGNITIVE SCI, V1, P3, DOI DOI 10.1207/S15516709C0G0101_
[9]  
Bobrow D.G., 1975, REPRESENTATION UNDER
[10]  
Brachman R. J., 1985, AI MAG, V6, P80