Title :
Bridging the gap between specification and implementation
Author :
Dietterich, Thomas G.
Author_Institution :
Dept. of Comput. Sci., Oregon State Univ., OR, USA
fDate :
4/1/1991 12:00:00 AM
Abstract :
The claim that in knowledge compilation the gap between specifications and run-time architectures is substantial is examined. The forces that create the gap are identified and discussed. Two general approaches to closing this gap are described. One approach, which has been the focus of knowledge compilation research, converts specifications into a form that the run-time architecture can interpret directly. The other approach, which has been the focus of work on model-directed reasoning and task-specific architectures, changes the run-time architecture so that it can interpret the given specifications directly.<>
Keywords :
knowledge based systems; knowledge engineering; implementation; knowledge compilation; model-directed reasoning; run-time architectures; specification; task-specific architectures; Design engineering; Drugs; Engineering education; Finite element methods; Fluid flow; Medical treatment; Organisms; Product design; Runtime; Temperature measurement;
Journal_Title :
IEEE Expert