Expert system verification and validation: a survey and tutorial.
Robert M. O'KeefeDaniel E. O'LearyPublished in: Artif. Intell. Rev. (1993)
Keyphrases
- expert systems
- knowledge base
- knowledge based systems
- fuzzy logic
- model checking
- expert knowledge
- knowledge representation
- case based reasoning
- knowledge acquisition
- hybrid intelligent
- face verification
- artificial intelligence
- fault diagnosis
- functional verification
- data sets
- data mining
- website
- knowledge engineering
- genetic algorithm
- formal methods
- high security
- verification method
- neural network