The Layered Architecture of a System for Reasoning about Programs

Rich, Charles

The Layered Architecture of a System for Reasoning about Programs

Download BibTeX Cite

Proceedings of the Ninth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 540-545.

Abstract

Cake is a hybrid system which provides reasoning facilities for the Programmer's Apprentice. This paper describes the architecture of Cake , which is divided into eight layers, each with associated representations and reasoning procedures. The operation of Cake is illustrated by a complete trace of the solution of an example reasoning problem. We also argue that a hybrid system in general is characterized by the use of multiple representations in the sense of multiple data abstractions, which does not necessarily imply distinct implementation data structures.

Charles Rich. 1985. The Layered Architecture of a System for Reasoning about Programs. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI-85. IJCAI, 540–545. https://ijcai.org/proceedings/1985/103

@inproceedings{ijcai1985p103,
  title     = {The Layered Architecture of a System for Reasoning about Programs},
  author    = {Rich, Charles},
  booktitle = {Proceedings of the Ninth International Joint Conference on
               Artificial Intelligence, {IJCAI-85}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Aravind Joshi},
  pages     = {540--545},
  year      = {1985},
  note      = {Knowledge Representation},
  url       = {https://ijcai.org/proceedings/1985/103},
}

TY  - CPAPER
TI  - The Layered Architecture of a System for Reasoning about Programs
AU  - Rich, Charles
T2  - Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI-85
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1985
SP  - 540
EP  - 545
UR  - https://ijcai.org/proceedings/1985/103
ER  -