Approximate Knowledge Mass and Extended Automation Reasoning System in Type II Topological Logic.
Yalin ZhengGuang YangJing ZhengPeican HuangPublished in: FSKD (1) (2008)
Keyphrases
- type ii
- deductive reasoning
- knowledge base
- reasoning engine
- logical rules
- knowledge representation
- domain knowledge
- knowledge acquisition
- probabilistic knowledge
- automated reasoning
- human reasoning
- reasoning process
- inconsistent knowledge
- uncertain information
- reasoning mechanism
- order of magnitude reasoning
- temporal knowledge
- type i error
- proof theoretic
- expert systems
- proof theory
- logical framework
- probabilistic logic
- knowledge management
- commonsense reasoning
- general knowledge
- reasoning about actions
- logical formulas
- qualitative reasoning
- production rules
- modal logic
- fuzzy description logics
- logic programming
- knowledge based systems
- learning process