《人工智能》一阶逻辑推理

最新推荐文章于 2023-04-20 12:08:34 发布

zhaoyuyu_nudt

最新推荐文章于 2023-04-20 12:08:34 发布

阅读量3.3k

点赞数

分类专栏：课程笔记

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

本文链接：https://blog.csdn.net/yinxian9019/article/details/90216359

版权

本文详细探讨了一阶逻辑推理中的存在量词和全称量词的实例化规则，介绍了合一、CNF（合式公式）和归结等概念。合一过程中寻找最简单的合一元，并通过变名实现同名转换。归结法用于从子句集合中消除互补文字，直至得出矛盾。文章还提供了多个例子来阐述这些原理的应用。

摘要由CSDN通过智能技术生成

一阶逻辑推理

在这里插入图片描述

inference rules for quantifiers {9.1.1}

在这里插入图片描述
对于存在量词，

如果知识库里面有，存在V ，α，这样的于是， v 就可以代换为k 。 k 是没有出现过的常量。

在这里插入图片描述

在这里插入图片描述
如果存在量词前面有全称量词，就不能替换：

如果存在量词被全称量词约束了，要对这个量词进行实例化，怎么办？ x 和y 一定有一个函数关系， x 依赖于y , 所以对x实例化时，x 变成y 的函数。
m(y) 是skolem function ，是其他地方没有出现过的函数。
在这里插入图片描述
如果存在量词前面有任意多个全称量词，于是把xk代换成f(x1, …xk-1)的函数

全称量词和存在量词能否代换多次？

如果存在x ，代表可能存在1个也可能存在两个ÿ

最低0.47元/天解锁文章

关注

0
点赞
踩
11

收藏

觉得还不错? 一键收藏
0
评论
复制链接

分享到 QQ

分享到新浪微博

扫一扫

专栏目录

评论

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

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

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