7 LAYERS OF KNOWLEDGE REPRESENTATION AND REASONING IN SUPPORT OF SOFTWARE-DEVELOPMENT

被引：26
作者：
RICH, C
FELDMAN, YA
机构：
[1] TEL AVIV UNIV,DEPT COMP SCI,IL-69978 TEL AVIV,ISRAEL
[2] MIT,ARTIFICIAL INTELLIGENCE LAB,PROGRAMMERS APPRENTICE PROJECT,CAMBRIDGE,MA 02139
来源：
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1992年 / 18卷 / 06期
关键词：
AUTOMATED REASONING; CONSTRAINT PROPAGATION; DEBUGGING; EQUALITY; KNOWLEDGE REPRESENTATION; PLAN CALCULUS; REQUIREMENTS; SOFTWARE DEVELOPMENT; TRUTH MAINTENANCE;
D O I：
10.1109/32.142869
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper summarizes our experience in the Programmer's Apprentice project in applying knowledge representation and automated reasoning to support software development. We describe a system, called Cake, that comprises seven layers of knowledge representation and reasoning facilities: truth maintenance, Boolean constraint propagation, equality, types, algebra, frames, and Plan Calculus. We also include sessions with two experimental software development tools implemented using Cake: the Requirements Apprentice and the Debugging Assistant.
引用
收藏
页码：451 / 469
页数：19
相关论文
共 35 条
[1]  
ALLEN JF, 1991, ACM SIGART B, V2, P1
[2]  
BABB RG, 1985, COMPUTER, V18, P103
[3]  
Cohn A. G., 1987, Journal of Automated Reasoning, V3, P113, DOI 10.1007/BF00243207
[4]   LASSIE - A KNOWLEDGE-BASED SOFTWARE INFORMATION-SYSTEM [J].
DEVANBU, P ;
BRACHMAN, RJ ;
SELFRIDGE, PG ;
BALLARD, BW .
COMMUNICATIONS OF THE ACM, 1991, 34 (05) :34-49
[5]   TRUTH MAINTENANCE SYSTEM [J].
DOYLE, J .
ARTIFICIAL INTELLIGENCE, 1979, 12 (03) :231-272
[6]  
Feldman Y. A., 1991, Journal of Automated Reasoning, V7, P403, DOI 10.1007/BF00249022
[7]  
FELDMAN YA, 1989, 6TH P ISR S ART INT, P133
[8]  
FELDMAN YA, 1988, 5TH P ISR S ART INT, P77
[9]  
FELDMAN YA, 1986, 5TH P NAT C ART INT, P2
[10]  
FRISCH AM, 1989, 1ST P INT C KNOWL RE, P126
1234