Topological Reasoning and the Logic of Knowledge.
Andrew DabrowskiLawrence S. MossRohit ParikhPublished in: Ann. Pure Appl. Log. (1996)
Keyphrases
- deductive reasoning
- knowledge base
- knowledge representation
- reasoning engine
- human reasoning
- reasoning process
- prior knowledge
- proof theory
- probabilistic knowledge
- order of magnitude reasoning
- knowledge acquisition
- automated reasoning
- logical rules
- inconsistent knowledge
- incomplete knowledge
- temporal knowledge
- qualitative reasoning
- logic programming
- knowledge sharing
- production rules
- general knowledge
- model based reasoning
- inconsistent information
- computational properties
- knowledge discovery
- reasoning processes
- causal knowledge
- logical inference
- commonsense knowledge
- logical formulas
- reasoning mechanism
- knowledge processing
- formal models
- reasoning systems
- logical framework
- probabilistic logic