AI第五章作业讲解
第5章-人工智能技术简介
5.1人工智能在工业领域的应用
人工智能自诞生起度过了几次跌宕起伏的发展期，也经历了从早期专家 系统、机器学习，到当前火热的深度学习等多次技术变革和规模化应用的浪 潮。随着近年来人工智能的应用越来越广泛，特别在工业应用方面，正在向 多个环节广泛渗透，逐渐在替代一些劳动密集型的企业岗位。人工智能技术 与工业领域的融合发展的确具有广阔前景，但目前的工业智能水平仍旧处于 比较初级的阶段，人工智能驱动的自动化尚未能对生产力的增长产生可量化 的重大影响。中国工程院院士邬贺铨提出人工智能需要与工业物联网（IIoT') 、大数据分析、云计算和信息物理系统集成共同促使工业以灵活、高效和节 能的方式运作。
5.3人工智能在农业领域的应用
3)采果机器人 美国加州的农用机器人专业公司Abundant Ro-botics研制了用于采摘水果的智能机器人
。此种智能机器人首先通过摄像和传输系统获得果树的照片，利用定位和识别技术选择 采摘对象，然后使用真空管道和机械手臂采果，速度可达到每秒采摘1个水果，能够大大 降低劳动成本。 Harvest CROO Ro-botics司开发了草莓采摘机器人，每天可收获3.2万平方米草莓，相 当于30名果农的工作量。日本的一款油压驱动西瓜收获机器人具有灵活的机械手，由4 根手指构成，每根手指有4节连杆（相当于关节)。这种机器人抓取西瓜时，机械手指尖 端的滑轮会沿着西瓜表面下降，到达最下端时停止，上升时，西瓜自身的重量会使机械 手闭锁，只要机械手中心与西瓜中心的偏差小于54毫米，机械手就能成功地抓取西瓜。 它的手指连杆的下滑动作可以判断西瓜的体积，手指上的力传感器可以测量西瓜的重量 ，同时完成西瓜的现场采摘和初步分级工作。
第5章 人工智能技术简介
5.1人工智能在工业领域的应用 5.2人工智能在市政工程领域的应用 5.3人工智能在农业领域的应用 5.4人工智能在智能家居领域的应用 5.5人工智能在医疗领域的应用 5.6人工智能在智能制造领域的应用
IllustratorCS6实例教程全套教学课件
1.4.2 适合窗口大小显示图像和显示图像的实际大小
1．适合窗口大小显示图像 绘制图像时，可以选择“适合窗口大小”命令来显示图像，这时 图像就会最大限度地显示在工作界面中并保持其完整性。 2．显示图像的实际大小 选择“实际大小”命令可以将图像按100%的效果显示，在此状 态下可以对文件进行精确的编辑。
1.1.1 菜单栏及其快捷方式
熟练使用菜单栏能够快速有效地绘制和编辑图像，达到事半功倍 的效果。
Illustrator CS6中的菜单栏包含“文件”、“编辑”、“对象”、 “文字”、“选择”、“效果”、“视图”、“窗口”和“帮助”这 9个菜单。每个菜单里又包含相应的子菜单。
1.1.2 工具箱
Illustrator CS6的工具箱内包括了大量具有强大功能的工 具，这些工具可以使用户在绘制和编辑图像的过程中制作出更 加精彩的效果。
2.2.3 绘制椭圆形和圆形
1．使用鼠标绘制椭圆形 选择“椭圆”工具 ，在页面中需要的位置单击并按住鼠标 左键不放，拖曳光标到需要的位置，释放鼠标左键，绘制出一个 椭圆形。 选择“椭圆”工具 ，按住Shift键，在页面中需要的位置单 击并按住鼠标左键不放，拖曳光标到需要的位置，释放鼠标左键， 绘制出一个圆形。 2．精确绘制椭圆形 选择“椭圆”工具 ，在页面中需要的位置单击，弹出“椭 圆”对话框，进行设置，单击“确定”按钮，得到需要的椭圆形。
同时打开多幅图像，选择“窗口 > 排列 > 全部在窗口中浮动” 命令，图像都浮动排列在界面中。此时，可对图像进行层叠、平 铺的操作。选择“合并所有窗口”命令，可将所有图像再次合并 到选项卡中。
1.4.7 观察放大图像
选择“缩放”工具 ，当页面中鼠标指针变为放大镜 后，放大 图像，图像周围会出现滚动条。选择“抓手”工具 ，当图像中鼠 标指针变为手形，按住鼠标左键在放大的图像中拖曳鼠标指针， 可以观察图像的每个部分。还可直接用鼠标拖曳图像周围的垂直 和水平滚动条，以观察图像的每个部分。
AI基础教程完整版
矢量图
位图
第2章 Illustrator开始前准备工作
菜单
工具箱 状态栏
画板
调板
1.3.2 文件的基本操作
文档是指可以创建图稿的空间。可以从头创建或者基于模板创 建新的 Illustrator 文档。从头创建文档可以提供空白的文档，它具 备默认的填色和描边颜色、图形样式、画笔、符号、动作、视图首 选项和其他设置。可以使用启动文件自定文档默认设置。从模板创 建文档可以提供具备预设设计元素和设置的文档。
2.1.1 文字的获取与筛选
文字是排版中最重要的环节之一，所以对文字的前期处理要 规范，随便排入文字会出现各种各样令人烦恼的问题。因此，设 计师在开始设计制作之前，应把获取的文字进行筛选。
文字来源：
Word的文字 网页的文字 纯文本
Illustrator CS2
2.1.2 图片的获取与筛选
图库 图片网站
3.5 画笔工具
[画笔工具]用于绘制徒手画和书法线条，以及路径图稿和路径图案， 并且丰富的画笔库和画笔的可编辑性使绘图变得更加简单、更具创意。
3.6 本章小结
熟练掌握路径绘制和编辑的方法和技巧，还讲解了有 关路径工具的使用方法，为进一步学习好Illustrator CS2打 下坚实的基础。
第4章 基本绘图和变换工具的使用
②拆分
在Photoshop中处理图像，然后将书封、书脊和勒口分别拆成 独立的部分，再将其分别置入到Illustrator CS2中拼合成一张图， 然后再与文字组合。
AI Adobe illustrate文字工具说课-说课稿
尊敬的各位领导各位老师，下午好, 我是4号选手***，我说课的题目是《AI文字工具》，我将从说教材、说教学重难点、说学情、说教法学法、说教学过程、说教学反思这六个部分展开。
一、说教材首先说教材，教材是教师课堂活动的根本依据，本节课的教材选自人民邮电出版社出版的《illustrator CS6基础培训教程》的第五章《文字工具》，本教材突出生活化，实用性，紧扣教学大纲，充分体现“做中学，做中教”的理念。
学生在前面学习绘图工具的基础上进行文字工具的学习，本章起到承上启下的作用。
二、说教学重、难点基于对教材的研究和学习，我把认识6种文字工具的使用方法定为本节课的教学重点，而本节课的教学难点则是根据不同场景灵活选择不同的文字工具。
说教学目标对重难点的分析让我更加明确本节课的教学目标，综合新课改革，我设计了以下三个维度的教学目标，首先是：知识目标：掌握6种文字工具的使用方法，学会文字的编辑、排列等操作。
在实践中体验文字在海报设计中的重要意义。
能力目标：通过给“专业技能展示”设计海报这一项目任务为主线，培养学生的分析问题和综合运用知识的能力。
情感目标：通过作品制作让学生感受学习的乐趣，通过作品内容倡导学生积极参与技能展示的态度。
三、说学情：教师不仅要对教材、教学重难点、教学目标进行分析，还应该对学生的情况有清晰明了的掌握，这样才能做到因材施教，有的放矢，下面是第三部分，说学情，我所面对的是19平面1班的学生，这个班的学生有以下几个特点：喜操作，厌理论，操作中容易忽略细节，知识迁移、总结归纳能力相对薄弱,这就需要教师在课堂上进行明确的点拨和指导。
同时，这个班学生已经学习了AI 基本文件操作、基本工具使用。
具备较强的逻辑思维能力，一定的软件应用和图形设计能力。
四、说教法学法教无定法，贵在得法，针对学生基本情况和课程特点，我主要采取以下四种教学方法：1、直观演示法：我会演示六种文字工具效果，让学生有一个更加直观形象的认识。
人工智能AI5章作业题解释
第5章作业题解释
5. 5 设有如下一组推理规则: r1: IF E1 THEN E2 (0.6) r2: IF E2 AND E3 THEN E4 (0.7) r3: IF E4 THEN H (0.8) r4: IF E5 THEN H (0.9) 且已知CF(E1)=0.5, CF(E3)=0.6, CF(E5)=0.7。求CF(H)=? 解：(1) 先由r1求CF(E2) CF(E2)=0.6 × max{0,CF(E1)} =0.6 × max{0,0.5}=0.3
第5章作业题解释
Rm (1,1)=(0.9∧0)∨(1-0.9)=0.1 Rm (1,2)=(0.9∧0.3)∨(1-0.9)=0.3 Rm (1,3)=(0.9∧0.7)∨(1-0.9)=0.7 Rm (1,4)=(0.9∧0.9)∨(1-0.9)=0.7 Rm (2,1)=(0.7∧0)∨(1-0.7)=0.3 Rm (2,2)=(0.7∧0.3)∨(1-0.7)=0.3 Rm (2,3)=(0.7∧0.7)∨(1-0.7)=0.7 Rm (2,4)=(0.7∧0.9)∨(1-0.7)=0.7 Rm (3,1)=(0.4∧0)∨(1-0.4)=0.6 Rm (3,2)=(0.4∧0.3)∨(1-0.4)=0.6 Rm (3,3)=(0.4∧0.7)∨(1-0.4)=0.6 Rm (3,4)=(0.4∧0.9)∨(1-0.4)=0.6 Rm (4,1)=(0∧0)∨(1-0)=1 Rm (4,2)=(0∧0.3)∨(1-0)=1 Rm (4,3)=(0∧0.7)∨(1-0)=1 Rm (3,4)=(0∧0.9)∨(1-0)=1 即：
即：
01
02
因此有(y应为小写)
03
一年级语文上册 ai ei ui教案 鄂教版
一年级语文上册ei ui教案鄂教版教学目标：1. 让学生正确认识和掌握汉语拼音、ei、ui的正确发音。
2. 培养学生正确拼读和书写能力，提高学生对拼音的学习兴趣。
3. 通过学习，使学生能够熟练运用、ei、ui进行词语拼读和简单书写。
教学重点：1. 掌握、ei、ui的发音方法。
2. 学会正确书写、ei、ui。
3. 能够运用、ei、ui进行词语拼读。
教学难点：1. 正确掌握、ei、ui的发音。
2. 学会正确书写、ei、ui。
第一章：的发音及书写1.1 教学内容1.1.1 学习的发音，如：、爱、哎等。
1.1.2 学习的书写。
1.2 教学步骤1.2.1 引入：通过图片和情境，引导学生关注的发音和书写。
1.2.2 讲解：讲解的发音方法和书写规则。
1.2.3 练习：让学生进行的发音练习和书写练习。
1.2.4 应用：运用进行词语拼读和书写。
1.3 作业布置1.3.1 让学生课后练习的发音和书写。
1.3.2 选择几个词语，让学生用进行拼读。
第二章：ei的发音及书写2.1 教学内容2.1.1 学习ei的发音，如：ei、诶、哎等。
2.1.2 学习ei的书写。
2.2 教学步骤2.2.1 引入：通过图片和情境，引导学生关注ei的发音和书写。
2.2.2 讲解：讲解ei的发音方法和书写规则。
2.2.3 练习：让学生进行ei的发音练习和书写练习。
2.2.4 应用：运用ei进行词语拼读和书写。
2.3 作业布置2.3.1 让学生课后练习ei的发音和书写。
2.3.2 选择几个词语，让学生用ei进行拼读。
第三章：ui的发音及书写3.1 教学内容3.1.1 学习ui的发音，如：ui、威、味等。
3.1.2 学习ui的书写。
3.2 教学步骤3.2.1 引入：通过图片和情境，引导学生关注ui的发音和书写。
3.2.2 讲解：讲解ui的发音方法和书写规则。
3.2.3 练习：让学生进行ui的发音练习和书写练习。
3.2.4 应用：运用ui进行词语拼读和书写。
人工智能导论PPT第五章
代码分析
提取语音特征
我们之前学习了如何把时域信号转换成频域信号。频域特征在语音识别系统 中应用得很广泛，但是真实世界的频域特征要更为复杂。一旦我们把一个信 号转换成频域，我们需要确保它可以以特征向量的形式供我们使用。这就涉 及到Mel Frequency Cepstral Coefficients (MFCCs)了。MFCC是一种用于从 给定音频信号中提取频域特征的工具。
这一系列的处理主要包括了采样，量化和编码等步骤。 采样：采样就是在某些特定的时刻对模拟信号进行测量，对模拟信号在
时间上进行量化。具体方法是：每隔相等或不相等的一小段时间采样一 次。 量化：分层就是对信号的强度加以划分，对模拟信号在幅度上进行量化 。具体方法是：将整个强度分成许多小段。 编码：编码就是将量化后的整数值用二进制数来表示。
其中，x表示隐含状态，y—可观察的输出， a—转换概率，b—输出概率。
代码判断解析
小结
在这一章中，我们学习了语音识别相关技术。我们讨论了如何 处理语音信号及相关概念。我们学习了将语音信号可视化，并 通过傅里叶变换将其从时域变为频域。我们还使用一些预定义 的参数来生成了语音信号。最后我们讨论了MFCC特征提取和HMM 模型，并用这些知识构建了一个可以识别口语单词语音识别系 统。
在Markov chain的每一步，系统根据概率分布，可以从一个状态变到另一个状态， 也可以保持当前状态。状态的改变叫做转移，与不同的状态改变相关的概率叫做转于时序的概率模型，是在马尔科夫链的基础上， 增加了观测事件（observed events），即把马尔科夫链原本可见的状态序列 隐藏起来，通过一个可观测的显层来推断隐层的状态信息。其中，隐层映射 到显层通过发射概率（emission probability）或观测概率（observation probability）来计算，隐层状态之间的转移通过转移概率（transition probability）获得。
Illustrator CC 平面设计课件-第5-6章
5.2.2 实现步骤
听我讲
（16）使用【钢笔工具】在页面中单击绘制图形，通过【直接选择工具】对节点进
行修改。将【颜色】面板中的CMYK值设置为8、20、56、3，描边属性为无色，如图所
示。
（17）使用【选择工具】将填充属性后的两个图形分别移动至如图所示的位置处，
并调整对象的排列顺序。
（18）使用【椭圆工具】在页面中绘制一个椭圆，打开【渐变】面板，将【类型】
（21）使用【圆角矩形工具】在页面中绘制图形，如图所示。
5.1.2 实现步骤
听我讲
（22）使用【矩形工具】绘制图形，然后通过【直接选择工具】对相应的节点进行 移动，如图所示。
（23）使用【选择工具】，选择图形对象，打开【渐变】面板，将【类型】设置为 【线性】，将0%位置处的RGB值设置为222、186、133，将100%位置处的RGB值设置为 153、91、36，描边属性为无色，如图所示的位置处。
（15）使用【选择工具】单击选择图形，并将其移动至如图所示的位置处。
5.1.2 实现步骤
听我讲
（16）使用【椭圆工具】和【钢笔工具】，绘制图形对象，选中如图所示的图形对 象，将【不透明度】下方的【混合模式】为【正片叠底】，【不透明度】设置为50%。
（17）按住Shift键选择绘制的图形对象，将【颜色】面板中【填充颜色】的RGB值 设置为0、64、121，将【描边颜色】设置为无，如图所示。
5.2.2 实现步骤
听我讲
（4）使用【选择工具】调整椭圆的位置，如图所示。 （5）使用【选择工具】选择两个图形对象，单击【路径查找器】面板中的【联集】 按钮，此时生成新的对象，如图所示。 （6）使用【椭圆工具】在页面中单击鼠标左键，在打开的【椭圆】对话框中设置 椭圆的【宽度】为40.5mm、【高度】为10mm，并将其移动至圆柱体的顶端，如图所示。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
习题五求下列谓词公式的子句集。
(1)∃x∃y(P(x,y) ∧Q(x,y))解：去掉存在量词变为：P(a,b)∧Q(a,b)变成子句集{ P(a,b),Q(a,b)}(2)∀x ∀y(P(x,y) →Q(x,y))解：去掉蕴涵符号变为：∀x ∀y(¬ P(x,y) ∨ Q(x,y))去掉全称量词变为：¬ P(x,y) ∨ Q(x,y)变成子句集{ ¬ P(x,y) ∨ Q(x,y)}(3)∀x∃y((P(x,y) ∨Q(x,y)) →R(x,y))解：去掉蕴涵符号变为：∀x ∃y(¬ (P(x,y) ∨ Q(x,y)) ∨ R(x,y)) 否定符号作用于单个谓词变为：∀x ∃y((¬ P(x,y) ∧¬ Q(x,y)) ∨ R(x,y)) 去掉存在量词变为：∀x ((¬ P(x,f(x)) ∧¬ Q(x,f(x))) ∨ R(x,f(x))) 去掉全称量词变为：(¬ P(x,f(x)) ∧¬ Q(x,f(x))) ∨ R(x,f(x)化合取范式为：(¬ P(x,f(x)) ∨ R(x,f(x))∧(¬ Q(x,f(x)) ∨ R(x,f(x))变元：(¬ P(x,f(x)) ∨ R(x,f(x)))∧(¬ Q(y,f(y)) ∨ R(y,f(y)))变成子句集{ ¬ P(x,f(x)) ∨ R(x,f(x)), ¬ Q(y,f(y)) ∨ R(y,f(y))} (4)∀x (P(x) →∃y (P(y) ∧R(x,y)))解：去掉蕴涵符号变为：∀x (¬ (P(x) ∨∃y (P(y) ∧R(x,y))) 去掉存在量词变为：∀x (¬ (P(x) ∨ (P(f(x)) ∧R(x,f(x)))去掉全称量词变为：(¬ (P(x) ∨ (P(f(x)) ∧R(x,f(x)))化合取范式为：(¬ (P(x) ∨ P(f(x))) ∧(¬ (P(x) ∨R(x,f(x)))变元：(¬ (P(x) ∨ P(f(x))) ∧(¬ (P(y) ∨R(y,f(y)))变为子句集：{¬ (P(x) ∨ P(f(x)),¬ (P(y) ∨R(y,f(y))}(5)∃x(P(x) ∧∀x(P(y) →R(x,y)))解：去掉蕴涵符号变为：∃x(P(x) ∧∀x(¬P(y) ∨R(x,y)))去掉存在量词变为：P(a) ∧∀x(¬P(y) ∨R(a,y))去掉全称量词变为：P(a) ∧ (¬P(y) ∨R(a,y))变成子句集：{ P(a) ，¬P(y) ∨R(a,y) }(6)∃x∃y∀z ∃u∀v ∃w(p(x,y,z,u,v,w) ∧(Q(x,y,z,u,v,w) ∨¬R(x,z,w))) 解：去掉存在量词变为：∀z ∀v (p(a,b,z,f(z),v,g(z,v)) ∧(Q(a,b,z,f(z),v, g(z,v) ∨¬R(a,z, g(z,v))) 去掉全称量词变为：p(a,b,z,f(z),v,g(z,v)) ∧(Q(a,b,z,f(z),v, g(z,v) ∨¬R(a,z, g(z,v))变元：p(a,b,x,f(x),y,g(x,y)) ∧(Q(a,b,z,f(z),v, g(z,v) ∨¬R(a,z, g(z,v))化成子句集：{p(a,b,x,f(x),y,g(x,y)) , Q(a,b,z,f(z),v, g(z,v) ∨¬R(a,z, g(z,v)) } 3. 试判断下列子句集中哪些是不可满足的。
(1)S={P(y) ∨¬Q(y), ¬P(f(x)) ∨Q(y)}解：（1）P(y) ∨¬Q(y)（2）¬P(f(x)) ∨Q(z) (适当改名使子句之间不含相同变元利用归结原理：（3）P(y) ∨¬P(f(x)) (1)(2) {y/z}（4）T {f(x)/y}归结不出空子句，所以原子句集是可以满足的。
(2)S={¬ P(x) ∨Q(x), ¬ Q(y) ∨R(y),P(a),R(a) }解：（1）¬ P(x) ∨Q(x)（2）¬ Q(y) ∨R(y)（3）P(a)（4）R(a)利用归结原理判断（5）Q(a) (1)(3) {a/x}（6）R(a) (2)(5) {a/x}归结不出空子句，所以是可满足的子句集。
(3)S={¬ P(x) ∨¬Q(y) ∨¬L(x,y),P(a), ¬ R(z) ∨L(a,z) ,R(b),Q(b)} 解：（1）¬ P(x) ∨¬Q(y) ∨¬L(x,y)（2）P(a)（3）¬ R(z) ∨L(a,z)（4）R(b)（5）Q(b)利用归结原理来进行判断（6）¬Q(y) ∨¬L(a,y) (1)(2){a/x}（7）L(a,b) (3)(4) {b/z}（8）¬L(a,b) （6）（5）{b/y}（9）Nil （8）（7）得到NIL所以原子句集不可满足。
(4)S={P(x) ∨Q(x) ∨R(x),¬ P(y) ∨R(y), ¬ Q(a), ¬R(b) } 解：（1）P(x) ∨Q(x) ∨R(x)（2）¬ P(y) ∨R(y)（3）¬ Q(a)）（4）¬R(b)利用归结原理来判断（5）（6）（7）(5)S={P(x) ∨Q(x),¬ Q(y) ∨R(y), ¬ P(z) ∨Q(z), ¬R(u) } 解：（1）P(x) ∨Q(x)（2）¬ Q(y) ∨R(y)（3）¬ P(z) ∨Q(z)（4）¬R(u)利用归结原理来判断（5）¬Q(u) （2）（4）{u/y}（6）¬P(u) （3）（5）{u/z}（7）Q(u) （1）（6）{u/x}（8）NIL （5）（7）所以原子句集S不可满足4．对下列各题请分别证明，G是否可肯定是F1，F2，…的逻辑结论（1）F: ∀x(P(x) ∧ Q(x))G: ∃x(P(x) ∧ Q(x))解：F的子句集为：①P(x)②Q(y)¬ G的子句集为: ③¬ P(z) ∨ ¬ Q(z)然后应用消解原理得：④¬ Q(z) [ ①,③,{z/x}]⑤NIL [②,④,{z/y}]所以G是F的逻辑结论．此题应注意：化子句集时应改名，使子句①，②，③无同名变元。
(3)F1: ∀x(P(x)→∀y(Q(y)→ ¬ L(x,y)))F2: ∃x(P(x)∧∀y(R(y)→ L(x,y)))G: ∀x(R(x)→¬ Q(x))证明：首先求得F1的子句集：①¬ P(x)∨¬ Q(y)∨¬ L(x,y)F2的子句集: ②P(a)③¬R(z)∨L(a,z)¬ G的子句集为: ④R(b)⑤Q(b)然后应用消解原理得:⑥ ¬ Q(y) ∧ ¬ L(a,y) [①,②,{a/x}]⑦ L(a,b) [③,④,{b/z}]⑧ ¬ Q(b) [⑥,⑦,{b/y}]⑨NIL [⑤,⑧]所以G 是F1,F2的逻辑结论．此题的方法是：F1 ∧ F2 ∧ ¬ G 能推出空子句，就可以说明G 是F1,F2的逻辑结论。
（4） F 1 (∀x)(P(x)→(Q(x)∧R(x))F 2 (∃x) (P(x) ∧S(x)G (∃x)(S(x) ∧R(x))证明：利用归结反演法，先证明F 1 ∨ F 2 ∨¬G 是不可满足的。
求子句集：(1) ¬P(x) ∨Q(x) (2) ¬P(z) ∨R(z)(3)P(a)(4)S(a)(5) ¬S(y) ∨ ¬ R(y ) (¬G)利用归结原理进行归结(6)R(a) [(2),(3), σ1={a/z}](7) ¬ R(a) [(4),(5), σ2 ={a/y}](8)Nil [(6),(7)]S F1 F2所以S是不可满足得，从而G是F1和F2的逻辑结果。
5.设已知：(1)凡是清洁的东西就有人喜欢：(2)人们都不喜欢苍蝇：用归结原理证明：苍蝇是不清洁的．证明：首先，定义如下谓词：C(x)：x是清洁的P(x)：x是人L(x,y)：x喜欢yF(x):x是苍蝇然后将上述各语句翻译为谓词公式：已知条件：(1) ∀ x(C(x) →∃ y(P(y) ∧ L(y,x)))(2) ∀ x ∀ y(P(x) ∧ F(y) → ¬ L(x,y)))需证结论：(3) ∀ x(F(x) → ¬ C(x))求题设与结论否定的子句集，得:①¬ C(x) ∨ P(f(x))②¬ C(y) ∨ L(f(y),y)③¬ P(u) ∨ ¬ F(v) ∨ ¬ L(u,v)④F(a)⑤C(a)然后应用消解原理得:⑥P(f(a)) [①,⑤,{a/x}]⑦L(f(a),a) [②,⑤,{a/y}]⑧¬ F(v) ∨ ¬ L(f(a),v) [③,⑥,{f(a)/u}]⑨¬ L(f(a),a) [④,⑧,{a/v}]⑩NIL [⑦,⑨,]所以苍蝇是不清洁的．此题需注意谓词的定义：x喜欢y 定义成L(x,y)，另外要定义谓词：人。
6 证明：用命题公式表述题意为：(1)A∨B∨C (2)A∧¬B→ C (3)B→ C结论：C是子句集的逻辑{A∨B∨C , A∧¬B→ C , B→ C}的逻辑结果。
证：①A∨B∨C②¬ A∨ B∨ C③¬B∨C④¬ C⑤ B ∨ C 由①,②⑥ C 由③,⑤⑦Null 由④,⑥即：对子句集S={A∨B∨C ,¬ A∨ B∨C ,¬B∨C, ¬C}施以归结，最后推出空子句，所以子句集不可满足，所以C是子句集{A∨B∨C ,¬A∨B∨C ,¬B∨C}的逻辑结果，所以公司一定要录取C.７．张某被盗，公安局派出五个侦探去调查．研究案情时，侦察员Ａ说＂赵与钱中至少有一人做案＂；侦察员Ｂ说＂钱与孙中至少有一人做案＂；侦察员Ｃ说＂孙与李中至少有一人做案＂；侦察员Ｄ说＂赵与孙中至少有一个与此案无关＂；侦察员Ｅ说＂钱与李中至少有一人与此案无关＂．如果这五个侦察员的话都有是可信，请用归结原理求出谁是盗窃犯．(知识点，利用归结原理求取问题答案)解：设谓词P(x)表示x是盗窃犯．则题意可表述为如下的谓词公式：F1:P(zhao) ∨ P(qian)F2: P(qian) ∨ P(sun)F3: P(sun) ∨ P(li)F4: ¬ P(zhao) ∨ ¬ P(sun)F5: ¬ P(qian) ∨ ¬ P(li)求证的公式为：∃xP(x)子句集如下：①P(zhao) ∨ P(qian)②P(qian) ∨ P(sun)③P(sun) ∨ P(li)④¬ P(zhao) ∨ ¬ P(sun)⑤¬ P(qian) ∨ ¬ P(li)⑥¬ P(x)∨ GA(x)⑦P(qian) ∨ ¬ P(sun) [①,④]⑧P(sun) ∨ ¬ P(li) [②,⑤]⑨P(sun) [③,⑧]⑩GA(sun) [⑥,⑨,{sun/x}](11)P(qian) [⑦,⑨](12)GA(qian) [⑥,(11),{qian/x}所以，sun和qian都是盗窃犯．即：孙和钱都是盗窃犯．（利用归结原理来证明或求取问题答案只能使用归结反演的方法）此题需定义一个辅助谓词GA(x)来求出谁是盗窃犯。