Principles and Examples of Plausible Reasoning and Propositional Plausible Logic.
David BillingtonPublished in: CoRR (2017)
Keyphrases
- plausible reasoning
- probability theory
- multi valued
- sound and complete axiomatization
- belief revision
- propositional logic
- horn clauses
- probabilistic logic
- default logic
- data mining
- logic programming
- propositional theories
- genetic algorithm
- deductive reasoning
- truth maintenance systems
- proof procedure
- predicate logic
- computational properties
- pattern recognition
- computational intelligence
- first order logic
- training examples