python实现归结演绎推理_人工智能——归结演绎推理
1.子句
1) 文字：原子谓词及其否定
定义1:任何文字的析取式称为子句
定义2：不包含任何文字的子句称为空子句，子句是永假的
2) 由子句构成的集合称为子句集，谓词公式成子句集的步骤
a) 利用等价关系消去谓词公式中的
、
b) 利用下列等价关系把“”移到紧靠谓词的位置上
c) 重新命名变元名，使不同量词约束的变元有不同的名字
d) 消去存在量词
e) 把全称量词移到公式左边
f) 利用等价关系
g) 消去全称量词
h) 对变元更名
i) 消去合取词
2.Robinson归结定理（消解原理）
1) 基本思想
检查子句集S中是否包含空子句，若包含则S不可满足；若不包含，就在子句集中选择合适的子句进行归结，一旦通过归结能推出空子句，就说明子句集S是不可满足的。
定义：若p是原子谓词公式，则称与为互补文字。
2) 命题逻辑中的归结原理
定义：设C1与C2是子句集中的任意两个子句，如果C1中的文字L1与C2中的文字L2互补，那么从C1和C2中分别消去L1和L2，并将两个子句中余下的部分析取，构成一个新子句C12，则称这个过程为归结，称C12为C1和C2的归结式，称C1和C2为C12的亲本子句。
3) 谓词逻辑中的归结原理
首先对变元进行代换，然后才能进行归结。
4) 归结反演
应用归结原理证明定理的过程称为归结反演。设F为已知前提的公式集，Q为目标公式（结论），用归结反演证明Q为真的步骤是：
a) 否定Q得到Q
b) 把Q并入到公式集中，得{F，Q }
c) 把公式集{F，Q }化为子句集S
d) 应用归结原理对子句集S中的子句进行归结，并把每次归结得到的归结式都并入S中，反复进行，若出现了空子句，则停止归结，此时证明了Q为真。
归结反演例示
A，B，C三人中有人从来不说真话，也有人从来不说假话，某人向这三人分别提出一个问题：谁是说谎者？A答：“B和C都是说谎者”；B答：“A和C都是说谎者”；C答：“A和B中至少有一个说谎者”求谁是老实人，谁是说谎者。
设用T（X）表示X说真话，已知前提用谓词表示
如果A说的是真话
如果A说的是假话
如果B说的是真话
如果B说的是假话
如果C说的是真话
如果C说的是假话
化成子句集，得到S：
（1）
（2）
（3）
（4）
（5）
（6）
（7）
（8）
（9） （1）与（7）
（10） （6）与（9）
（11） （8）与（10）
3.归结策略
1) 归结的一般过程
设有子句集S={C1，C2，C3，C4}
（1）从子句C1开始，逐个与C2，C3，C4进行比较，归结。然后用C2与C3和C4进行比较，归结。最后用C3和C4比较，归结。得到第一级归结式。
再从C1开始，用S中的子句分别与第一级归结式中的子句逐个地进行比较，归结，得到第二级归结式。
（2）仍然从C1开始，用S中的子句及第一级归结式中的子句逐个地与第二级归结式中的子句进行比较归结，得到第三级归结式。
（3）继续直到出现空子句或者不能再继续归结为止。
2) 删除策略
（1）纯文字删除法
如果某文字L在子句集中不存在可与之互补的文字L，则称该文字为纯文字。
（2）重言式删除法
如果一个子句中同时包含互补文字对，则称该子句为重言式。
（3）包孕删除法
设有子句C1和C2，如果存在一个代换，使得C1 C2，则称C1包孕于C2。
3) 支持集策略
每一次归结时，亲本子句中至少应有一个是由目标公式的否定所得到的子句，或者是它们的后裔。
4) 线性输入策略
参加归结的两个子句中必须至少有一个是初始子句集中的子句。
5) 单文字子句策略
一个子句只包含一个文字，要求参加归结的两个子句中必须至少有一个是单文字子句。
6) 祖先过滤策略
（1）C1和C2至少有一个是初始子句集中的子句。
（2）如果两个子句都不是初始子句集中的子句，则一个应是另一个的祖先，C2是由C1与别的子句归结后得到的归结式。
参考文献：
[1] 王永庆. 人工智能原理与方法. 西安: 西安交通大学出版社
[2] 尹朝庆. 人工智能方法与应用. 武汉: 华中科技大学出版社, 2007.
python实现归结演绎推理_人工智能——归结演绎推理相关推荐
- 零基础学python裴帅帅_人工智能时代，爬虫如此简单。
但我们伟大的苹果之父史蒂夫·乔布斯说,「每个人都应该学习编程,因为它教会你思考的方式」. 同时,英国牛津大学研究称,未来20年英国35%现有工作将自动化. 日本研究人员称,在未来的十到二十年之,日本将 ...
- python头像转卡通_人工智能：一款图像转卡通的 Python 项目，超级值得你练手
大家好,我是章鱼猫. 今天给大家推荐的开源项目,我感觉对于想学习 Python,想学习 tensorflow ,pytorch 的同学来讲,真的非常不错,是一个非常值得大家学习和练手的一个开源项目. ...
- 人工智能——归结演绎推理
人工智能--归结演绎推理 1. 子句 1) 文字:原子谓词及其否定 定义1:任何文字的析取式称为子句 定义2:不包含任何文字的子句称为空子句,子句是永假的 2) 由子句构成的集合称为子句集,谓词公式成 ...
- 4.确定性推理方法: 自然演绎推理, 归结演绎推理, 鲁滨逊归结原理,归结反演
本文内容为浙江工业大学王万良慕课课程的课程讲义, 将其整理为OneNote笔记同时添加了本人上课时的课堂笔记, 且主页中的思维导图就是根据课件内容整理而来, 为了方便大家和自己查看,特将此上传到CSD ...
- python人工智能_人工智能人才缺口千万！学Python抓住风口机会
前不久教育界的一个消息,引发了广泛的关注. 今年9月,浙江三到九年级信息技术课将替换新教材,八年级将新增Python课程内容.新高一信息技术编程语言由VB替换为Python,大数据.人工智能.程序设计 ...
- 人工智能--自然演绎推理
从一组已知为真的事实出发,直接运用经典逻辑中的推理规则推出结论的过程称为自然演绎推理. 自然演绎推理所给予的逻辑基础主要包含等价式.永真蕴含式.置换.合一 文章目录 等价式 定义 常用等价式: 永真蕴 ...
- 人工智能python好学吗_人工智能“速成班”Python好学吗 小心别被忽悠了
"学完Python,可以上天";"零基础入门,小白三天也能学会"--据8月3日新华社报道,近期,不少人工智能"速成班"被炒得火热,声称通过几 ...
- 决策树留一法python代码_从实例中归纳决策树_人工智能一
从实例中归纳决策树_人工智能一 18.3.3 从实例中归纳决策树 布尔决策树的一个实例是由一个输入属性向量X以及一个唯一的布尔输出值y组成的.一个实例集合(X1,y1),-,(X12,y12)如图18 ...
- 浙江python信息技术教材_人工智能、Python…浙江省三到九年级将使用信息技术新修订教材...
浙江省教研室相关负责人表示,目前根据现行的高中教材,对小学.初中的老教材进行了修订,新教材将于今年9月投入使用,最新的线上教师培训也刚刚结束.扣哒世界作为全球最大的中小学人工智能和Python代码编程 ...
- ai 计算机视觉_人工智能中的计算机视觉
ai 计算机视觉 While a three-year-old child has a lot to learn about the world, one thing that he is alrea ...
最新文章
- Unity3D常用代码总结
- Spring MVC 全注解配置 (十一)
- es6语法-let定义变量和常量
- 文献记录(part74)--Subspace clustering via seeking neighbors with minimum reconstruction error
- c++ stl stack_C ++ STL中的stack :: top（）函数
- android标题栏不被顶上去,Android仿微信QQ聊天顶起输入法不顶起标题栏的问题
- json 转换 java odl_opendaylight：如何查看配置数据库
- C++中 explicit的用法
- 如何写出优雅的React代码Clean Code vs. Dirty Code
- react-redux多reducer完整实例
- 苹果手机拨号键盘中隐藏这3个秘密，单纯用来打电话，真的太可惜
- long tail(长尾理论)
- 荣耀4a刷android 6,荣耀4A全网通（SCL-AL00）一键救砖教程，轻松刷回官方系统
- 我不是领导，用考虑数字化转型么？
- 一：部署harbor镜像仓库
- 【毕业设计】30-基于单片机矿井瓦斯_气体浓度_烟雾浓度报警设计（原理图+源代码+仿真+答辩论文+答辩PPT）
- 彻底搞懂弹性布局flex
- 2021年安徽高考成绩排名查询,安徽高考排名对应大学-安徽高考位次查询（2021年文科参考）...
- 星座 member.php,计算 星座 PHP
- Velodyne Lidar公布自动驾驶技术世界安全峰会的议程