Incorporating Probabilistic Reasoning in a Reactive Program Debugging System.
Lisa J. BurnellScott E. TalbotPublished in: IEEE Expert (1994)
Keyphrases
- probabilistic reasoning
- bayesian networks
- reasoning under uncertainty
- constraint satisfaction
- first order logic
- knowledge representation
- probabilistic logic
- default reasoning
- belief networks
- probabilistic inference
- logic programming
- qualitative probabilistic networks
- random variables
- probability distribution
- knowledge base
- probabilistic knowledge
- constraint satisfaction problems
- markov logic networks
- artificial intelligence
- data mining