谓词-量词、主析取、主和取范式、前束范式、推理证明

这部分内容,主要需要掌握谓词推理,而前提是掌握将自然语言符号化为谓词、用量词来限定辖域,量词的消去、剩下就是推理过程。还需要掌握的是主析取、主和取范式和前束范式。

存在量词**∃**:至少有一个

全称量词**∀**:全都是,所有

前束范式:通过逻辑计算,将量词放到整个式子的最前面

注意:主析取范式括号内的叫做小项,当对其编码时,真值为1;

主合取范式括号内的叫做大项,当对其编码时,真值为0

主析取范式:将式子化为如下模式:

__ )v( __ )v(

主和取范式:将式子化为如下模式:

vvv

对于推理证明来说,照着逻辑推就是,但是注意如果是全称量词∀,那么就可以取任何值,但是要注意存在量词∃就不能去所有值而是某个特例。

相关推荐
Schwertlilien几秒前
图像处理-Ch1-数字图像基础
图像处理·人工智能·算法
程序员一诺1 分钟前
【深度学习】嘿马深度学习笔记第10篇:卷积神经网络,学习目标【附代码文档】
人工智能·python·深度学习·算法
刚学HTML2 小时前
leetcode 05 回文字符串
算法·leetcode
AC使者2 小时前
#B1630. 数字走向4
算法
冠位观测者2 小时前
【Leetcode 每日一题】2545. 根据第 K 场考试的分数排序
数据结构·算法·leetcode
古希腊掌管学习的神3 小时前
[搜广推]王树森推荐系统笔记——曝光过滤 & Bloom Filter
算法·推荐算法
qystca3 小时前
洛谷 P1706 全排列问题 C语言
算法
浊酒南街3 小时前
决策树(理论知识1)
算法·决策树·机器学习
就爱学编程3 小时前
重生之我在异世界学编程之C语言小项目:通讯录
c语言·开发语言·数据结构·算法
学术头条3 小时前
清华、智谱团队:探索 RLHF 的 scaling laws
人工智能·深度学习·算法·机器学习·语言模型·计算语言学