人工智能中英文翻译(升序排列).docVIP

B 规则 B-rule F 规则 F-rule NP 完全问题 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 合取范式 con