Logic of natural language: Through the eyes of ontological semantics.
Julia Taylor RayzVictor RaskinPublished in: ICCI*CC (2016)
Keyphrases
- natural language
- formal language
- logic programming
- knowledge representation
- proof theory
- logical formulas
- semantic interpretation
- ontological framework
- sound and complete axiomatization
- propositional dynamic logic
- nonmonotonic logics
- formal semantics
- epistemic logic
- natural language interface
- sound and complete with respect
- proof theoretic
- knowledge representation language
- semantic representation
- dynamic logic
- classical logic
- conceptual graphs
- modal operators
- model theoretic
- derivation rules
- natural language processing
- computational properties
- highly expressive
- default reasoning
- automated reasoning
- active rules
- operational semantics
- machine learning
- ontological reasoning
- rule engine
- alternating time temporal logic
- autoepistemic logic
- modal logic
- owl ontologies
- conditional logic
- predicate logic
- logical framework
- conceptual modeling
- fixed point semantics
- description logics
- nonmonotonic reasoning
- intuitionistic logic
- rewrite systems
- semantic analysis
- abstract argumentation frameworks
- question answering
- logic programs
- ontological concepts
- semantic information
- belief revision
- deductive databases
- linear logic
- information extraction
- asynchronous circuits
- deontic logic