【申硕】使用线性归结法证明定理

最新推荐文章于 2023-10-28 17:02:01 发布

小名庆华

最新推荐文章于 2023-10-28 17:02:01 发布

阅读量3.8k

点赞数 7

分类专栏：人工智能文章标签：自然语言处理

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接：https://blog.csdn.net/gaoqinghuadage/article/details/109150384

版权

人工智能专栏收录该内容

1 篇文章

订阅专栏

基本过程

将已知条件化作子句集
将结论的否定化作子句集
从所有子句集中选取两个可归结的子句进行归结
重复过程3，直到出现空子句NIL为止，这时，证明在所给已知条件下结论成立。

开胃例题

在这里插入图片描述

真题1

使用线性归结法证明
A1∧ A2∧ A3 →B
其中
在这里插入图片描述
答：
要证明A1∧ A2∧ A3 →B，也就是要证明A1∧ A2∧ A3 ∧~B是永假式（矛盾式）
（这句话要答上）

结果是NIL，命题得证

真题2

在这里插入图片描述
答：

用到的基础知识

谓词逻辑归结法基础
在这里插入图片描述

在这里插入图片描述

评论 4

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

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