Preferring diagnoses by abduction.
Béchir el AyebPierre MarquisMichaël RusinowitchPublished in: IEEE Trans. Syst. Man Cybern. (1993)
Keyphrases
- logic programming
- model based diagnosis
- decision support
- background knowledge
- abductive reasoning
- causal networks
- diagnostic process
- diagnosis of discrete event systems
- domain knowledge
- logic programs
- belief revision
- propositional knowledge base
- databases
- diagnostic tests
- constraint satisfaction problems
- machine learning
- real world