科学技术名词为您提供形式推理,formal reasoning,形式推理的意思,formal reasoning的意思,形式推理的英文,formal reasoning的翻译,形式推理的翻译,形式推理是什么意思,形式推理什么意思,formal reasoning是什么意思,formal reasoning什么意思
形式推理 相关科技名词
- 泛合一universal unification
- 最广合一子most general unifier
- 推理reasoning;inference
- 启发式推理heuristic inference
- 推理策略inference strategy
- 推理模型inference model;reasoning model
- 自动推理automated reasoning
- 形式推理formal reasoning
- 基于知识[的]推理系统knowledge-based inference system
- 自动逻辑推理automated logic inference
- 演绎推理deductive inference
- 反绎推理abductive reasoning
- 假设hypothesis
- 断言assertion
- 自动演绎automatic deduction
- 规则推理rule-based reasoning
- 正向推理forward reasoning;forward chained reasoning
- 目标驱动goal driven
- 反向推理backward reasoning;backward chained reasoning
- 双向推理bidirection reasoning
- 目标导向推理goal-directed reasoning
- 基于知识[的]推理knowledge-based inference
- 逻辑推理logical reasoning
- 自顶向下推理top-down reasoning
- 自底向上推理bottom-up reasoning
- 元推理metareasoning
- 不确定推理uncertain reasoning
- 模糊推理fuzzy reasoning
- 类比推理analogical inference
- 单调推理monotonic reasoning
- 非单调推理non-monotonic reasoning
- 限定推理circumscription reasoning
- 默认推理default reasoning
- 真值维护系统truth maintenance system;TMS
- 归纳推理inductive reasoning;inductive in- ference
- 信念belief
- 确信度certainty factor;CF
- 置信测度confidence measure
- 证据理论evidence theory
- 可能性理论possibility theory
别人正在查