Compositional Verification of Knowledge-based Systems: a Case Study in Diagnostic Reasoning.
Frank CornelissenCatholijn M. JonkerJan TreurPublished in: EUROVAV (1997)
Keyphrases
- knowledge based systems
- diagnostic reasoning
- formal methods
- medical diagnosis
- reasoning systems
- knowledge acquisition
- expert systems
- model based diagnosis
- bayesian networks
- diagnostic problem solving
- knowledge representation
- influence diagrams
- artificial intelligence
- model checking
- knowledge engineering
- knowledge sources
- knowledge base
- knowledge representation scheme
- belief networks
- blackboard architecture
- machine learning