Background: EXPECT, A Framework for Developing Knowledge Based Systems
Has explicit representations of knowledge
- domain ontology + factual knowledge
- problem-solving knowledge:
Uses them to derive a knowledge-based system (KBS)
- Uses derivation to build model of knowledge interactions in a KBS: Interdependency Model (IM)
- Derived KBS can be translated to Lisp & compiled for efficiency
Used to build INSPECT, an air campaign plan critiquer
- key component of IFD4, transitioned to JFACC