Granular Logic with Closeness Relation "~lambda" and Its Reasoning.
Qing LiuQianying WangPublished in: RSFDGrC (1) (2005)
Keyphrases
- automated reasoning
- proof theory
- deductive reasoning
- order of magnitude reasoning
- computational properties
- proof theoretic
- human reasoning
- logical framework
- intuitionistic logic
- lambda calculus
- logical inference
- reasoning engine
- reasoning tasks
- reasoning systems
- knowledge representation
- horn logic
- commonsense reasoning
- logic programming
- probabilistic logic
- reasoning problems
- abstract argumentation
- abductive reasoning
- classical logic
- knowledge representation formalisms
- reasoning about actions
- predicate logic
- reasoning process
- modal logic
- rough sets
- causal reasoning
- logical rules
- granular computing
- probabilistic reasoning
- description logics
- proof procedure
- spatial reasoning
- expressive power
- fuzzy logic