Compositional Verification of Knowledge-Based Systems: A Case Study for Diagnostic Reasoning.
Frank CornelissenCatholijn M. JonkerJan TreurPublished in: EKAW (1997)
Keyphrases
- knowledge based systems
- diagnostic reasoning
- medical diagnosis
- formal methods
- expert systems
- reasoning systems
- model based diagnosis
- knowledge acquisition
- knowledge base
- diagnostic problem solving
- knowledge representation
- knowledge sources
- model checking
- deep knowledge
- artificial intelligence
- automated reasoning
- bayesian networks
- influence diagrams
- knowledge engineering
- belief networks
- blackboard architecture
- knowledge acquisition tools
- fuzzy logic
- probabilistic model
- decision making