Natural Language Dialogue Formalization: From Hyperintensional Logic to Linear Logic.
Zuzana BilanováJán PerhácPublished in: ICTERI PhD Symposium (2019)
Keyphrases
- linear logic
- natural language dialogue
- logical framework
- cut elimination
- intuitionistic logic
- proof theoretic
- sequent calculus
- proof search
- logic programming
- tutorial dialogue
- fixed point
- inference rules
- knowledge representation
- desirable properties
- belief revision
- intelligent tutoring systems
- nonmonotonic reasoning
- relational databases
- classical logic