试题详情
简答题简述鲁滨逊归结原理基本思想?
  • 首先把欲证明问题的结论否定,并加入子句集,得到一个扩充的子句集S’。然后设法检验子句集S’是否含有空子句,若含有空子句,则表明S’是不可满足的;若不含有空子句,则继续使用归结法,在子句集中选择合适的子句进行归结,直至导出空子句或不能继续归结为止。
  • 关注下方微信公众号,在线模考后查看

热门试题