简答题

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

正确答案

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

答案解析

略

相似试题

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

分享

语音搜题

拍照搜题

打赏