Validation, verification and test of knowledge-based systems : M Ayel and J-P Laurent (Eds.).
Erik HollnagelPublished in: Knowl. Based Syst. (1992)
Keyphrases
- knowledge based systems
- formal methods
- expert systems
- knowledge acquisition
- knowledge base
- knowledge representation
- test generation
- knowledge engineering
- artificial intelligence
- model checking
- knowledge representation scheme
- knowledge structures
- production rules
- test cases
- knowledge sources
- civil engineering
- inference engine
- neural network
- knowledge acquisition tools