On Reducing Reasoning and Querying in Natural Logic to Database Querying.
Troels AndreasenHenrik BulskovJørgen Fischer NilssonPublished in: FQAS (2023)
Keyphrases
- database querying
- databases
- proof theory
- automated reasoning
- fuzzy linguistic
- computational properties
- deductive reasoning
- order of magnitude reasoning
- intuitionistic logic
- proof theoretic
- direct manipulation
- reasoning engine
- human reasoning
- classical logic
- logic programming
- probabilistic logic
- default reasoning
- horn logic
- logical framework
- real time
- modal logic
- reasoning about actions
- knowledge representation
- logical rules
- user interface
- knowledge base
- artificial intelligence
- information retrieval
- domain knowledge
- machine learning
- fuzzy logic