Use of Metaknowledge in the Verification of Knowledge-Based Systems.
Larry J. MorellPublished in: IEA/AIE (Vol. 2) (1988)
Keyphrases
- knowledge based systems
- formal methods
- knowledge acquisition
- knowledge base
- expert systems
- knowledge representation
- model checking
- production rules
- inference engine
- deep knowledge
- rule based systems
- knowledge engineering
- knowledge representation scheme
- blackboard architecture
- knowledge structures
- probabilistic model
- knowledge sources
- artificial intelligence
- neural network
- civil engineering