Practical model-based diagnosis with qualitative possibilistic uncertainty.
Didier CayracDidier DuboisHenri PradePublished in: UAI (1995)
Keyphrases
- model based diagnosis
- possibility theory
- uncertain knowledge
- diagnostic reasoning
- qualitative models
- model based reasoning
- possibilistic logic
- physical systems
- dynamic systems
- probability theory
- discrete event systems
- fault localization
- possibility distributions
- consistency based diagnosis
- decision theory
- expected utility
- diagnostic process
- failure diagnosis
- expected utility theory
- digital circuits
- qualitative and quantitative
- constraint programming
- model checking
- qualitative reasoning
- decision problems
- belief functions
- logic programming