Towards Proof Synthesis Guided by Neural Machine Translation for Intuitionistic Propositional Logic.
Taro SekiyamaAkifumi ImanishiKohei SuenagaPublished in: CoRR (2017)
Keyphrases
- propositional logic
- machine translation
- theorem prover
- linear logic
- first order logic
- natural deduction
- proof procedure
- belief revision
- theorem proving
- language independent
- language processing
- cross lingual
- information extraction
- logical framework
- target language
- natural language processing
- cross language information retrieval
- quantified boolean formulae
- inference rules
- language resources
- word level
- statistical machine translation
- machine translation system
- belief change
- fuzzy set theory
- multilingual documents
- logic programming
- word alignment
- knowledge representation
- chinese english
- natural language
- expert systems
- query translation
- temporal logic
- satisfiability testing
- image analysis
- horn logic
- brazilian portuguese