问答题
简述鲁滨逊归结原理基本思想?
首先把欲证明问题的结论否定,并加入子句集,得到一个扩充的子句集S’。然后设法检验子句集S’是否含......
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
问答题 子句集的化简的步骤?‘
问答题 演绎推理与归纳推理的区别?
问答题 知识有哪几种表示方法?