A Conceptual and Formal Model of a Diagnostic Reasoner.
V. Richard BenjaminsManfred AbenPublished in: EKAW (1996)
Keyphrases
- formal model
- expert systems
- formal models
- query answering
- knowledge base
- knowledge representation
- consistency checking
- temporal reasoning
- security properties
- medical diagnosis
- diagnostic knowledge
- conceptual structures
- knowledge structures
- decision making
- model based diagnosis
- low cost
- data model
- predicate calculus
- probabilistic knowledge
- disease diagnosis
- information systems