名词解释
归结原理
为了证明子句集S的不可满足，只要对S中可进行归结的子句进行归结，并把归结式加入子句集S.得到新子句集S1，则S与S1在不......
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
名词解释 启发式搜索
名词解释 产生式
名词解释 机器学习
