Marc Ayel and Jean-Pierre H. Larent (eds.): Validation, Verification and Test of Knowledge-Based Systems (Buchbesprechung).
Stefan KirnPublished in: Datenbank Rundbr. (1992)
Keyphrases
- knowledge based systems
- formal methods
- knowledge acquisition
- expert systems
- knowledge base
- deep knowledge
- knowledge representation
- knowledge engineering
- artificial intelligence
- test generation
- knowledge sources
- inference engine
- rule based systems
- model checking
- production rules
- civil engineering
- knowledge acquisition tools
- knowledge structures
- medical knowledge
- reinforcement learning
- machine learning
- neural network