Abductive reasoning by constructing probabilistic deduction graphs for solving the diagnosis problem.
Han-Lin LiChao-Chih YangPublished in: Decis. Support Syst. (1991)
Keyphrases
- abductive reasoning
- probabilistic logic
- inference rules
- causal inference
- probability theory
- logical representation
- probabilistic reasoning
- logic programs
- reasoning tasks
- first order logic
- prime implicates
- generative model
- probabilistic model
- nonmonotonic reasoning
- plan recognition
- modal logic
- maximum entropy
- artificial intelligence
- default reasoning
- bayesian networks
- natural language understanding
- theorem proving
- theorem prover
- conditional probabilities
- logic programming
- decision making