软件工程专业《人工智能》课件-谓词逻辑与归结原理.

《人工智能原理及其应用》(王万森)第3版课后习题答案

第1章人工智能概述课后题答案 1.1什么是智能?智能包含哪几种能力？ 解：智能主要是指人类的自然智能。一般认为，智能是是一种认识客观事物和运用知识解决问题的综合能力。 智能包含感知能力，记忆与思维能力，学习和自适应能力，行为能力 1.2人类有哪几种思维方式?各有什么特点？ 解：人类思维方式有形象思维、抽象思维和灵感思维 形象思维也称直感思维，是一种基于形象概念，根据感性形象认识材料，对客观对象进行处理的一种思维方式。 抽象思维也称逻辑思维，是一种基于抽象概念，根据逻辑规则对信息或知识进行处理的理性思维形式。 灵感思维也称顿悟思维，是一种显意识与潜意识相互作用的思维方式。 1.3什么是人工智能?它的研究目标是什么？ 解：从能力的角度讲，人工智能是指用人工的方法在机器（计算机）上实现智能；从学科的角度看，人工智能是一门研究如何构造智能机器或智能系统，使它能模拟、延伸和扩展人类智能的学科。 研究目标： 对智能行为有效解释的理论分析； 解释人类智能； 构造具有智能的人工产品； 1.4什么是图灵实验？图灵实验说明了什么？ 解：图灵实验可描述如下，该实验的参加者由一位测试主持人和两个被测试对象组成。其中，两个被测试对象中一个是人，另一个是机器。测试规则为：测试主持人和每个被测试对象分别位于彼此不能看见的房间中，相互之间只能通过计算机终端进行会话。测试开始后，由测试主持人向被测试对象提出各种具有智能性的问题，但不能询问测试者的物理特征。被测试对象在回答问题时,都应尽量使测试者相信自己是“人”，而另一位是”机器”。在这个前提下，要求测试主持人区分这两个被测试对象中哪个是人，哪个是机器。如果无论如何更换测试主持人和被测试对象的人，测试主持人总能分辨出人和机器的概率都小于50%，则认为该机器具有了智能。 1.5人工智能的发展经历了哪几个阶段？ 解：孕育期，形成期，知识应用期，从学派分立走向综合，智能科学技术学科的兴起

谓词逻辑归结原理源代码

