判定逻辑
规范用词
判定逻辑
英文翻译
所属学科
计算机科学技术
>
人工智能
名词审定
计算机科学技术名词审定委员会
见载刊物
《
计算机科学技术名词（第二版）
》 科学出版社
公布时间
2002年
人工智能 的上级学科
计算机科学技术
判定逻辑 相关科技名词
泛合一
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