人工智能中英文翻译(升序排列).doc

B 规则 B-rule F 规则 F-rule NP 完全问题 NP-complete problem 本原问题 primitive problem 博弈 game 不可解标示过程 unsolvable-labeling procedure 不可解节点 unsolvable node 不可满足集 unsatisfiable set 不确定性 uncertainty 差别 difference 产生式 production 产生式规则 production rule 冲突解决 conflict resolution 存在量词 existential quantifier 代换 substitution 代换例 substitution instance 倒退值 backed-up value 等价 equivalence 定理证明 theorem-proving 动作 action 反演 refutation 反演树 refutation tree 费用 cost 估计费用 estimated cost 估值函数 evaluation function 归结 resolution 归结反演 resolution refutation 归结式 resolvent 归结原理 resolution principle 归约 reduction 合取 conjunction 合取范式 conjunctive normal form 合取式 conjunct 合适公式、合式公式 well-formed formula (wff) 合一 unifier 回答语句 answer statement 回溯 backtracking 机器学习 machine learning 节点的扩展 expansion of node 解释器 interpreter 解树 solution tree 解图 solution graph 句子 sentence 可解标示过程 solvable labeling procedure 可解节点 solvable node 可满足性 satisfiability 空子句 empty clause 控制策略 control strategy 宽度优先有哪些信誉好的足球投注网站 breadth-first search 扩展节点 expending node 连词，连接词 connective 量词 quantifier 量词辖域 scope of quantifier 论域，文字域 domain of discourse 逻辑 logic 逻辑连词 logic connective 逻辑推理 logic reasoning 盲目有哪些信誉好的足球投注网站，无信息搜 blind search 模式匹配 match pattern 模式识别 Pattern recognition 母式 matrix 逆向推理 backward reasoning 匹配 match 启发函数 heuristic function 启发式有哪些信誉好的足球投注网站 Heuristic search 启发有哪些信誉好的足球投注网站 heuristic search 启发信息 heuristic information 前缀 prefix 全称量词 universal quantifier 全局数据库 Global database 人工神经网络 artificial neural network 人工智能 artificial intelligence,AI 人工智能语言 AI language 深度优先有哪些信誉好的足球投注网站 depth-first search 事实 fact 有哪些信誉好的足球投注网站 search, searching 有哪些信誉好的足球投注网站策略 searching strategy 有哪些信誉好的足球投注网站树 searching tree 有哪些信誉好的足球投注网站算法 searching algorithm 有哪些信誉好的足球投注网站算法的效率 efficiency of search algorithm 有哪些信誉好的足球投注网站图 searching graph 算符、算子、操作符 operator 图 graph 图表示法 graph notation 图有哪些信誉好的足球投注网站 graph search 图有哪些信誉好的足球投注网站控制策略 graph-search control strategy 推导表，引导图 derivation graph 推理 inference 推理 reasoning 推理机 reasoning machine 谓词 predicate 谓词逻辑 predicate logic 谓词演算 predicate calculus 谓词演算公式 wffs of predicate calculus 谓词演算辖域 domain in predicate calculus 文字 literal 问题归约 problem-reduction 问题求解 pro