The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.06 - June (1992 vol.18)
pp: 451-469
ABSTRACT
<p>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.</p>
INDEX TERMS
knowledge representation; reasoning; software development; Programmer's Apprentice; Cake; truth maintenance; Boolean constraint propagation; equality; types; algebra; frames; Plan Calculus; software development tools; Requirements Apprentice; Debugging Assistant; inference mechanisms; knowledge representation; software engineering; software tools
CITATION
C. Rich, Y.A. Feldman, "Seven Layers of Knowledge Representation and Reasoning in Support of Software Development", IEEE Transactions on Software Engineering, vol.18, no. 6, pp. 451-469, June 1992, doi:10.1109/32.142869
22 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool