Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement Learning.
Mitsuru KusumotoKeisuke YahataMasahiro SakaiPublished in: CoRR (2018)
Keyphrases
- propositional logic
- automated theorem proving
- theorem prover
- first order logic
- reinforcement learning
- theorem proving
- inference rules
- classical logic
- quantified boolean formulae
- knowledge representation
- belief revision
- possibilistic logic
- lattice theory
- propositional satisfiability
- satisfiability testing
- incomplete information
- optimal policy
- belief change
- state space
- general purpose
- horn clauses
- propositional formulas
- machine learning
- data mining