(2.6)--PPT-谓词逻辑机器学习模型与算法.ppt
-
资源ID：96574804
资源大小：1.68MB
全文页数：22页
- 资源格式： PPT
下载积分：20金币
快捷下载
会员登录下载
微信登录下载
三方登录下载：
微信扫一扫登录
|
友情提示
2、PDF文件下载后，可能会被浏览器默认打开，此种情况可以点击浏览器菜单，保存网页到桌面，就可以正常下载了。
3、本站不支持迅雷下载，请使用电脑自带的IE浏览器，或者360浏览器、谷歌浏览器下载即可。
4、本站资源下载后的文档和图纸-无水印,预览文档经过压缩，下载后原文更清晰。
5、试题试卷类文档，如果标题没有明确说明有答案则都视为没有答案，请知晓。
|
(2.6)--PPT-谓词逻辑机器学习模型与算法.ppt
谓词逻辑问题与认知目标问题：已知：所有的人总是要死的；苏格拉底是人能否推理出：所以苏格拉底是要死的如何推理？如何让计算机推理？认知目标：掌握谓词逻辑基本概念掌握谓词逻辑中的推理规则从命题逻辑到谓词逻辑l在谓词逻辑中，将原子命题进一步细化，分解出个体、谓词和量词，来表达个体与总体的内在联系和数量关系，这就是谓词逻辑研究内容。l谓词逻辑中三个核心概念：l个体、谓词（predicate）和量词（quantifier）谓词逻辑谓词逻辑谓词逻辑：函数与谓词的区别谓词逻辑：事实符号化谓词逻辑：量词谓词逻辑：量词谓词逻辑谓词逻辑谓词逻辑谓词逻辑谓词逻辑谓词逻辑：项与原子谓词公式谓词逻辑：合式公式谓词逻辑：合式公式谓词逻辑：推理规则谓词逻辑的推理例子自然语言的形式化 专家系统的构成对某个领域的自然语言、文本语句等信息进行逻辑化(machine readable knowledge)答案输出数据知识服务推理机（专家系统）问题逻辑化（机器可理解）课后题22
