《人工智能概论中英文术语对照汇编》由会员分享，可在线阅读，更多相关《人工智能概论中英文术语对照汇编（7页珍藏版）》请在金锄头文库上搜索。
1、人工智能概论中英文术语对照 人工智能概论中英文术语对照表 动作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 回溯backtracki
2、ng 盲目搜索，无信息搜索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 gr
3、aph 差别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 nod
4、e F规则F-rule 事实fact 一阶谓词演算first order predicate calculus 博弈game 图graph 图表示法graph notation 图搜索graph search 图搜索控制策略graph-search control strategy 启发函数heuristic function 启发信息heuristic information 启发搜索heuristic search 蕴涵，蕴涵式implication 推理inference 智能intelligence 解释器interpreter 知识knowledge 知识获取knowledge ac
5、quisition 全局数据库Global database 知识库knowledge base 知识工程knowledge engineering 学习learning 启发式搜索Heuristic search 线形输入形策略linear-input form strategy 文字literal 逻辑logic 逻辑连词logic connective 逻辑推理logic reasoning 匹配match 模式匹配match pattern 母式matrix 最一般合一者most general unifier NP完全问题NP-complete problem 算符、算子、操作符op
6、erator 最优解树optimal solution tree 有序搜索ordered search 谓词predicate 谓词演算predicate calculus 谓词逻辑predicate logic 前缀prefix 本原问题primitive problem 问题归约problem-reduction 问题求解problem solving 产生式production 产生式规则production rule 量词quantifier 推理reasoning 正向推理forward reasoning 逆向推理backward reasoning 推理机reasoning ma
7、chine 归约reduction 反演refutation 反演树refutation tree 归结resolution 归结原理resolution principle 归结反演resolution refutation 归结式resolvent 可满足性satisfiability 模式识别Pattern recognition 量词辖域scope of quantifier 搜索search, searching 搜索算法searching algorithm 搜索图searching graph 搜索策略searching strategy 搜索树searching tree 句子
8、sentence 解图solution graph 解树solution tree 可解节点solvable node 可解标示过程solvable labeling procedure 状态state 状态空间state space 代换例substitution instance 代换substitution 重言式tautology 项term 定理证明theorem-proving 不确定性uncertainty 合一unifier 最一般合一most general unifier 全称量词universal quantifier 不可满足集unsatisfiable set 不可解标示过程unsolvable-labeling procedure 不可解节点unsolvable node 永真式validity 合适公式、合式公式well-formed formula (wff) 谓词演算公式wffs of predicate calculus 人工神经网络artificial neural network 遗传算法genetic algorithm 机器学习machine learning
