Similarity-Based Reasoning With Order-Sorted Feature Logic.
Gian Carlo MilaneseGabriella PasiPublished in: IEEE Trans. Fuzzy Syst. (2024)
Keyphrases
- order sorted
- predicate logic
- knowledge representation and reasoning
- automated reasoning
- proof theory
- deductive reasoning
- order of magnitude reasoning
- logical framework
- knowledge representation
- computational properties
- commonsense reasoning
- reasoning engine
- intuitionistic logic
- probabilistic logic
- logical inference
- proof theoretic
- image features
- reasoning tasks
- logical rules
- feature set
- human reasoning
- feature vectors
- logical formulas
- knowledge base
- abductive reasoning
- causal reasoning
- reasoning process
- qualitative reasoning
- modal logic
- logic programming
- expert systems
- reasoning systems
- classical logic
- incomplete information
- model checking
- high level
- information retrieval