(2.6)--PPT-谓词逻辑机器学习模型与算法.ppt
《(2.6)--PPT-谓词逻辑机器学习模型与算法.ppt》由会员分享,可在线阅读,更多相关《(2.6)--PPT-谓词逻辑机器学习模型与算法.ppt(22页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
谓词逻辑问题与认知目标问题:已知:所有的人总是要死的;苏格拉底是人能否推理出:所以苏格拉底是要死的如何推理?如何让计算机推理?认知目标:掌握谓词逻辑基本概念掌握谓词逻辑中的推理规则从命题逻辑到谓词逻辑l在谓词逻辑中,将原子命题进一步细化,分解出个体、谓词和量词,来表达个体与总体的内在联系和数量关系,这就是谓词逻辑研究内容。l谓词逻辑中三个核心概念:l个体、谓词(predicate)和量词(quantifier)谓词逻辑谓词逻辑谓词逻辑:函数与谓词的区别谓词逻辑:事实符号化谓词逻辑:量词谓词逻辑:量词谓词逻辑谓词逻辑谓词逻辑谓词逻辑谓词逻辑谓词逻辑:项与原子谓词公式谓词逻辑:合式公式谓词逻辑:合式公式谓词逻辑:推理规则谓词逻辑的推理例子自然语言的形式化 专家系统的构成对某个领域的自然语言、文本语句等信息进行逻辑化(machine readable knowledge)答案输出数据知识服务推理机(专家系统)问题逻辑化(机器可理解)课后题22
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 2.6 PPT 谓词 逻辑 机器 学习 模型 算法
限制150内