人工智能基本术语
转自：http://wenku.baidu.com/link?url=Xv5CaxpZTlnuw1riGoE9WXG9dBbMXJvp6cn8CkcLBQA8u6y6tJ7ki4L2vdMlcx1IW19IvZRc1TYMtWsFekqHnzIUouvSUNNiwTXioJZVpVO
人工智能概论中英文术语对照表
动作 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
图表示法 graph notation
图搜索 graph search
图搜索控制策略 graph-search control strategy
启发函数 heuristic function
启发信息 heuristic information
启发搜索 heuristic search
蕴涵，蕴涵式 implication
推理 inference
智能 intelligence
解释器 interpreter
知识 knowledge
知识获取 knowledge acquisition
全局数据库 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
算符、算子、操作符 operator
最优解树 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 machine
归约 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
句子 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