没有合适的资源？快使用搜索试试~
我知道了~
文库首页
信息化管理
其它
人工智能谓词演算.pptx
人工智能谓词演算.pptx
0 下载量
87 浏览量
2023-01-07
17:36:18
上传
评论
收藏
258KB
PPTX
举报
温馨提示
立即下载
人工智能谓词演算.pptx
资源推荐
资源详情
资源评论
人工智能 谓词演算.pptx
浏览：88
5星 · 资源好评率100%
人工智能 谓词演算.pptx
人工智能-谓词逻辑.pptx
浏览：191
人工智能-谓词逻辑.pptx
人工智能-谓词逻辑43.pptx
浏览：181
人工智能-谓词逻辑43.pptx
人工智能知识表示方法谓词逻辑70.pptx
浏览：21
人工智能知识表示方法谓词逻辑70.pptx
人工智能第2章(知识表示方法3-谓词逻辑)74.pptx
浏览：73
人工智能第2章(知识表示方法3-谓词逻辑)74.pptx
人工智能导论：第五章 谓词演算及应用.ppt
浏览：95
人工智能导论：第五章 谓词演算及应用.ppt
人工智能导论：第五章 谓词演算及应用
浏览：184
人工智能导论：第五章 谓词演算及应用
离散数学谓词演算推理理论PPT学习教案.pptx
浏览：164
离散数学谓词演算推理理论PPT学习教案.pptx
离散I讲稿\3-谓词逻辑.ppt
浏览：118
离散I讲稿\3-谓词逻辑.ppt离散I讲稿\3-谓词逻辑.ppt
命题逻辑与谓词逻辑PPT课件.pptx
浏览：171
命题逻辑与谓词逻辑PPT课件.pptx
离散数学谓词逻辑PPT课件.pptx
浏览：160
5星 · 资源好评率100%
离散数学谓词逻辑PPT课件.pptx
离散数学之谓词逻辑PPT课件.pptx
浏览：187
离散数学之谓词逻辑PPT课件.pptx
CH2_谓词逻辑.key
浏览：136
CH2_谓词逻辑.key
Stream的Filter与谓词逻辑.pdf
浏览：58
Stream的Filter与谓词逻辑.pdf
离散数学之谓词逻辑.ppt
浏览：49
离散数学之谓词逻辑.ppt
人工智能-谓词逻辑 精品资料.pptx
浏览：190
人工智能-谓词逻辑
数学谓词逻辑PPT学习教案.pptx
浏览：38
数学谓词逻辑PPT学习教案.pptx
离散数学谓词逻辑节PPT课件.pptx
浏览：24
离散数学谓词逻辑节PPT课件.pptx
离散数学 谓词逻辑 习题课PPT课件.pptx
浏览：24
离散数学 谓词逻辑 习题课PPT课件.pptx
解决win7win8win10装4.8-3.5的.Net framework3.5安装失败问题 附带安装文档
浏览：67
5星 · 资源好评率100%
解决win7win8win10装4.8-3.5的.Net framework3.5安装失败问题 附带安装文档
谷歌浏览器axure扩展程序
浏览：185
3星 · 编辑精心推荐
谷歌浏览器axure扩展程序插件，解压放到谷歌的扩展程序里即可用。
时序图画图工具-TimeGen3.2安装包
浏览：150
免费下载，小巧好用的时序图画图工具TimeGen3.2安装包和安装使用教程，详细的安装和使用教程见博主《数字IC开发工具》栏目的博文。
大唐杯习题合集-历年真题模拟题
浏览：194
总结历年各种大唐杯的题型
百度、高德、腾讯、天地图、谷歌、必应、MapBox等地图金字塔切图工具 MapCutter 3.11.2
浏览：12
百度、高德、腾讯、天地图、谷歌、必应等自定义地图/图片叠加层/瓦片图/金字塔图地图切图高清切片生成工具 MapCutter（旧名MapTiler） ，定位便捷，支持超大地图，支持leaflet、maptalks、openlayers、cesium、及自定义模版输出。 最新版本修正了百度地图的偏差、可调整地图图层的不透明度,、完善webgl输出、支持openlayers、cesium网页输出、支持多
zotero-pdf-translate-1.0.24（2023年7月10日）
浏览：153
zotero的pdf翻译插件
姓名变为拼音.bas
浏览：51
姓名变为拼音.bas WPS或Excel将姓名变为拼音 操作步骤 https://blog.csdn.net/SwTesting/article/details/111690318
typora1.8.10相关资源补丁
浏览：147
适用于软件typora的使用
CiteSpace5.6.R2，目前最稳定的版本，改时间就可以用
浏览：26
4星 · 用户满意度95%
最稳定版本，没有bug，改时间即可用，分析关键词、作者、机构、关键词聚类、关键词突现、时间线图谱、时区图谱
第2讲 基于谓词逻辑的机器推理
�
一阶谓词逻辑
�
归结演绎推理
�
归结原理的应用
�
Horn
子句与
Prolog
程序设计
第一节
一阶谓词逻辑
命题：凡可确定真假的陈述句称为命题
可以取值
“
真
”
（
T
）或
“
假
”
（
F
）
在一定的条件下，只能取其中一个值
例：
（
1
）北京是中国的首都
√
（
2
）
3 + 2 > 10
×
（
3
）
1 + 11 = 100
（根据制数）
（
4
）禁止吸烟
（祈使句）
（
5
）本命题是假的
（悖论）
2
谓词：是用来刻画个体词的性质或个体词之间的关系的词（带参量
的命题叫谓词）
n
元谓词，
P
（
x
1
, x
2
, x
3
, …, x
n
）
P
是谓词符号，代表一个确定的特征（一个参量）或关系（多个参量）
x
1
, x
2
, x
3
, …, x
n
称为参量或项（个体常元或个体变元）
论述域（个体域）：个体变元的取值范围
例：
北京是一个城市
—— CITY
（北京）
x
是人
—— HUMAN
（
x
）
A
是
B
的兄弟
——
兄弟（
A
，
B
）
x
大于
y —— G
（
x
，
y
）
不带个体变元的谓词公式叫命题，命题是谓词公式的特例
3
逻辑连接词：研究单个谓词是不够的，还必须研究多个谓词之间的
关系，这需要引入逻辑连接词
¬：否定词
¬A读为“非A”，当A为真时， ¬A为假，当A为假时， ¬A为真
∧
：合取词
A
∧
B
读为
“A
并且
B”
，当且仅当
A
和
B
都为真时，
A
∧
B
为真，否则
A
∧
B
为
假
∨
：析取词
A
∨
B
读为
“A
或者
B”
，当且仅当
A
和
B
都为假时，
A
∨
B
为假，否则
A
∨
B
为真
4
→
：蕴涵词
A → B
读为
“
若
A
则
B”
，当且仅当
A
为真，且
B
为假时，
A → B
为假，否则
A
→ B
为真
在
A → B
中，
A
称为前件，
B
称为后件
�
：等值词
A
�
B
读为
“A
等值于
B”
，当且仅当
A
和
B
同为真或同为假时，
A
�
B
为真，否
则
A
�
B
为假
5
剩余32页未读，
继续阅读
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
猫一样的女子245
粉丝: 95
资源:
2万+
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
解密制度加密算法.rar
基于内联汇编原子操作引用计数的CXX智能指针设计与简单实现
java swing mysql实现的汽车租赁管理系统.zip
【学生课程实验】学生信息管理数据库实验心得和案例
MATLAB大数据案例-蚁群算法(ACO)用于求解旅行商(TSP)问题（超详细仿真代码）.zip
组件-uniapp中tab切换，底部内容跟着移动，相反，底部移动，tab也跟着切换-组件
uniapp主页面示例.rar
录音 7.m4a
小白实操-Swift基础学习案例源代码工程案例（超详细）.zip
正则表达式python.rar
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
