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

人工智能概论中英文术语对照表
动作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。