Similarity-Based Reasoning and Retrieval with Order-Sorted Feature Logic.
Gian Carlo MilaneseGabriella PasiPublished in: IIR (2021)
Keyphrases
- order sorted
- predicate logic
- knowledge representation and reasoning
- proof theory
- automated reasoning
- similarity estimation
- deductive reasoning
- computational properties
- information retrieval
- intuitionistic logic
- proof theoretic
- classical logic
- similarity based retrieval
- logical framework
- human reasoning
- reasoning engine
- image database
- probabilistic logic
- modal logic
- order of magnitude reasoning
- information retrieval systems
- reasoning systems
- knowledge base
- artificial intelligence
- logical inference
- horn logic
- domain knowledge
- relevance feedback
- reasoning about actions
- reasoning tasks
- commonsense reasoning
- proof procedure
- abductive reasoning
- reasoning problems
- data mining
- logical rules
- description logics
- default logic
- temporal logic
- knowledge sources
- document retrieval
- logic programming
- higher level