The Architecture of Coherent Information System: A General Problem Solving System
- 1 April 1976
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-25 (4), 390-402
- https://doi.org/10.1109/tc.1976.1674621
Abstract
This paper discusses the architecture of a metasystem, which can be used to generate intelligent information systems for different domains of discourse. It points out the kinds of knowledge accepted by the system, and the way the knowledge is used to do nontrivial problem solving. The organization of the system makes it possible for it to function in the context of a large and expanding data base. The metasystem provides a basis for the definition of the concept of machine understanding in terms of the models that the machine can build in a domain, and the way it can use the models.Keywords
This publication has 4 references indexed in Scilit:
- Learning and executing generalized robot plansArtificial Intelligence, 1972
- The QA4 language applied to robot planningPublished by Association for Computing Machinery (ACM) ,1972
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1971
- REF-ARF: A system for solving problems stated as proceduresArtificial Intelligence, 1970