Verifying Knowledge-Based Systems Using the COVER Tool.
Alun D. PreeceR. D. BellChing Y. SuenPublished in: IFIP Congress (3) (1992)
Keyphrases
- knowledge based systems
- knowledge acquisition tools
- knowledge acquisition
- expert systems
- knowledge base
- knowledge engineers
- knowledge representation
- knowledge sources
- artificial intelligence
- deep knowledge
- knowledge engineering
- knowledge representation scheme
- production rules
- rule based systems
- software engineering
- knowledge structures
- inference engine
- formal methods
- medical knowledge
- blackboard architecture
- real world