（简答题）

简述鲁滨逊归结原理基本思想？

正确答案

首先把欲证明问题的结论否定，并加入子句集，得到一个扩充的子句集S’。然后设法检验子句集S’是否含有空子句，若含有空子句，则表明S’是不可满足的；若不含有空子句，则继续使用归结法，在子句集中选择合适的子句进行归结，直至导出空子句或不能继续归结为止。

答案解析

略

相似试题

（填空题）
利用归结原理证明定理时，若得到的归结式为（），则结论成立。
答案解析
（填空题）
在归结原理中，几种常见的归结策略并且具有完备性的是（）、（）、（）
答案解析
（多选题）
存储程序的工作原理的基本思想是（）
答案解析
（名词解析）
归结原理
答案解析
（简答题）
简述网桥的基本工作原理。
答案解析
（简答题）
简述NetFlow技术的基本原理和工作过程。
答案解析
（简答题）
简述什么是双重签名以及其基本工作原理。
答案解析
（简答题）
简述计算机自动计算的基本原理。
答案解析
（简答题）
简述DMA的基本原理。
答案解析

快考试在线搜题