Title :
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
fDate :
6/1/1992 12:00:00 AM
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;
Journal_Title :
Software Engineering, IEEE Transactions on
