Validation and verification of intelligent systems - what are they and how are they different?
Avelino J. GonzalezValerie BarrPublished in: J. Exp. Theor. Artif. Intell. (2000)
Keyphrases
- intelligent systems
- artificial intelligence
- computational intelligence
- model checking
- ambient intelligence
- hybrid systems
- expert systems
- soft computing
- intelligent agents
- multi disciplinary
- ai systems
- human level
- hybrid intelligent systems
- medical decision support
- decision making
- evolutionary algorithm
- neural network