#include #include #include #define null 0 typedef struct { char var; char *s; }mgu; void strreplace(char *string,char *str1,char *str2) { char *p; while(p=strstr(string,str1)) { int i=strlen(string); int j=strlen(str2); *(string+i+j-1)='\0'; for(int k=i-1;(string+k)!=p;k--) *(string+k+j-1)=*(string+k); for(i=0;is)) continue; if((u+i)->var==(u+j)->var) { delete (u+j)->s; (u+j)->s=null; k--; j=i; } if(((u+i)->s)&&((u+i)->var==*((u+i)->s))) { delete (u+i)->s; (u+i)->s=null; k--;

} } j=count; if(k==j)return; count=k; for(int i=1;i0;i++) { if((u+i)->s) continue; while(!((u+j)->s)) j--; (u+i)->var= (u+j)->var; (u+i)->s= (u+j)->s; (u+j)->s=null; k--; } cout<<"gjvjkhllknkln"; } class unifier { char *string; mgu unit[50]; int count; public: int num; unifier(); void input(); int differ(int n); int change(int i,int j,int n); void print(); ~unifier(){delete string;} }; unifier::unifier() { count=0; unit[0].s=null; } void unifier::input() { cout <>num;

人工智能原理及其应用(第二版)习题答案

本页面为作品封面，下载文档后可自由编辑删除！ 精 品 文 档

知识表示方法部分参考答案 2.8设有如下语句，请用相应的谓词公式分别把他们表示出来： (1)有的人喜欢梅花，有的人喜欢菊花，有的人既喜欢梅花又喜欢菊花。 解：定义谓词 P(x)：x是人 L(x,y)：x喜欢y 其中，y的个体域是{梅花，菊花}。 将知识用谓词表示为： (?x )(P(x)∧(L(x, 梅花)∨L(x, 菊花)∨L(x, 梅花)∧L(x, 菊花))) (2) 有人每天下午都去打篮球。 解：定义谓词 P(x)：x是人 B(x)：x打篮球 A(y)：y是下午 将知识用谓词表示为： (?x )(?y) (A(y)∧B(x)∧P(x)) (3)新型计算机速度又快，存储容量又大。 解：定义谓词 NC(x)：x是新型计算机 F(x)：x速度快 B(x)：x容量大 将知识用谓词表示为： (?x) (NC(x)→F(x)∧B(x)) (4) 不是每个计算机系的学生都喜欢在计算机上编程序。 解：定义谓词 S(x)：x是计算机系学生 L(x, pragramming)：x喜欢编程序 U(x,computer)：x使用计算机 将知识用谓词表示为： ?(?x) (S(x)→L(x, pragramming)∧U(x,computer)) (5)凡是喜欢编程序的人都喜欢计算机。 解：定义谓词 P(x)：x是人 L(x, y)：x喜欢y 将知识用谓词表示为： (?x) (P(x)∧L(x,pragramming)→L(x, computer))

2.9用谓词表示法求解机器人摞积木问题。设机器人有一只机械手，要处理的世界有一张桌子，桌上可堆放若干相同的方积木块。机械手有4个操作积木的典型动作：从桌上拣起一块积木；将手中的积木放到桌之上；在积木上再摞上一块积木；从积木上面拣起一块积木。积木世界的布局如下图所示。 图机器人摞积木问题 解：(1) 先定义描述状态的谓词 CLEAR(x)：积木x上面是空的。 ON(x, y)：积木x在积木y的上面。 ONTABLE(x)：积木x在桌子上。 HOLDING(x)：机械手抓住x。 HANDEMPTY：机械手是空的。 其中，x和y的个体域都是{A, B, C}。 问题的初始状态是： ONTABLE(A) ONTABLE(B) ON(C, A) CLEAR(B) CLEAR(C) HANDEMPTY 问题的目标状态是： ONTABLE(C) ON(B, C) ON(A, B) CLEAR(A) HANDEMPTY (2) 再定义描述操作的谓词 在本问题中，机械手的操作需要定义以下4个谓词： Pickup(x)：从桌面上拣起一块积木x。 Putdown(x)：将手中的积木放到桌面上。 Stack(x, y)：在积木x上面再摞上一块积木y。 Upstack(x, y)：从积木x上面拣起一块积木y。 其中，每一个操作都可分为条件和动作两部分，具体描述如下： Pickup(x)

人工智能原理与应用_(张仰森_著)_高等教育出版社_课后答案

2.7解：根据谓词知识表示的步骤求解问题如下： 解法一： (1)本问题涉及的常量定义为： 猴子：Monkey，箱子：Box，香蕉：Banana，位置：a，b，c (2)定义谓词如下： SITE(x，y)：表示x在y处； HANG(x，y)：表示x悬挂在y处； ON(x，y)：表示x站在y上； HOLDS(y，w)：表示y手里拿着w。 (3)根据问题的描述将问题的初始状态和目标状态分别用谓词公式表示如下： 问题的初始状态表示： SITE(Monkey，a)∧HANG(Banana，b)∧SITE(Box，c)∧~ON(Monkey，Box)∧~HOLDS(Monkey，Banana) 问题的目标状态表示： SITE(Monkey，b)∧~HANG(Banana，b)∧SITE(Box，b) ∧ON(Monkey，Box)∧HOLDS(Monkey，Banana) 解法二： (1)本问题涉及的常量定义为： 猴子：Monkey，箱子：Box，香蕉：Banana，位置：a，b，c (2)定义谓词如下： SITE(x，y)：表示x在y处； ONBOX(x)：表示x站在箱子顶上； HOLDS(x)：表示x摘到了香蕉。 (3)根据问题的描述将问题的初始状态和目标状态分别用谓词公式表示如下： 问题的初始状态表示： SITE(Monkey，a)∧SITE(Box，c)∧~ONBOX(Monkey)∧~HOLDS(Monkey) 问题的目标状态表示： SITE(Box，b)∧SITE(Monkey，b)∧ONBOX(Monkey)∧HOLDS(Monkey) 从上述两种解法可以看出，只要谓词定义不同，问题的初始状态和目标状态就不同。所以，对于同样的知识，不同的人的表示结果可能不同。 2.8解：本问题的关键就是制定一组操作，将初始状态转换为目标状态。为了用谓词公式表示操作，可将操作分为条件(为完成相应操作所必须具备的条件)和动作两部分。条件易于用谓词公式表示，而动作则可通过执行该动作前后的状态变化表示出来，即由于动作的执行，当前状态中删去了某些谓词公式而又增加一些谓词公式从而得到了新的状态，通过这种不同状态中谓词公式的增、减来描述动作。 定义四个操作的谓词如下，操作的条件和动作可用谓词公式的增、删表示： (1)goto

人工智能原理及其应用(第2版)》王万森编著电子工业出版社课后习题答案37

第2章知识表示方法部分参考答案 2.8设有如下语句，请用相应的谓词公式分别把他们表示出来： (1)有的人喜欢梅花，有的人喜欢菊花，有的人既喜欢梅花又喜欢菊花。 解：定义谓词 P(x)：x是人 L(x,y)：x喜欢y 其中，y的个体域是{梅花，菊花}。 将知识用谓词表示为： (?x )(P(x)→L(x, 梅花)∨L(x, 菊花)∨L(x, 梅花)∧L(x, 菊花)) (2) 有人每天下午都去打篮球。 解：定义谓词 P(x)：x是人 B(x)：x打篮球 A(y)：y是下午 将知识用谓词表示为： (?x )(?y) (A(y)→B(x)∧P(x)) (3)新型计算机速度又快，存储容量又大。 解：定义谓词 NC(x)：x是新型计算机 F(x)：x速度快 B(x)：x容量大 将知识用谓词表示为： (?x) (NC(x)→F(x)∧B(x)) (4) 不是每个计算机系的学生都喜欢在计算机上编程序。 解：定义谓词 S(x)：x是计算机系学生 L(x, pragramming)：x喜欢编程序 U(x,computer)：x使用计算机 将知识用谓词表示为： ?(?x) (S(x)→L(x, pragramming)∧U(x,computer)) (5)凡是喜欢编程序的人都喜欢计算机。 解：定义谓词 P(x)：x是人 L(x, y)：x喜欢y 将知识用谓词表示为：

( x) (P(x)∧L(x,pragramming)→L(x, computer)) 2.9用谓词表示法求解机器人摞积木问题。设机器人有一只机械手，要处理的世界有一张桌子，桌上可堆放若干相同的方积木块。机械手有4个操作积木的典型动作：从桌上拣起一块积木；将手中的积木放到桌之上；在积木上再摞上一块积木；从积木上面拣起一块积木。积木世界的布局如下图所示。 图机器人摞积木问题 解：(1) 先定义描述状态的谓词 CLEAR(x)：积木x上面是空的。 ON(x, y)：积木x在积木y的上面。 ONTABLE(x)：积木x在桌子上。 HOLDING(x)：机械手抓住x。 HANDEMPTY：机械手是空的。 其中，x和y的个体域都是{A, B, C}。 问题的初始状态是： ONTABLE(A) ONTABLE(B) ON(C, A) CLEAR(B) CLEAR(C) HANDEMPTY 问题的目标状态是： ONTABLE(C) ON(B, C) ON(A, B) CLEAR(A) HANDEMPTY (2) 再定义描述操作的谓词 在本问题中，机械手的操作需要定义以下4个谓词： Pickup(x)：从桌面上拣起一块积木x。 Putdown(x)：将手中的积木放到桌面上。 Stack(x, y)：在积木x上面再摞上一块积木y。

人工智能原理教案02章 归结推理方法2.4 归结原理

2.4 归结原理 本节在上节的基础上，进一步具体介绍谓词逻辑的归结方法。谓词逻辑的归结法是以命题逻辑的归结法为基础，在Skolem 标准性的子句集上，通过置换和合一进行归结的。 下面先介绍一些本节中用到的必要概念： 一阶逻辑：谓词中不再含有谓词的逻辑关系式。 个体词：表示主语的词 谓词：刻画个体性质或个体之间关系的词 量词：表示数量的词 个体常量：a,b,c 个体变量：x,y,z 谓词符号：P,Q,R 量词符号：, 归结原理正确性的根本在于，如果在子句集中找到矛盾可以肯定命题是不可满足的。 2.4.1 合一和置换 置换：置换可以简单的理解为是在一个谓词公式中用置换项去置换变量。 定义： 置换是形如{t1/x1, t2/x2, …, t n/x n}的有限集合。其中，x1, x2, …, x n是互不相同的变量，t1, t2, …, t n是不同于x i的项（常量、变量、函数）；t i/x i表示用t i置换x i，并且要求t i与x i不能相同，而且x i

不能循环地出现在另一个t i中。 例如 {a/x，c/y，f(b)/z}是一个置换。 {g(y)/x，f(x)/y}不是一个置换，原因是它在x和y之间出现了循环置换现象。置换的目的是要将某些变量用另外的变量、常量或函数取代，使其不在公式中出现。但在{g(y)/x，f(x)/y}中，它用g(y)置换x，用f(g(y))置换y，既没有消去x，也没有消去y。若改为{g(a)/x，f(x)/y}就可以了。 通常，置换用希腊字母θ、σ、α、λ来表示的。 定义：置换的合成 设θ＝{t1/x1, t2/x2, …, t n/x n}，λ＝{u1/y1, u2/y2, …, u n/y n}，是两个置换。则θ与λ的合成也是一个置换，记作θ·λ。它是从集合{t1·λ/x1, t2·l/x2, …, t n·λ/x n, u1/y1, u2/y2, …, u n/y n} 即对ti先做λ置换然后再做θ置换，置换xi 中删去以下两种元素： i. 当t iλ＝x i时，删去t iλ/x i(i = 1, 2, …, n); ii. 当y i∈{x1,x2, …, x n}时，删去u j/y j(j = 1, 2, …, m) 最后剩下的元素所构成的集合。 例： 设θ＝{f(y)/x, z/y}，λ＝{a/x, b/y, y/z}，求θ与λ的合成。 解： 先求出集合

实现基于谓词逻辑的归结原理

河南城建学院 《人工智能》实验报告 实验名称：实现基于谓词逻辑的归结原理 成绩：____ 专业班级： 学号： 姓名： 实验日期：20 14 年 05 月 13日 实验器材：一台装PC机。 一、实验目的 熟练掌握使用归结原理进行定理证明的过程，掌握基于谓词逻辑的归结过程中，子句变换过程、替换与合一算法、归结过程及简单归结策略等重要环节，进一步了解机器自动定理证明的实现过程。 二、实验要求 对于任意给定的一阶谓词逻辑所描述的定理，要求实现如下过程： (1) 谓词公式到子句集变换； (2) 替换与合一算法； (3) 在某简单归结策略下的归结。 三、实验步骤 步1 设计谓词公式及自居的存储结构，即内部表示。注意对全称量词?x和存在量词?x可采用其他符号代替； 步2 实现谓词公式到子句集变换过程； 步3 实现替换与合一算法； 步4 实现某简单归结策略；

步5 设计输出，动态演示归结过程，可以以归结树的形式给出； 步6 实现谓词逻辑中的归结过程，其中要调用替换与合一算法和归结策略。 四、代码 谓词公式到子句集变换的源代码： #include #include #include #include using namespace std; //一些函数的定义 void initString(string &ini);//初始化 string del_inlclue(string temp);//消去蕴涵符号 string dec_neg_rand(string temp);//减少否定符号的辖域 string standard_var(string temp);//对变量标准化 string del_exists(string temp);//消去存在量词 string convert_to_front(string temp);//化为前束形 string convert_to_and(string temp);//把母式化为合取范式 string del_all(string temp);//消去全称量词 string del_and(string temp);//消去连接符号合取% string change_name(string temp);//更换变量名称 //辅助函数定义 bool isAlbum(char temp);//是字母 string del_null_bracket(string temp);//删除多余的括号 string del_blank(string temp);//删除多余的空格 void checkLegal(string temp);//检查合法性 char numAfectChar(int temp);//数字显示为字符 //主函数 void main() { cout<<"------------------求子句集九步法演示-----------------------"<

人工智能原理MOOC习题集及答案 北京大学

Quizzes for Chapter 1 1单选(1 分)图灵测试旨在给予哪一种令人满意的操作定义得分/ 总分 ? A.人类思考 ? B.人工智能 ? C.机器智能1.00/1.00 ? D.机器动作 正确答案：C你选对了 2多选(1分)选择以下关于人工智能概念的正确表述得分 /总分 ? A.人工智能旨在创造智能机器 该题无法得分/1.00 ? B. 人工智能是研究和构建在给定环境下表现良好的 智能体程序该题无法得分/1.00 ? C.人工智能将其定义为人类智能体的研究该题无法 得分/1.00 ? D.人工智能是为了开发一类计算机使之能够完成通 常由人类所能做的事该题无法得分/1.00 正确答案：A、B、D你错选为A、B、C、D 3多选(1分)如下学科哪些是人工智能的基础？得分/总分 ? A.经济学0.25/1.00 ? B.哲学0.25/1.00 ? C.心理学0.25/1.00 ? D.数学0.25/1.00 正确答案：A、B、C、D你选对了 4多选(1分)下列陈述中哪些是描述强AI(通用AI)的正确答案？ 得分/总分 ? A.指的是一种机器，具有将智能应用于任何问题的 能力0.50/1.00 ? B.是经过适当编程的具有正确输入和输出的计算 机，因此有与人类同样判断力的头脑0.50/1.00 ? C.指的是一种机器，仅针对一个具体问题 ? D.其定义为无知觉的计算机智能，或专注于一个狭 窄任务的AI 正确答案：A、B你选对了 5多选(1分)选择下列计算机系统中属于人工智能的实例得分/总 分 ? A.Web搜索引擎 ? B.超市条形码扫描器 ? C.声控电话菜单该题无法得分/1.00 ? D.智能个人助理该题无法得分/1.00 正确答案：A、D你错选为C、D 6多选(1分)选择下列哪些是人工智能的研究领域 得分/总分 ? A.人脸识别0.33/1.00 ? B.专家系统0.33/1.00 ? C.图像理解 ? D.分布式计算 正确答案：A、B、C你错选为A、B 7多选(1分)考察人工智能(AI)的一些应用，去发现目前下列哪些 任务可以通过AI来解决得分/总分 ? A.以竞技水平玩德州扑克游戏0.33/1.00 ? B.打一场像样的乒乓球比赛 ? C.在Web上购买一周的食品杂货0.33/1.00 ? D.在市场上购买一周的食品杂货 正确答案：A、B、C你错选为A、C 8填空(1分)理性指的是一个系统的属性，即在_________的环境 下做正确的事。得分/总分 正确答案：已知 1单选(1分)图灵测试旨在给予哪一种令人满意的操作定义得分/ 总分

浅谈人工智能原理及应用

模式识别与智能系统 摘要：人工智能(Artifical Intelligence)是关于知识的学科――怎样表示知识以及怎样获得知识并使用知识的科学。”而另一个美国麻省理工学院的温斯顿教授认为：“人工智能就是研究如何使计算机去做过去只有人才能做的智能工作。”这些说法反映了人工智能学科的基本思想和基本内容。即人工智能是研究人类智能活动的规律，构造具有一定智能的人工系统，研究如何让计算机去完成以往需要人的智力才能胜任的工作，也就是研究如何应用计算机的软硬件来模拟人类某些智能行为的基本理论、方法和技术。人工智能是当前科学技术发展中的一门前沿学科，是在计算机科学、控制论、信息论、神经心理学、哲学、语言学等多种学科研究的基础上发展起来的，以模拟人类智能、智能行为及其规律为研究内容的一门综合性边缘学科。由于人工智能自出现以来取得的巨大成就及其潜在的广阔应用前景，它又同空间技术、原子能技术并称为20世纪的三大科学技术成就。 关键词：人工智能；计算机科学；发展方向 ①、人工智能的定义 人工智能(Artificial Intelligence，AI)，是一门综合了计算机科学、生理学、哲学的交叉学科。“人工智能”一词最初是在1956年美国计算机协会组织的达特莫斯(Dartmouth)学会上提出的。自那以后，研究者们发展了众多理论和原理，人工智能的概念也随之扩展。由于智能概念的不确定，人工智能的概念一直没有一个统一的标准。著名的美国斯坦福大学人工智能研究中心尼尔逊教授对人工智能下了这样一个定义“人工智能是关于知识的学科——怎样表示知识以及怎样获得知识并使用知识的科学。”而美国麻省理工学院的温斯顿教授认为“人工智能就是研究如何使计算机去做过去只有人才能做的智能工作。”童天湘在《从“人机大战”到人机共生》中这样定义人工智能：“虽然现在的机器不能思维也没有“直觉的方程式”，但可以把人处理问题的方式编入智能程序，是不能思维的机器也有智能，使机器能做那些需要人的智能才能做的事，也就是人工智能。”诸如此类的定义基本都反映了人工智能学科的基本思想和基本内容。即人工智能是研究人类智能活动的规律，构造具有一定智能的人工系统，研究如何让计算机去完成以往需要人的智力才能胜任的工作，也就是研究如何应用计算机的软硬件来模拟人类某些智能行为的基本理论、方法和技术。

人工智能的原理及应用

人工智能的原理及应用 摘要 人工智能(Artificial Intelligence，AI)一直都处于计算机技术的最前沿，经历了几起几落……长久以来，人工智能对于普通人来说是那样的可望而不可及，然而它却吸引了无数研究人员为之奉献才智，从美国的麻省理工学院(MIT)、卡内基-梅隆大学(CMU)到IBM公司，再到日本的本田公司、SONY公司以及国内的清华大学、中科院等科研院所，全世界的实验室都在进行着AI技术的实验。不久前，著名导演斯蒂文斯皮尔伯格还将这一主题搬上了银幕，科幻片《人工智能》(A.I.)对许多人的头脑又一次产生了震动，引起了一些人士了解并探索人工智能领域的兴趣。 关键词 人工智能；专家系统；模式识别 ABSTRACT AI (Artificial Intelligence, AI) has been at the forefront of computer technology, has experienced severa l ups and downs several…… a long time, the ordinary people of artificial intelligence is so elusive, but it has attracted countless It dedicated intelligence researchers, from the U.S. Massachusetts Institute of Technology (MIT), Carnegie - Mellon University (CMU) to IBM, and then to Japan's Honda, SONY, as well as domestic companies of QingHua University, China Branch Hospitals and other research institutes, laboratories around the world are carrying out the AI technology experiments. Not long ago, the fam ous director Steven Spielberg will be the subject ? onto the screen, sci-fi film "artificial intelligence" (AI) on many people's minds once again produced a shock, caused some people to understand and explore Interest in the field of artificial intelligence. Key words Artificial Intelligence(AI); Expert System ; Pattern Recognition 引言 人工智能的发展已达到很高水平，电子计算机将更接近大脑的功能了，虽然计算机解决问题的能力从技术角度看目前还有很大局限性，计算机万能论者的理论依据也是有问题的。计算机暂时不能代替人我相信他预见的会成为现实，目前也有了很多技术突破,这就是人类-机器的结合体，他预见这是人类进化史上的一个飞跃。在这样一个结合体形式下，肯定超出目前的人的智能和人工智能，这个结合体中，人类的大脑将植入能和机器直接沟通的芯片，这个芯片是人机的桥梁，而人类-机器结合体将发挥出人与机器的各自优势。 1.介绍什么是人工智能 由于人工智能是一个边缘学科，是哲学、数学、电子工程、计算机科学、心理学等众多学科的混血儿。它的研究队伍由未自不同领域的学者组成，各自从事着自己感兴趣的工作，他们对人工智能是什么有不同的认识。所以，要想在他们之间找出一个什么是人工智能的共同的看法还是有一定的困难的。 如果仅从技术的角度来看，人工智能要解决的问题是如何使电脑表现智能化，使电脑能支灵活方效地为人类服务。只要电脑能够表现出与人类相似的智能行为、就算是达到了目的，而不在乎在这过程中电脑是依靠某种算法还是真正理解了：这样，人工智能就是计算机科学中涉及研究、设计和应用智能机器的—个分支，人工智能的目标就是研究怎样用电脑来模仿和执行人脑的某些智力功能，并开发相关的技术产品，建立有关的理论。 除了上述的观点以外，人工智能领域中的心理学家、语言学家倾向于将重点放在用电脑去再现人脑思维的内部状态上．也就是要使电脑程产真正理解它所他的事情，就好保人脑一样去“思考问题”。

谓词逻辑_归结原理习题

谓词逻辑-归结原理例题 习题3.5, 1. (1) ()P x ：x 是大学生 ()Q x ：x 是诚实的 则命题可表示为： 已知：1:(()())G x P x Q x ?→， 2:()G Q a ? 证明：()P a ? 习题3.5, 1. (2) 将下面的命题符号化，并证明之：已知每一个运动员都是强壮的，而每一个既强壮又聪明的人在他所从事的事业中都能获得成功，彼得是运动员并且是聪明的，证明彼得在他的事业中将会成功。 提示：定义谓词 ()P x ：x 是运动员 ()Q x ：x 是强壮的 ()R x ：x 是聪明的 ()S x ：x 在他所从事的事业中获得成功。 则命题可表示为： 已知：1:(()())G x P x Q x ?→， 2:(()()())G x Q x R x S x ?∧→，()P a ，()R a 证明：()S a 提示：可用归结原理证明：（1）先把公式都化成Skolem 范式，（2）然后利用US ，ES 将公式中的量词除去，（3）化成合取范式，（4）化成蕴涵式，（5）化成子句集（结论用否定加入）， （6）进行归结，直至引出矛盾。 可化成如下子句集： {()()P x Q x →，()()()Q x R x S x ∧→，()P a →，()R a →，}()S a → 归结： （1）()()P x Q x → （2）()P a → （3）()Q a → 由（1）（2）

（4）()()()Q x R x S x ∧→ （5）()()R a S a → 由（3）（4） （6）()R a → （7）()S a → 由（5）（6） （8）()S a → （9） 由（7）（8） 习题3.5, 1. (3) ()E x ：x 进入国境 ()V x ：x 是重要人物 ()C x ：x 是海关人员 ()P x ：x 是走私者 (,)S x y ：y 检查x 已知： 1:((()())(()(,)))G x E x V x y C y S x y ?∧?→?∧， 2:(()()((,)()))G x P x E x y S x y P y ?∧∧?→ 3:(()())G x P x V x ?→? 证明：(()())x P x C x ?∧ 先化成子句集： {} 1((()())(()(,))) ((()())(()(,))) ((()()())(()()(,))) ()()(()),()()(,())G x E x V x y C y S x y x y E x V x C y S x y x y E x V x C y E x V x S x y E x V x C f x E x V x S x f x =??∧?∨?∧=???∨∨∧=???∨∨∧?∨∨?→∨→∨ {}2(()()((,)()))(),(),(,)()G x y P x E x S x y P y P a E a S a y P y =??∧∧→?→→→ 注意G2，如果理解成(()()(,)())x y P x E x S x y P y ??∧∧→，则还需有条件(()())x P x E x ?∧，最后同样能得到如上的子句集{}(),(),(,)()P a E a S a y P y →→→。不

人工智能原理及应用2008年试题

y 值。 装 订 线 内 不 得 答 题 自 觉 遵 守 考 试 规 则，诚 信 考 试，绝 不 作 弊

二、人工智能有哪些主要研究和应用领域？其中有哪些是新的研究热点（10分） 三、将下列命题写出其语义网络（10分） 1.每个学生都喜欢老师上的一门课. 2．人工智能课程的学生中有男有女，有数学系的学生也有外系的学生。

四、假设已知下列事实： 张某被盗，公安局派了五个侦察员去调查。研究案情时，侦察员Ａ说： ”；侦察员Ｄ说：“钱与孙至少有一人作案”；侦察“孙与李中至少有一个作案”；侦察员Ｄ说“赵与孙至少一个与案无“钱与李中至少有一人与此案无关”。如果这五个侦察员的（15分） 装 订 线 内 不 得 答 题 自 觉 遵 守 考 试 规 则，诚 信 考 试，绝 不 作 弊

五、.写出图中树的结点两个访问序列，要求分别满足以下两个搜索策略：(10分) 1．深度优先搜索 2.广度优先搜索 六、将下列谓词公式化成子句集 ()()()()()()a f y x R z x Q z P z y x ,,,~→∧???。（10分）

七、已知有如下不确定推理规则： r1：C 11∨C 12 ? H 1 0.7； r2：H 1 ? H 0.5； r3：C 21∧C 22 ? H －0.6； r4：(C 31∧C 32)∨C 33 ? H 0.8； 11) = 0.8， CF(C 12) = 0.9，CF(C 21) = 0.3，CF(C 22) = 0.6， ) = 0.9，CF(C 32) = 0.5，CF(C 33) =0.7； 求CF(H)。（10分） 装 订 线 内 不 得 答 题 自 觉 遵 守 考 试 规 则，诚 信 考 试，绝 不 作 弊

