ViVa: A systematic approach to verification, improvement and validation of knowledge-based systems.
Erik HollnagelPublished in: Future Gener. Comput. Syst. (1993)
Keyphrases
- knowledge based systems
- formal methods
- knowledge acquisition
- expert systems
- artificial intelligence
- knowledge base
- knowledge engineering
- knowledge representation
- deep knowledge
- knowledge representation scheme
- model checking
- rule based systems
- medical knowledge
- machine learning
- knowledge structures
- production rules
- inference engine
- artificial neural networks
- bayesian networks
- blackboard architecture