Probabilistic Inference and Baysian Theorem Based on Logical Implication.
Yukari YamauchiMasao MukaidonoPublished in: RSFDGrC (1999)
Keyphrases
- probabilistic inference
- logical implication
- automated reasoning
- probabilistic reasoning
- functional dependencies
- description logics
- deductive databases
- refinement operators
- graphical models
- answering queries
- bayesian networks
- message passing
- weighted model counting
- belief networks
- knowledge representation
- conditional probabilities
- knowledge base
- query evaluation
- relational databases
- integrity constraints
- relational learning
- database design
- inductive logic programming
- normal form
- query answering
- theorem proving
- probabilistic model
- natural language
- data sets