人工智能原理教案02章 归结推理方法2.2 命题逻辑的归结

2.2命题逻辑的归结 2.2.1命题逻辑基础 逻辑可分为经典逻辑和非经典逻辑，其中经典逻辑包括命题逻辑和谓词逻辑。归结原理是一种主要基于谓词（逻辑）知识表示的推理方法，而命题逻辑是谓词逻辑的基础。因此，在讨论谓词逻辑之前，先讨论命题逻辑的归结，便于内容上的理解。 本节中，将主要介绍命题逻辑的归结方法，以及有关的一些基础知识和重要概念，如数理逻辑基本公式变形、前束范式、子句集等。 描述事实、事物的状态、关系等性质的文字串，取值为真或假（表示是否成立）的句子称作命题。 命题：非真即假的简单陈述句 在命题逻辑里，单元命题是基本的单元或作为不可再分的原子。下面所列出的是一些基本的数理逻辑公理公式和一些有用的基本定义，如合取范式、子句集，这些公式和定义在归结法的推理过程中是必不可少的，也是归结法的基础，应该熟练掌握。 －数理逻辑的基本定义 下面所列的是一些数理逻辑中重要的定义，在后面的分

析中要用到： ·合取式：p与q，记做p∧q ·析取式：p或q，记做p∨q ·蕴含式：如果p则q，记做p→q ·等价式：p当且仅当q，记做p q ·若A无成假赋值，则称A为重言式或永真式； ·若A无成真赋值，则称A为矛盾式或永假式； ·若A至少有一个成真赋值，则称A为可满足的； ·析取范式：仅由有限个简单合取式组成的析取式 ·合取范式：仅由有限个简单析取式组成的合取式 －数理逻辑的基本等值式 下面这些基本的等式在归结原理实施之前的公式转化过程中是非常重要的。只有将逻辑公式正确转换成为归结原理要求的范式，才能够保证归结的正常进行。 ·交换律：p∨q q∨p； p∧q q∧p ·结合律：(p∨q)∨r p∨(q∨r); (p∧q)∧r p∧(q∧r) ·分配律：p∨(q∧r)(p∨q)∧(p∨r)； p∧(q∨r)(p∧q)∨(p∧r)·双重否定律：p～～p ·等幂律：p p∨p；p p∧p

