TR92-01

Seven Layers of Knowledge Representation and Reasoning in Support of Software Development

    •  Charles Rich, Yishai A. Feldman, "Seven Layers of Knowledge Representation and Reasoning in Support of Software Development", Tech. Rep. TR92-01, Mitsubishi Electric Research Laboratories, Cambridge, MA, February 1992.
      BibTeX TR92-01 PDF
      • @techreport{MERL_TR92-01,
      • author = {Charles Rich, Yishai A. Feldman},
      • title = {Seven Layers of Knowledge Representation and Reasoning in Support of Software Development},
      • institution = {MERL - Mitsubishi Electric Research Laboratories},
      • address = {Cambridge, MA 02139},
      • number = {TR92-01},
      • month = feb,
      • year = 1992,
      • url = {https://www.merl.com/publications/TR92-01/}
      • }
Abstract:

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.