写出利用归结原理求解问题答案的步骤

写出利用归结原理求解问题答案的步骤

(1)写出谓词关系公式。(2)用反演法写出谓词表达式。(3)SKOLEM标准形式。(4)命题表示成合取范式并求子句集S。(5)将结论否定并加入S中,对S中可归结的子句做归结。(6)归结式仍放入S中,反复归结过程。(7)得到空子句。(8)得证。

  • 3
    点赞
  • 2
    收藏
  • 打赏
    打赏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
©️2022 CSDN 皮肤主题:技术黑板 设计师:CSDN官方博客 返回首页
评论

打赏作者

钴60

你的鼓励将是我创作的最大动力

¥2 ¥4 ¥6 ¥10 ¥20
输入1-500的整数
余额支付 (余额:-- )
扫码支付
扫码支付:¥2
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、C币套餐、付费专栏及课程。

余额充值