Integrating Machine-Learning Techniques in Knowledge-Based Systems Verification.
Hakim LounisPublished in: ISMIS (1993)
Keyphrases
- knowledge based systems
- formal methods
- knowledge acquisition
- expert systems
- machine learning
- knowledge representation
- knowledge base
- knowledge engineering
- model checking
- artificial intelligence
- production rules
- knowledge structures
- inference engine
- rule based systems
- civil engineering
- deep knowledge
- knowledge representation scheme
- knowledge sources
- medical knowledge
- medical diagnosis