人脸识别人工智能系统的原理与发展

人脸识别人工智能系统的原理与发展 一、引言 人脸识别系统以人脸识别技术为核心，是一项新兴的生物识别技术，是当今国际科技领域攻关的高精尖技术。它广泛采用区域特征分析算法，融合了计算机图像处理技术与生物统计学原理于一体，利用计算机图像处理技术从视频中提取人像特征点，利用生物统计学的原理进行分析建立数学模型，具有广阔的发展前景。2012年4月，铁路部门宣布车站安检区域将安装用于身份识别的高科技安检系统人脸识别系统；可以对人脸明暗侦测，自动调整动态曝光补偿，人脸追踪侦测，自动调整影像放大； 二、概述 人脸识别系统概述 广义的人脸识别实际包括构建人脸识别系统的一系列相关技术，包括人脸图像采集、人脸定位、人脸识别预处理、身份确认以及身份查找等;而狭义的人脸识别特指通过人脸进行身份确认或者身份查找的技术或系统。生物特征识别技术所研究的生物特征包括脸、指纹、手掌纹、虹膜、视网膜、声音(语音)、体形、个人习惯(例如敲击键盘的力度和频率、签字)等，相应的识别技术就有人脸识别、指纹识别、掌纹识别、虹膜识别、视网膜识别、语音识别(用语音识别可以进行身份识别，也可以进行语音内容的识别，只有前者属于生物特征识别技术)、体形识别、键盘敲击识别、签字识别等。 人脸识别系统功能模块 人脸捕获与跟踪功能：人脸捕获是指在一幅图像或视频流的一帧中检测出人像并将人像从背景中分离出来，并自动地将其保存。人像跟踪是指利用人像捕获技术，当指定的人像在摄像头拍摄的范围内移动时自动地对其进行跟踪。 人脸识别比对：人脸识别分核实式和搜索式二种比对模式。核实式是对指将捕获得到的人像或是指定的人像与数据库中已登记的某一对像作比对核实确定其是否为同一人。搜索式的比对是指，从数据库中已登记的所有人像中搜索查找是否有指定的人像存在。 人脸的建模与检索：可以将登记入库的人像数据进行建模提取人脸的特征，并将其生成人脸模板(人脸特征文件)保存到数据库中。在进行人脸搜索时(搜索式)，将指定的人像进行建模，再将其与数据库中的所有人的模板相比对识别，最终将根据所比对的相似值列出最相似的人员列表。

