On the Verification of an Expert System: Practical Issues.
Jorge SantosZita A. ValeCarlos RamosPublished in: IEA/AIE (2002)
Keyphrases
- practical issues
- expert systems
- model checking
- knowledge base
- face verification
- knowledge representation
- formal verification
- data sets
- asynchronous circuits
- inference engine
- blackboard architecture
- verification method
- high security
- expert knowledge
- evolutionary algorithm
- digital libraries
- artificial intelligence
- genetic algorithm
- neural network