Topological Reasoning and The Logic of Knowledge.
Lawrence S. MossRohit ParikhPublished in: TARK (1992)
Keyphrases
- deductive reasoning
- knowledge representation
- knowledge base
- probabilistic knowledge
- human reasoning
- logical rules
- automated reasoning
- computational properties
- reasoning engine
- logic programming
- reasoning process
- inconsistent knowledge
- commonsense knowledge
- knowledge processing
- general knowledge
- probabilistic logic
- knowledge acquisition
- knowledge based systems
- expert systems
- domain knowledge
- knowledge structures
- procedural knowledge
- model based reasoning
- domain experts
- commonsense reasoning
- reasoning mechanisms
- reasoning mechanism
- horn logic
- causal knowledge
- data mining techniques
- hypothetical reasoning
- proof theory
- design process
- temporal knowledge
- knowledge sharing
- formal models
- reasoning systems
- production rules