关于子句集可足性的问题~

子句集S={P(x) ÚQ(x) ÚR(x),¬ P(y) ÚR(y), ¬ Q(a), ¬R(b) }

是否可满足？
本人菜鸟求指教。。。

额。。。析取符号没显示。。。

没接触过，不知道

大学人工智能课本上的习题

求解答。

（1）P(x) ÚQ(x) ÚR(x)
（2）¬ P(y) ÚR(y)
（3）¬ Q(a)
（4）¬R(b)
（5）¬ P(b) （2）（4）
（6）P(a)ÚR(a) （1）（3）
（7）R(b) (5)(6)
（8）空 (4)(7)
所以S不可满足

第（7）步能这样吗，我就是这点不清，¬R(b)与）R(a)之间能用归结原理吗？a和b 不是两个常量吗？

**论里的题目？

**论里德题目？

集he论里的题目？

人工智能导论第五章基于谓词逻辑的机器推理课后习题

介绍一下你们的课程设置吧。我想知道大学里的人工智能专业的课程是哪些。

我不是人工智能专业的，学的是计算机

@Pallashadow 求吧主解答

是¬R(b)与）R(b)
哪来的¬R(b)与）R(a)？

下载贴吧APP
看高清直播、视频！

分享到: