The Community for Technology Leaders
RSS Icon
Issue No.06 - June (1992 vol.18)
pp: 451-469
<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>
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
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
17 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool