Validation and verification of knowledge-based systems: A survey.
Uma G. GuptaPublished in: Appl. Intell. (1993)
Keyphrases
- knowledge based systems
- formal methods
- knowledge acquisition
- expert systems
- knowledge base
- artificial intelligence
- rule based systems
- knowledge representation scheme
- knowledge representation
- knowledge structures
- knowledge engineering
- model checking
- production rules
- deep knowledge
- knowledge acquisition tools
- knowledge sources
- machine learning
- intelligent systems
- domain specific
- probabilistic model