ECAI Conference 1988 Conference Paper
Incorporating Dynamic Control into the Model Generative Reasoning System
- Chris A. Fields
- M. J. Coombs
- Eric Dietrich
- Roger T. Hartley
Author name cluster
M. J. Coombs
Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.
2 papers
2 author rows
Possible papers
2AAAI Conference 1986 Conference Paper
Debugging User Conceptions of Interpretation Processes
- M. J. Coombs
The use of high level declarative languages has been advocated since they allow problems to be expressed in terms of their domain facts, leaving details of execution to the language interpreter. While this is a significant advantage, it is frequently difficult to learn the procedural constraints imposed by the interpreter. Thus, declarative failures may arise from misunderstanding the implicit procedural content of a program. This paper argues for a constructive approach to identifying poor understanding of procedural interpretation, and presents a prototype diagnostic system for Prolog.