Techniques for the Verification and Validation of Knowledge-based Systems: A Survey Based on the Symbol/Knowledge Level Distinction.
Anca I. VermesanTrevor J. M. Bench-CaponPublished in: Softw. Test. Verification Reliab. (1995)
Keyphrases
- knowledge level
- knowledge based systems
- knowledge acquisition
- formal methods
- expert systems
- knowledge representation
- knowledge base
- learning styles
- knowledge engineering
- adaptive learning
- high level
- model checking
- collaborative learning
- rule based systems
- production rules
- artificial intelligence
- deep knowledge
- domain experts
- knowledge structures
- knowledge sources
- online learning
- civil engineering
- blackboard architecture
- learning experience
- data sources
- e learning