An Approach to the Verification and Correction of Knowledge-Based Systems.
Ahmed YounesMoheb R. GirgisM. R. HassanPublished in: Egypt. Comput. Sci. J. (2000)
Keyphrases
- knowledge based systems
- formal methods
- expert systems
- knowledge acquisition
- knowledge base
- artificial intelligence
- model checking
- knowledge representation
- knowledge engineering
- deep knowledge
- knowledge sources
- inference engine
- rule based systems
- expert knowledge
- production rules
- formal specification
- medical knowledge
- knowledge representation scheme