A New Approach to Model-Based Diagnosis Using Probabilistic Logic.
Nikita A. SakhanenkoRoshan RammohanGeorge F. LugerCarl R. SternPublished in: FLAIRS Conference (2008)
Keyphrases
- model based diagnosis
- probabilistic logic
- probabilistic reasoning
- maximum entropy
- model based reasoning
- dynamic systems
- discrete event systems
- diagnostic reasoning
- default reasoning
- probabilistic knowledge
- physical systems
- model checking
- probability theory
- bayesian networks
- constraint programming
- temporal logic
- heuristic search
- decision making
- fault model