B 规则B-ruleF 规则F-ruleNP 完全问题 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扩展节点expendingnode连词，连接词connective量词quantifier量词辖域scope ofquantifier论域，文字域domainof discourse逻辑logic逻辑连词logicconnective逻辑推理logicreasoning盲目搜索，无信息搜blind search模式匹配match pattern模式识别Patternrecognition母式matrix逆向推理backwardreasoning匹配match启发函数heuristicfunction启发式搜索Heuristicsearch启发搜索heuristicsearch启发信息heuristicinformation前缀prefix全称量词universalquantifier全局数据库Globaldatabase人工神经网络artificialneural network人工智能artificialintelligence,AI人工智能语言AIlanguage深度优先搜索depth-first search事实fact搜索search, searching搜索策略searchingstrategy搜索树searching tree搜索算法searchingalgorithm搜索算法的效率efficiency of searchalgorithm搜索图searching graph算符、算子、操作符operator图graph图表示法graph notation图搜索graph search图搜索控制策略graph-search controlstrategy推导表，引导图derivation graph推理inference推理reasoning推理机reasoning machine谓词predicate谓词逻辑predicatelogic谓词演算predicatecalculus谓词演算公式wffs ofpredicate calculus谓词演算辖域domainin predicate calculus文字literal问题归约problem-reduction问题求解problemsolving析取disjunction析取式disjunct线形输入形策略linear-input formstrategy项term学习learning演绎deduction一阶谓词演算firstorder predicate calculus一致解图consistantsolution graph遗传算法geneticalgorithm永真式validity有向图directed graph有序搜索orderedsearch与或树AND/OR tree与或图AND/OR graph与节点AND node原子公式atomicformula蕴涵，蕴涵式implication正向推理forwardreasoning知识knowledge知识工程knowledgeengineering知识获取knowledgeacquisition知识库knowledge base智能intelligence重言式tautology专家系统Expert system状态state状态空间state space子句clause自动定理证明automatic theoremproving组合爆炸combinatorialexplosion祖先过滤形策略ancestry-filtered formstrategy最一般合一most generalunifier最一般合一者mostgeneral unifier最优解树optimalsolution treeaction 动作AI language 人工智能语言ancestry-filtered form strategy 祖先过滤形策略AND node 与节点AND/OR graph 与或图AND/OR tree 与或树answer statement 回答语句artificial intelligence,AI 人工智能artificial neural network 人工神经网络atomic formula 原子公式automatic theorem proving 自动定理证明backed-up value 倒退值backtracking 回溯backward reasoning 逆向推理blind search 盲目搜索，无信息搜breadth-first search 宽度优先搜索B-rule B 规则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 存在量词expansion of node 节点的扩展expending node 扩展节点Expert system 专家系统fact 事实first order predicate calculus一阶谓词演算forward reasoning 正向推理F-rule F 规则game 博弈genetic algorithm 遗传算法Global database 全局数据库graph 图graph notation 图表示法graph search 图搜索graph-search control strategy图搜索控制策略heuristic function 启发函数heuristic information 启发信息Heuristic search 启发式搜索heuristic search 启发搜索implication 蕴涵，蕴涵式inference 推理intelligence 智能interpreter 解释器knowledge 知识knowledge acquisition 知识获取knowledge base 知识库knowledge engineering 知识工程learning 学习linear-input form strategy线形输入形策略literal 文字logic逻辑logic connective 逻辑连词logic reasoning 逻辑推理machine learning 机器学习match 匹配match pattern 模式匹配matrix 母式most general unifier 最一般合一most general unifier 最一般合一者NP-complete problem NP完全问题operator 算符、算子、操作符optimal solution tree 最优解树ordered search 有序搜索Pattern recognition 模式识别predicate 谓词predicate calculus 谓词演算predicate logic 谓词逻辑prefix 前缀primitive problem 本原问题problem solving 问题求解problem-reduction 问题归约production 产生式production rule 产生式规则quantifier 量词reasoning 推理reasoning machine 推理机reduction 归约refutation 反演refutation tree 反演树resolution归结resolution principle 归结原理resolution refutation 归结反演resolvent 归结式satisfiability 可满足性scope of quantifier 量词辖域search, searching 搜索searching algorithm 搜索算法searching graph 搜索图searching strategy 搜索策略searching tree 搜索树sentence 句子solution graph 解图solution tree 解树solvable labeling procedure可解标示过程solvable node 可解节点state 状态state space 状态空间substitution 代换substitution instance 代换例tautology 重言式term 项theorem-proving 定理证明uncertainty 不确定性unifier 合一universal quantifier 全称量词unsatisfiable set 不可满足集unsolvable node 不可解节点unsolvable-labelingprocedure不可解标示过程validity 永真式well-formed formula (wff)合适公式、合式公式wffs of predicate calculus谓词演算公式。