Seven layers of knowledge representation and reasoning in support of software development

Author

Rich, Charles ; Feldman, Yishai A.

Author_Institution

Mitsubishi Electr. Res. Lab., Cambridge, MA, USA

Volume

18

Issue

6

fYear

1992

fDate

6/1/1992 12:00:00 AM

Firstpage

451

Lastpage

469

Abstract

The authors´ experience in the Programmer´s Apprentice project in applying knowledge representation and automated reasoning to support software development is summarized. A system, called Cake, is described that comprises seven layers of knowledge representation and reasoning facilities: truth maintenance, Boolean constraint propagation, equality, types, algebra, frames, and Plan Calculus. Sessions with two experimental software development tools implemented using Cake, the Requirements Apprentice and the Debugging Assistant, are also included

Keywords

inference mechanisms; knowledge representation; software engineering; software tools; Boolean constraint propagation; Cake; Debugging Assistant; Plan Calculus; Programmer´s Apprentice; Requirements Apprentice; algebra; equality; frames; knowledge representation; reasoning; software development; software development tools; truth maintenance; types; Algebra; Calculus; Debugging; Knowledge engineering; Knowledge representation; Laboratories; Programming; Software maintenance; Software prototyping; Software tools;

fLanguage

English

Journal_Title

Software Engineering, IEEE Transactions on

Publisher

ieee

ISSN

0098-5589

Type

jour

DOI

10.1109/32.142869

Filename

142869