KNOWLEDGE REPRESENTATION AND REASONING

被引:63
作者
LEVESQUE, HJ
机构
关键词
D O I
10.1146/annurev.cs.01.060186.001351
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:255 / 287
页数:33
相关论文
共 145 条
[71]  
Schank R. C., 1973, COMPUTER MODELS THOU, P187
[72]  
SCHANK RC, 1975, CONCEPTUAL INFORMATI
[73]  
SCHUBERT LK, 1983, COMPUTER, V16, P53, DOI 10.1109/MC.1983.1654198
[74]   INTERACTIONS BETWEEN PHILOSOPHY AND ARTIFICIAL INTELLIGENCE - ROLE OF INTUITION AND NON-LOGICAL REASONING IN INTELLIGENCE [J].
SLOMAN, A .
ARTIFICIAL INTELLIGENCE, 1971, 2 (3-4) :209-225
[75]  
Touretzky, 1984, P AAAI 84 AUSTIN, P322
[76]  
Vilain M., 1982, P 2 AAAI C ARTIFICIA, P197
[77]  
WATERMAN D, 1978, PATTERN DIRECTED INF
[78]   GENERATION AND VERIFICATION OF FINITE-MODELS AND COUNTEREXAMPLES USING AN AUTOMATED THEOREM PROVER ANSWERING 2 OPEN QUESTIONS [J].
WINKER, S .
JOURNAL OF THE ACM, 1982, 29 (02) :273-284
[79]   EXTENDED INFERENCE MODES IN REASONING BY COMPUTER-SYSTEMS [J].
WINOGRAD, T .
ARTIFICIAL INTELLIGENCE, 1980, 13 (1-2) :5-26
[80]  
Winograd T., 1975, REPRESENTATION UNDER, P185, DOI [DOI 10.1016/B978-0-12-108550-6.50012-4, 10.1016/B978-0-12-108550-6.50012-4]