Repairing Errors in PRISM Programs Using Probabilistic Abduction Reasoning.
Mustapha BourahlaPublished in: MEDI (2015)
Keyphrases
- causal networks
- probabilistic logic
- abductive reasoning
- probabilistic reasoning
- bayesian networks
- probabilistic model
- abductive logic programming
- knowledge representation
- generative model
- knowledge base
- probabilistic logic programs
- probabilistic knowledge
- uncertain data
- reasoning tasks
- reasoning process
- artificial intelligence
- causal relationships
- error analysis
- model based diagnosis
- default reasoning
- qualitative reasoning
- answer sets
- generation algorithm
- reasoning systems
- maximum entropy
- logic programming
- graphical models