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

人工智能概论中英文术语对照表动作action专家系统Expertsystem人工智能语言AIlanguage祖先过滤形策略ancestry-filteredformstrategy与节点ANDnode与或图AND/ORgraph与或树AND/ORtree回答语句answerstatement人工智能artificialintelligence,AI原子公式atomicformula自动定理证明automatictheoremprovingB规则B-rule倒退值backed-upvalue回溯backtracking盲目搜索，无信息搜索blindsearch宽度优先搜索breadth-firstsearch子句clause组合爆炸combinatorialexplosion冲突解决conflictresolution合取式conjunct合取conjunction合取范式conjunctivenormalform连词，连接词connective一致解图consistantsolutiongraph控制策略controlstrategy费用cost演绎deduction深度优先搜索depth-firstsearch推导表，引导图derivationgraph差别difference有向图directedgraph析取式disjunct析取disjunction谓词演算辖域domaininpredicatecalculus论域，文字域domainofdiscourse搜索算法的效率efficiencyofsearchalgorithm空子句emptyclause等价equivalence估计费用estimatedcost估值函数evaluationfunction存在量词existentialquantifier扩展节点expendingnode节点的扩展expansionofnodeF规则F-rule事实fact一阶谓词演算firstorderpredicatecalculus博弈game图graph图表示法graphnotation图搜索graphsearch图搜索控制策略graph-searchcontrolstrategy启发函数heuristicfunction启发信息heuristicinformation启发搜索heuristicsearch蕴涵，蕴涵式implication推理inference智能intelligence解释器interpreter知识knowledge知识获取knowledgeacquisition全局数据库Globaldatabase知识库knowledgebase知识工程knowledgeengineering学习learning启发式搜索Heuristicsearch线形输入形策略linear-inputformstrategy文字literal逻辑logic逻辑连词logicconnective逻辑推理logicreasoning匹配match模式匹配matchpattern母式matrix最一般合一者mostgeneralunifierNP完全问题NP-completeproblem算符、算子、操作符operator最优解树optimalsolutiontree有序搜索orderedsearch谓词predicate谓词演算predicatecalculus谓词逻辑predicatelogic前缀prefix本原问题primitiveproblem问题归约problem-reduction问题求解problemsolving产生式production产生式规则productionrule量词quantifier推理reasoning正向推理forwardreasoning逆向推理backwardreasoning推理机reasoningmachine归约reduction反演refutation反演树refutationtree归结resolution归结原理resolutionprinciple归结反演resolutionrefutation归结式resolvent可满足性satisfiability模式识别Patternrecognition量词辖域scopeofquantifier搜索search,searching搜索算法searchingalgorithm搜索图searchinggraph搜索策略searchingstrategy搜索树searchingtree句子sentence解图solutiongraph解树solutiontree可解节点solvablenode可解标示过程solvablelabelingprocedure状态state状态空间statespace代换例substitutioninstance代换substitution重言式tautology项term定理证明theorem-proving不确定性uncertainty合一unifier最一般合一mostgeneralunifier全称量词universalquantifier不可满足集unsatisfiableset不可解标示过程unsolvable-labelingprocedure不可解节点unsolvablenode永真式validity合适公式、合式公式well-formedformula(wff)谓词演算公式wffsofpredicatecalculus人工神经网络artificialneuralnetwork遗传算法geneticalgorithm机器学习machinelearning