From propositional logic to plausible reasoning: A uniqueness theorem.
Kevin S. Van HornPublished in: Int. J. Approx. Reason. (2017)
Keyphrases
- propositional logic
- plausible reasoning
- belief revision
- belief change
- valued logic
- possibilistic logic
- lattice theory
- quantified boolean formulae
- first order logic
- bayesian networks
- belief update
- knowledge base
- probability theory
- temporal logic
- horn logic
- propositional formulas
- propositional satisfiability
- davis putnam
- probabilistic model