《人工智能原理及应用》课程

《人工智能原理及应用》课程 期末考核补考题目与设计要求 专业：级物联网班时间：第学期任课老师：陈建峡 一、目的 《人工智能原理及应用》课程设计是针对学习完《人工智能原理及应用》课程后进行的一次对学生综合知识应用能力可动手实践能力的考查。其成绩将作为本课程的期末考核成绩。通过课程设计，使学生能够得到较系统的技能训练，从而巩固和加深对人工智能的基础理论知识的理解，培养学生综合运用所学理论解决实际问题的能力，使学生成为具有扎实的计算机理论基础和较强的独立动手能力的应用型人才。 二、要求 、课程设计项目完成后，应提交如下设计成果：源程序（打包成如下文档名：课题名称本人姓名）；数据库文件；用户指南即如何运行系统以及你在本系统中的具体工作的文件；字数不少于英文单词（不含源码）的课程设计报告（格式按照任课老师提供的英文格式排版，撰写内容均为英语表达，格式模板可在课程群上下载）。 、课程设计报告分以下几部分： [1]封面（包括题目，完成人姓名，班级，指导教师，完成时间）（分） [2]背景介绍（分） [3]相关工作调研（分） [4]测试数据集合（分） [5]数据预处理与特征提取（分） [6]设计所用机器学习算法（分） [7]实验结果与分析（分） [8]结论与展望（分） [9]致谢（分） [10]参考文献：不少于篇文献(分） 三、设计验收及评分标准 .验收时间： 补考日期后一周内上交课程设计报告并答辩。 .验收内容：

系统完成及运行情况；系统演示、答辩情况和课程设计报告三部分，最后成绩以三部分综合评定。各部分所占比例为：系统完成及运行情况（）、系统演示和答辩情况（）、课程设计报告（）。 四、人员分组 （）人题。 （）选题时在课代表处选题并登记。选题不能重复，已被其它组选定的题目不能再选。五、待选题目（程序设计中的文字内容均为英语表达，若用中文表示扣分） 1. 2. 3. 4. 5.

人工智能原理与应用 教案

人工智能原理与应用 Principles and Application of Artificial Intelligence 课程简介 本课程主要讲述人工智能的基本概念、基本方法，会用搜索算法、推理方法和机器学习求解简单问题，如证明定理、机器推理、建造简单的专家系统，自然语言分析和理解。 要求 了解人工智能的提出，几种智能观，人工智能重要的研究领域，以及人工智能求解问题的方法与传统的数学方法的不同； 掌握启发式搜索概念，会用搜索方法求解简单问题 掌握归结推理方法，会用归结法证明定理，求解问题。 掌握一种不确定推理方法，会建造带有不确定推理的专家系统。 了解其它的推理方法； 掌握知识的表示方法，会用来表达某一具体的场景； 掌握机器学习概念和学习模型，会用实例学习方法进行学习， 了解数据挖掘的过程，会用关联规则挖掘算法做数据挖掘； 掌握自然语言理解的过程，会用基本的切分和语法分析方法做自然语句分析； 理解神经网络实现智能的另一种观点。掌握BP神经网的工作原理，会用来求解（如识别）问题； 了解遗传算法（GA）概念及如何使用遗传算法 参考资料： 《人工智能原理与应用》，张仰森，高等教育出版社 《人工智能》，蔡自兴 《人工智能原理》，石纯一黄昌宁王家钦编著，清华大学出版社《人工智能》（上下册），陆汝铃编著，科学出版社，1996 《人工智能与知识工程》，田盛丰、黄厚宽，中国铁道出版社，1999 《高级人工智能》，史忠植，科学出版社，1998 《人工智能基础》，高济、朱森良、何钦铭，高等教育出版社，2002

第一章人工智能概述 1.1 人工智能的起源与发展 ?计算机所能处理对象的改变：纯粹数值计算→非数值计算（自然语言理解、图象语音识别、专家系统、机器博弈系统等等符号知识处理） ?试探性搜索、启发式搜索、不确定性推理方法更符合人类思维过程。也就是说在解决这类问题时，没有算法解或即使有算法解但在当今计算技术不能实现。对这类问题可行的解决方法是搜索、试探，加上经验的启发式知识。这是一种来自专门领域的经验知识，限于特定场合，经常会取得成功但又不能保证必然成功，常能求得有关问题的满意解答。 医生一定能根据病人的症状诊断出是何种疾病吗？我们能用传统的算法设计一个程序进行疾病诊断吗？能用传统的算法设计一个程序能理解自然语言所组成的文档的含义吗？ 以上原因促使人工智能学科的诞生。 主要经历了以下几个阶段： ?孕育期（1956年以前）——从理论、技术和物质上奠定基础 ?成长期（1956－1972）——逻辑推理机程序、跳棋程序、通用问题求解（GPS：General Problem Solver）、人工智能程序设计语言 LISP/PROLOG ?发展期（1972－）——知识工程、专家系统（MYCIN，探矿系统）?学习期 1.2 什么是人工智能 1.什么是人类智能？有何特点？计算机到底能不能有人类智能？ 英国数学家Turing于1950提出的著名的Turing实验。 识别、推理、联想、自学习...（人脑的智能很复杂！） 计算机到底能不能有人类智能，至今没有完整的论证（人工智能是一门正在探索和发展的学科，至今还没有完全形成完整的理论体系。目前人工智能与人脑的智能还相差很远）