A Hybrid Logic of Knowledge Supporting Topological Reasoning.
Bernhard HeinemannPublished in: AMAST (2004)
Keyphrases
- deductive reasoning
- knowledge base
- knowledge representation
- human reasoning
- probabilistic knowledge
- automated reasoning
- reasoning engine
- commonsense knowledge
- causal knowledge
- logical rules
- incomplete knowledge
- domain knowledge
- knowledge acquisition
- reasoning process
- expert systems
- procedural knowledge
- probabilistic logic
- knowledge based systems
- knowledge discovery
- inconsistent information
- intuitionistic logic
- reasoning processes
- dynamic epistemic logic
- reasoning mechanism
- predicate logic
- model based reasoning
- knowledge processing
- reasoning systems
- past experience
- qualitative reasoning
- knowledge sharing
- domain experts
- case based reasoning
- prior knowledge