Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles.
Andreas BauerPublished in: CPAIOR (2005)
Keyphrases
- model based diagnosis
- model based reasoning
- diagnostic reasoning
- probabilistic logic
- causal reasoning
- diagnostic systems
- deductive reasoning
- proof procedure
- reasoning systems
- first order logic
- propositional logic
- medical diagnosis
- automated reasoning
- diagnostic problem solving
- fault detection
- knowledge representation
- diagnostic process
- causal knowledge
- automatic diagnosis
- knowledge base
- reasoning process
- knowledge representation and reasoning
- truth maintenance systems
- probabilistic reasoning
- default logic
- fault diagnosis
- computational properties
- predicate calculus
- knowledge compilation
- reasoning processes
- qualitative reasoning
- default reasoning
- strips planning
- neural network