Reasoning with worlds and truth maintenance in a knowledge-based programming environment
- 1 April 1988
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 31 (4) , 382-401
- https://doi.org/10.1145/42404.42405
Abstract
In traditional knowledge-based system development environments, the fundamental representational building blocks are mechanisms such as frames, rules, and attached procedures. The KEE system has been extended to include both a context (worlds) system and a truth maintenance system.Keywords
This publication has 5 references indexed in Scilit:
- An assumption-based TMSArtificial Intelligence, 1986
- The role of frame-based representation in reasoningCommunications of the ACM, 1985
- An Overview of the KL‐ONE Knowledge Representation System*Cognitive Science, 1985
- Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysisArtificial Intelligence, 1977
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1971