人工智能概论中英文术语对照.docVIP

人工智能概论中英文术语对照表 动作 action 专家系统 Expert system 人工智能语言 AI language 祖先过滤形策略 ancestry-filtered form strategy 与节点 AND node 与或图 AND/OR graph 与或树 AND/OR tree 回答语句 answer statement 人工智能 artificial intelligence,AI 原子公式 atomic formula 自动定理证明 automatic theorem proving B规则 B-rule 倒退值 backed-up value 回溯 backtracking 盲目搜索，无信息搜索 blind search 宽度优先搜索 breadth-first search 子句 clause 组合爆炸 combinatorial explosion 冲突解决 conflict resolution 合取式 conjunct 合取 conjunction 合取范式 conjunctive normal form 连词，连接词 connective 一致解图 consistant solution graph 控制策略 control strategy 费用 cost 演绎 deduction 深度优先搜索 depth-first search 推导表，引导图 derivation graph 差别 difference 有向图 directed graph 析取式 disjunct 析取 disjunction 谓词演算辖域 domain in predicate calculus 论域，文字域 domain of discourse 搜索算法的效率 efficiency of search algorithm 空子句 empty clause 等价 equivalence 估计费用 estimated cost 估值函数 evaluation function 存在量词 existential quantifier 扩展节点 expending node 节点的扩展 expansion of node F规则 F-rule 事实 fact 一阶谓词演算 first order predicate calculus 博弈 game 图 graph 图表示法