A Propositional Plausible Logic.
David BillingtonPublished in: Australasian Conference on Artificial Intelligence (2015)
Keyphrases
- sound and complete axiomatization
- multi valued
- probabilistic logic
- propositional logic
- deductive reasoning
- horn clauses
- logic programming
- general logic programs
- predicate calculus
- propositional variables
- default logic
- proof procedure
- classical logic
- predicate logic
- first order logic
- asynchronous circuits
- autoepistemic logic
- conditional logic
- modal logic
- classical first order logic
- digital circuits
- automated reasoning
- normal form
- belief revision