Automata-Based Abduction for Tractable Diagnosis.
Thomas HubauerSteffen LamparterMichael PirkerPublished in: Description Logics (2010)
Keyphrases
- closed world reasoning
- default reasoning
- knowledge base
- fault diagnosis
- model based reasoning
- model based diagnosis
- logic programming
- multiple faults
- abductive reasoning
- computational complexity
- automatic diagnosis
- causal networks
- background knowledge
- np complete
- real time
- fault detection
- medical diagnosis
- computationally tractable
- belief revision
- clinically relevant
- computational problems
- diagnostic tests
- medical diagnostic
- diagnostic reasoning
- special case