Automated proof synthesis for propositional logic with deep neural networks.
Taro SekiyamaKohei SuenagaPublished in: CoRR (2018)
Keyphrases
- propositional logic
- neural network
- proof procedure
- first order logic
- belief revision
- possibilistic logic
- quantified boolean formulae
- theorem proving
- theorem prover
- fuzzy logic
- lattice theory
- davis putnam
- valued logic
- satisfiability testing
- genetic algorithm
- orders of magnitude
- knowledge representation
- propositional satisfiability
- expert systems
- truth maintenance systems