Henkin semantics for reasoning with natural language.
Michael HahnFrank RichterPublished in: J. Lang. Model. (2015)
Keyphrases
- natural language
- knowledge representation
- semantic interpretation
- reasoning tasks
- open world
- reasoning mechanisms
- default rules
- semantic representation
- conceptual graphs
- proof theory
- logic programming
- fuzzy description logics
- logical formulas
- reasoning mechanism
- logical rules
- knowledge representation language
- natural language processing
- logical framework
- reasoning services
- information extraction
- proof theoretic
- language processing
- formal language
- natural language interface
- derivation rules
- conceptual representation
- computational properties
- description logics
- reasoning process
- formal semantics
- graphical representation
- default reasoning
- reasoning systems
- vague concepts
- uml class diagrams
- knowledge representation and reasoning
- intuitionistic logic
- abstract argumentation
- semantic analysis
- closed world
- automated reasoning
- defeasible reasoning
- natural language generation
- language understanding
- uncertain information
- highly expressive
- nonmonotonic reasoning
- production rules
- answer set programming
- knowledge base
- reasoning about actions
- machine learning