Reasoning in Natural Language in using Combinatory Logic and Topology An example with aspect and temporal relations.
Jean-Pierre DesclésPublished in: FLAIRS Conference (2010)
Keyphrases
- temporal relations
- natural language
- knowledge representation
- automated reasoning
- proof theory
- deductive reasoning
- order of magnitude reasoning
- computational properties
- temporal reasoning
- logical formulas
- temporal information
- logical framework
- intuitionistic logic
- logic programming
- reasoning tasks
- temporal structure
- formal language
- spatial relations
- machine learning
- modal logic
- complex events
- natural language processing
- knowledge base
- video clips
- information retrieval
- information extraction
- image classification
- search engine