Construction of a Bayesian Network as an Extension of Propositional Logic.
Takuto EnomotoMasaomi KimuraPublished in: KDIR (2015)
Keyphrases
- propositional logic
- bayesian networks
- belief revision
- first order logic
- possibilistic logic
- quantified boolean formulae
- lattice theory
- belief change
- proof procedure
- probabilistic reasoning
- truth maintenance systems
- graphical models
- satisfiability testing
- conditional probabilities
- davis putnam
- default theories
- propositional satisfiability
- conditional independence