Toward Generating Natural-Language Explanations of Modal-Logic Proofs.
Michael GiancolaSelmer BringsjordNaveen Sundar GovindarajuluPublished in: AGI (2022)
Keyphrases
- modal logic
- decision procedures
- natural language
- sequent calculus
- temporal logic
- inference rules
- cut elimination
- epistemic logic
- nonmonotonic logics
- classical logic
- knowledge representation
- theorem proving
- default logic
- natural language processing
- machine learning
- semantic analysis
- theorem prover
- autoepistemic logic
- dynamic logic
- information extraction
- dialogue system
- conditional logic
- situation calculus
- machine translation
- natural language understanding
- model checking
- explanation based generalization
- artificial intelligence
- model theoretic
- optimal policy