Knowledge-Based Systems Verification: A Machine Learning-Based Approach.
Hakim LounisPublished in: EUROVAV (1993)
Keyphrases
- knowledge based systems
- machine learning
- knowledge acquisition
- knowledge representation
- knowledge engineering
- formal methods
- expert systems
- artificial intelligence
- knowledge base
- production rules
- computational intelligence
- inference engine
- knowledge structures
- model checking
- rule based systems
- deep knowledge
- learning algorithm
- knowledge sources
- explanation based learning
- knowledge representation scheme
- data mining
- knowledge discovery
- data analysis
- inference rules
- semi automatic
- blackboard architecture
- real world