A Logic Inspired by Natural Language: Quantifiers As Subnectors.
Nissim FrancezPublished in: J. Philos. Log. (2014)
Keyphrases
- natural language
- formal language
- natural language processing
- modal logic
- machine learning
- logic programming
- natural language interface
- knowledge representation
- semantic representation
- information extraction
- question answering
- first order logic
- natural language understanding
- maximum entropy models
- semantic analysis
- classical logic
- language processing
- natural language generation
- nonmonotonic logics
- automated reasoning
- multi valued
- real time
- dialogue system
- conceptual graphs
- artificial intelligence
- semantic interpretation
- relational databases
- social networks
- digital circuits
- predicate logic
- formal theory
- dynamic logic
- proof theory
- logical formulas
- text generation
- databases