2016人工智能复习题目

合集下载

山东大学人工智能复习参考春带答案

山东大学人工智能复习参考春带答案

复习参考题2016秋一、填空1.构成产生式系统的基本元素有综合数据库、规则库、控制系统,控制策略按执行规则的方式分类,分为正向、逆向、双向三类。

2.归结过程中控制策略的作用是给出控制策略,以使仅对选择合适的子句间方可做归结,避免多余的、不必要的归结式出现或者说,少做些归结仍能导出空子句。

常见的控制策略有线性归结策略、支持集策略、单元归结、输入归结。

3.公式G和公式的子句集并不等值,但它们在不可满足的意义下是一致的。

4.与或图的启发式搜索算法(AO*算法)的两个过程分别是图生成过程即扩展节点和计算耗散值的过程。

5.人工智能的研究途径主要有两种不同的观点,一种观点称为符号主义,认为人类智能基本单元是符号。

另一种观点称为连接主义(仿生主义),认为职能的基本单元是神经元。

6.集合{P(a, x, f (g(y)), P(z, f(z),f(u)))的mgu(最一般合一置换)为{z/a, f(x)/x, u/g(y)}。

7.语义网络是对知识的有向图表示方法,一个最简单的语义网络是一个形如节点 1、弧、节点 2的三元组,语义网络可以描述事物间多种复杂的语义关系、常用ISA、AKO弧表示节点间具有类属的分类关系。

语义网络下的推理是通过继承和匹配实现的。

8.当前人工智能研究的热点之一就是机器学习。

常见的机器学习方法可分为连接学习、归纳学习、分析学习和遗传算法与分类器系统等。

一个机器学习系统应有环境、知识库、学习环节和执行环节四个基本部分组成。

9.常用的知识表示法有逻辑表示法、产生式规则表示法、语义网络表示法、框架理论表示法、过程表示法等。

10.有两个A*算法A1和A2,若A1比A2有较多的启发信息,则h1(n)>h2(n)。

11.关于A算法与A*算法,若规定h(n)≥0,并且定义启发函数:f*(n)=g*(n)+h*(n) 表示初始状态S0经点n到目标状态S g最优路径的费用。

其中g*(n)为S0到n的最小费用, h*(n)为到S g的实际最小费用。

ai复习题及答案

ai复习题及答案

ai复习题及答案一、选择题1. AI(人工智能)的英文全称是什么?A. Artificial IntelligenceB. Automatic InformationC. Artificial IntelligencesD. Artificially Intelligent答案:A2. 下列哪项不是人工智能的分支领域?A. 机器学习B. 自然语言处理C. 深度学习D. 量子计算答案:D3. 人工智能的发展历程中,以下哪个事件被认为是一个重要里程碑?A. 1950年图灵测试的提出B. 1969年阿波罗登月C. 1975年个人电脑的诞生D. 1984年苹果公司发布Macintosh电脑答案:A二、填空题4. 人工智能的三大支柱技术包括_______、_______和_______。

答案:机器学习、自然语言处理、计算机视觉5. 深度学习是机器学习的一个子领域,它主要依赖于一种称为_______的神经网络结构。

答案:多层神经网络(或深度神经网络)三、简答题6. 请简述人工智能在医疗领域的应用。

答案:人工智能在医疗领域的应用包括辅助诊断、患者监护、药物研发、手术机器人等。

通过图像识别技术,AI可以帮助医生分析医学影像,提高诊断的准确性;在患者监护方面,AI可以监测患者的生命体征,及时预警;在药物研发中,AI可以加速新药的筛选和测试过程;手术机器人则可以提高手术的精确度和安全性。

7. 什么是深度学习,它与传统机器学习有何不同?答案:深度学习是一种基于人工神经网络的学习算法,它能够自动提取数据特征,并通过多层的非线性变换来学习复杂的模式。

与传统机器学习相比,深度学习能够处理更加复杂的数据结构,如图像、语音和文本等,且通常不需要人工进行特征工程。

四、论述题8. 论述人工智能对现代社会的影响。

答案:人工智能对现代社会的影响是深远的。

首先,它极大地提高了生产效率,通过自动化和智能化,许多重复性或危险的工作可以由机器来完成。

人工智能复习题汇总(附答案)

人工智能复习题汇总(附答案)

一、选择题1.被誉为“人工智能之父”的科学家是(C )。

A. 明斯基B.图灵 C. 麦卡锡D. 冯.诺依曼 2. AI的英文缩写是( B ) A. Automatic Intelligence C. Automatic InformationB. Artificial Intelligence D. Artificial Information3.下列那个不是子句的特点(D) A.子句间是没有合取词的(∧) C子句中可以有析取词(∨)4.下列不是命题的是(C )。

A.我上人工智能课B. 存在最大素数C.请勿随地大小便D. 这次考试我得了101分 5. 搜索分为盲目搜索和(A)A启发式搜索 B模糊搜索 C精确搜索D大数据搜索6.从全称判断推导出特称判断或单称判断的过程,即由一般性知识推出适合于某一具体情况的结论的推理是(B) A. 归结推理 B. 演绎推理 C. 默认推理 D. 单调推理7.下面不属于人工智能研究基本内容的是( C) A. 机器感知 B. 机器学习B子句通过合取词连接句子(∧)D子句间是没有析取词的(∨)C. 自动化D. 机器思维8.S={P∨Q∨R, ┑Q∨R, Q, ┑R}其中, P 是纯文字,因此可将子句(A)从 S中删去 A. P∨Q∨R C. QB. ┑Q∨RD.┑R9.下列不属于框架中设置的常见槽的是( B )。

A. ISA槽B.if-then槽C. AKO槽D. Instance槽 10.常见的语意网络有( D )。

A. A-Member-of联系 C. have 联系1.在深度优先搜索策略中,open表是(B )的数据结构 A.先进先出B.先进后出C. 根据估价函数值重排D.随机出 2.归纳推理是(B)的推理A. 从一般到个别B. 从个别到一般C. 从个别到个别D. 从一般到一般3. 要想让机器具有智能,必须让机器具有知识。

因此,在人工智能中有一个研究领域,主要研究计算机如何自动获取知识和技能,实现自我完善,这门研究分支学科叫(B ) A.专家系统B.机器学习B. Composed–of联系 D.以上全是C.神经网络D.模式识别4. 下列哪个不是人工智能的研究领域(D) A.机器证明B.模式识别 C.人工生命D.编译原理6. 在主观Bayes方法中,几率O(x)的取值范围为(D ) A.[-1, 1] B.[0, 1] C.[-1, ∞)D.[0, ∞)7. 仅个体变元被量化的谓词称为 ( A) A.一阶谓词B.原子公式C.二阶谓词D.全称量词8. 在可信度方法中,CF(H,E)的取值为(C )时,前提E为真不支持结论H为真。

人工智能复习题汇总(附答案)

人工智能复习题汇总(附答案)

一、选择题1.被誉为“人工智能之父”的科学家是(C )。

A. 明斯基B. 图灵C. 麦卡锡D. 冯.诺依曼2. AI的英文缩写是( B )A. Automatic IntelligenceB. Artificial IntelligenceC. Automatic InformationD. Artificial Information3. 下列那个不是子句的特点(D )A.子句间是没有合取词的(∧)B子句通过合取词连接句子(∧) C子句中可以有析取词(∨)D子句间是没有析取词的(∨)4. 下列不是命题的是(C )。

A.我上人工智能课B. 存在最大素数C.请勿随地大小便D. 这次考试我得了101分5. 搜索分为盲目搜索和(A )A启发式搜索B模糊搜索C精确搜索D大数据搜索6. 从全称判断推导出特称判断或单称判断的过程,即由一般性知识推出适合于某一具体情况的结论的推理是( B )A. 归结推理B. 演绎推理C. 默认推理D. 单调推理7. 下面不属于人工智能研究基本内容的是(C )A. 机器感知B. 机器学习C. 自动化D. 机器思维8. S={P∨Q∨R, ┑Q∨R, Q, ┑R}其中, P 是纯文字,因此可将子句(A )从S中删去A. P∨Q∨RB. ┑Q∨RC. QD. ┑R9. 下列不属于框架中设置的常见槽的是(B )。

A. ISA槽B. if-then槽C. AKO槽D. Instance槽10. 常见的语意网络有(D )。

A. A-Member - of联系B. Composed–of联系C. have 联系D. 以上全是1.在深度优先搜索策略中,open表是(B )的数据结构A. 先进先出B. 先进后出C. 根据估价函数值重排D. 随机出2.归纳推理是(B )的推理A. 从一般到个别B. 从个别到一般C. 从个别到个别D. 从一般到一般3. 要想让机器具有智能,必须让机器具有知识。

因此,在人工智能中有一个研究领域,主要研究计算机如何自动获取知识和技能,实现自我完善,这门研究分支学科叫(B )A.专家系统B.机器学习C.神经网络D.模式识别4. 下列哪个不是人工智能的研究领域(D )A.机器证明B.模式识别C.人工生命D.编译原理6. 在主观Bayes方法中,几率O(x)的取值范围为(D )A. [-1, 1]B. [0, 1]C. [-1, ∞)D. [0, ∞)7. 仅个体变元被量化的谓词称为( A )A. 一阶谓词B. 原子公式C. 二阶谓词D. 全称量词8. 在可信度方法中,CF(H,E)的取值为(C )时,前提E为真不支持结论H为真。

人工智能复习题库

人工智能复习题库

一、填空:1.人工智能的研究途径有心理模拟、生理模拟和行为模拟。

2.任意列举人工智能的四个应用性领域难题求解、定理证实、智能操纵、机器翻译。

3.人工智能的全然技术包括搜索技术、推理技术、知识表示和知识库技术回纳技术、联想技术。

4.谓词逻辑是一种表达能力特别强的形式语言,其真值的特点和命题逻辑的区不是〔10〕。

5.谓词逻辑中,重言式〔tautlogy〕的值是真。

6.设P是谓词公式,关于P的任何论域,存在P为确实情况,那么称P为永真式。

7.在著名的医疗专家系统MYCIN中,假设证据A的可信度CF〔A〕=0,那么意味着无关,CF〔A〕=-1,那么意味着假,CF〔A〕=1,那么意味着真。

8.谓词公式G是不可满足的,当且仅当对所有的解释G都为假。

9.谓词公式与其子句集的关系是包含。

10.利用回结原理证实定理时,假设得到的回结式为空集,那么结论成立。

11.假设C1=┐P∨Q,C2=P∨┐Q,那么C1和C2的回结式R〔C1,C2〕=┐P∨P或┐Q∨Q。

12.假设C1=P(x)∨Q(x),C2=┐P(a)∨R(y),那么C1和C2的回结式R〔C1,C2〕=〔20〕Q〔a〕∨R〔y〕13.有谓词公式G,置换δ,那么G·ε=〔21〕,δ·ε=〔22〕。

14.有子句集S={P(x),P(y)},其MGU={y/x}。

15.在回结原理中,几种常见的回结策略同时具有完备性的是删除策略支持集策略线性回结策略16.状态图启发式搜索算法的特点是〔27〕。

17.广度优先搜索算法中,OPEN表的数据结构实际是一个二叉树,深度优先搜索算法中,OPEN表的数据结构实际是一个单链表。

18.产生式系统有三局部组成综合数据库,知识库和推理机。

其中推理可分为正向推理和反向推理。

19.专家系统的结构包含人机界面、知识库,推理机,动态数据库,知识库答理系统和解释模块。

20.在MYCIN推理中,对证据的可信度CF〔A〕、CF〔A1〕、CF〔A2〕之间,如下关系:CF〔~A〕=~CF〔A〕,CF〔A1∧A2〕=min{CF〔A1〕,CF〔A2〕},CF〔A1∨A2〕=max{CF〔A1〕,CF〔A2〕}。

人工智能复习题及答案

人工智能复习题及答案

一、填空:1.人工智能的研究途径有心理模拟、生理模拟和行为模拟。

2.任意列举人工智能的四个应用性领域智能控制、智能管理、智能决策、智能仿真。

3.人工智能的基本技术包括表示、运算、搜索归纳技术、联想技术。

4.谓词逻辑是一种表达能力很强的形式语言,其真值的特点和命题逻辑的区别是(10)。

5.谓词逻辑中,重言式(tautlogy)的值是(11)。

6.设P是谓词公式,对于P的任何论域,存在P为真的情况,则称P为(12)。

7.在著名的医疗专家系统MYCIN中规定,若证据A的可信度CF(A)=0,则意味着13 ,CF(A)=-1,则意味着(14),CF(A)=1,则意味着(15)。

8.谓词公式G是不可满足的,当且仅当对所有的解释(16)。

9.谓词公式与其子句集的关系是(17)。

10.利用归结原理证明定理时,若得到的归结式为(18),则结论成立。

11.若C1=┐P∨Q,C2=P∨┐Q,则C1和C2的归结式R(C1,C2)= (19)。

12.若C1=P(x) ∨Q(x),C2=┐P(a) ∨R(y),则C1和C2的归结式R(C1,C2)= (20)。

13.有谓词公式G,置换δ,则G·ε= (21),δ·ε= (22)。

14.有子句集S={P(x),P(y)},其MGU= (23)。

15.在归结原理中,几种常见的归结策略并且具有完备性的是(24),(25),(26)。

16.状态图启发式搜索算法的特点是(27)。

17.广度优先搜索算法中,OPEN表的数据结构实际是一个(28),深度优先搜索算法中,OPEN表的数据结构实际是一个(29)。

18.产生式系统有三部分组成(30),(31)和推理机。

其中推理可分为(32)和(33)。

19.专家系统的结构包含人机界面、(34),(35),(36),(37)和解释模块。

20.在MYCIN推理中,对证据的可信度CF(A)、CF(A1)、CF(A2)之间,规定如下关系:CF(~A)= (38),CF(A1∧A2 )= (39),CF(A1∨A2 )= (40)。

人工智能复习题

人工智能复习题

人工智能复习题人工智能复习题人工智能(Artificial Intelligence,简称AI)是近年来备受关注的热门话题。

随着科技的发展,AI在各个领域都有着广泛的应用。

下面是一些关于人工智能的复习题,希望能够帮助大家进一步了解这个领域。

1. 什么是人工智能?简要解释人工智能的概念,并列举一些人工智能的应用领域。

2. 人工智能的发展历程是怎样的?从早期的符号主义到现在的深度学习,介绍人工智能的发展历程和里程碑。

3. 人工智能的技术基础有哪些?介绍人工智能的技术基础,包括机器学习、神经网络、自然语言处理等。

4. 机器学习和深度学习有什么区别?解释机器学习和深度学习的概念,并比较它们之间的区别。

5. 人工智能在医疗领域的应用有哪些?举例说明人工智能在医疗领域的应用,如辅助诊断、药物研发等。

6. 人工智能在交通领域的应用有哪些?介绍人工智能在交通领域的应用,如自动驾驶、智能交通管理等。

7. 人工智能在金融领域的应用有哪些?讨论人工智能在金融领域的应用,如风险评估、智能投资等。

8. 人工智能的发展对社会和经济有何影响?探讨人工智能的发展对社会和经济带来的影响,包括就业、隐私等方面。

9. 人工智能的伦理问题有哪些?分析人工智能发展过程中涉及的伦理问题,如道德责任、隐私保护等。

10. 人工智能的未来发展趋势是什么?展望人工智能的未来发展趋势,如智能机器人、量子计算等。

以上是一些关于人工智能的复习题,希望能够帮助大家回顾和巩固相关知识。

人工智能作为一门新兴的科学领域,将对我们的生活和社会产生深远的影响。

在学习和应用人工智能的过程中,我们也需要关注其中的伦理和社会问题,共同推动人工智能的可持续发展。

人工智能复习试题和答案及解析教学提纲

人工智能复习试题和答案及解析教学提纲

人工智能复习试题和答案及解析一、单选题1. 人工智能的目的是让机器能够(D ),以实现某些脑力劳动的机械化A. 具有完全的智能B. 和人脑一样考虑问题C. 完全代替人D. 模拟、延伸和扩展人的智能2. 下列关于人工智能的叙述不正确的有(C )。

A. 人工智能技术它与其他科学技术相结合极大地提高了应用技术的智能化水平。

B. 人工智能是科学技术发展的趋势。

C. 因为人工智能的系统研究是从上世纪五十年代才开始的,非常新,所以十分重要。

D. 人工智能有力地促进了社会的发展。

3. 自然语言理解是人工智能的重要应用领域,下面列举中的(C)不是它要实现的目标。

A. 理解别人讲的话。

B. 对自然语言表示的信息进行分析概括或编辑。

C. 欣赏音乐。

D. 机器翻译。

4. 下列不是知识表示法的是()。

A. 计算机表示法B. 谓词表示法C. 框架表示法D. 产生式规则表示法5. 关于“与/ 或”图表示知识的叙述,错误的有(D )。

A. 用“与/ 或”图表示知识方便使用程序设计语言表达,也便于计算机存储处理。

B. “与/ 或”图表示知识时一定同时有“与节点”和“或节点”。

C. “与/ 或”图能方便地表示陈述性知识和过程性知识。

D. 能用“与/ 或”图表示的知识不适宜用其他方法表示。

6. 一般来讲,下列语言属于人工智能语言的是(D )A. VJB. C#C. FoxproD. LISP7. 专家系统是一个复杂的智能软件,它处理的对象是用符号表示的知识,处理的过程是( C )的过程。

A. 思考B. 回溯C. 推理D. 递归8. 确定性知识是指(A )知识。

A. 可以精确表示的B. 正确的C. 在大学中学到的知识D. 能够解决问题的9. 下列关于不精确推理过程的叙述错误的是(B )。

A. 不精确推理过程是从不确定的事实出发B. 不精确推理过程最终能够推出确定的结论C. 不精确推理过程是运用不确定的知识D. 不精确推理过程最终推出不确定性的结论10. 我国学者吴文俊院士在人工智能的(A )领域作出了贡献。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

2016人工智能复习重点题型:选择、填空、简答、推理、计算。

各20分主要内容:AI三大学派、AI应用领域、图灵测试、谓词逻辑表示法语义网络表示法产生式表示法与或树,解树,可解节点的含义及解释、归结子句、置换、合一状态空间产生式系统盲目搜索、启发式搜索(求解城市最短路径相关例题要着重看)演绎推理和归结推理可信度算法和bayse算法ID3算法【第一章绪论】1、三大学派及其对人工智能发展历史的不同看法符号主义:认为人工智能源于数理逻辑。

符号主义仍然是人工智能的主流派。

这个学派的代表有纽厄尔、肖、西蒙和尼尔逊(Nilsson)等。

联结主义:认为人工智能源于仿生学,特别是人脑模型的研究。

行为主义:认为人工智能源于控制论。

这一学派的代表作首推布鲁克斯(Brooks)的六足行走机器人,它被看做新一代的“控制论动物”,是一个基于感知-动作模式的模拟昆虫行为的控制系统。

2. 人工智能的研究及应用领域人工智能研究及应用领域很多,主要研究领域包括问题求解、机器学习、专家系统、模式识别、自动定理证明、自然语言理解等。

问题求解:人工智能的第一个大成就是发展了能够求解难题的下棋(如国际象棋)程序,它包含问题的表示、分解、搜索与归约等。

机器学习:学习是人类智能的主要标志和获得知识的基本手段;机器学习(自动获取新的事实及新的推理算法)是使计算机具有智能的根本途径;机器学习还有助于发现人类学习的机理和揭示人脑的奥秘。

学习是一个有特定目的的知识获取过程,其内部表现为新知识结构的不断建立和修改,而外部表现为性能的改善。

专家系统:一般地说,专家系统是一个智能计算机程序系统,其内部具有大量专家水平的某个领域知识与经验,能够利用人类专家的知识和解决问题的方法来解决该领域的问题。

发展专家系统的关键是表达和运用专家知识, 即来自人类专家的并已被证明对解决有关领域内的典型问题是有用的事实和过程。

模式识别:人工智能所研究的模式识别是指用计算机代替人类或帮助人类感知模式, 是对人类感知外界功能的模拟,研究的是计算机模式识别系统,也就是使一个计算机系统具有模拟 人类通过感官接受外界信息、识别和理解周围环境的感知能力。

自动定理证明:自动定理证明的研究在人工智能方法的发展中曾经产生过重要的影响。

例如,采用谓词逻辑语言的演绎过程的形式化有助于更清楚地理解推理的某些子命题。

许多非形式 的工作,包括医疗诊断和信息检索都可以和定理证明问题一样加以形式化。

能方法的研究中定理证明是一个极其重要的论题。

我国人工智能大师吴文俊院士提出并实现了几何定理机器证明的方法, “吴氏方法”,是定理证明的又一标志性成果。

自动程序设计:对自动程序设计的研究不仅可以促进半自动软件开发系统的发展, 通过修正自身数码进行学习(即修正它们的性能)的人工智能系统得到发展。

程序理论方面的 有关研究工作对人工智能的所有研究工作都是很重要的。

自动程序设计研究的重大贡献之一是作为问题求解策略的调整概念。

已经发现,对程序 设计或机器人控制问题,先产生一个不费事的有错误的解,然后再修改它 (使它正确工作), 这种做法一般要比坚持要求第一个解就完全没有缺陷的做法有效得多。

一个能理解自然语言信息的计算机系统看起来就像一个人一样需要有上下文知识以及 根据这些上下文知识和信息用信息发生器进行推理的过程。

理解口头的和书写语言的计算机系统所取得的某些进展,其基础就是有关表示上下文知识结构的某些人工智能思想以及根据 这些知识进行推理的某些技术。

机器人学:人工智能研究日益受到重视的另一个分支是机器人学,其中包括对操作机器人装置程序的研究。

这个领域所研究的问题, 从机器人手臂的最佳移动到实现机器人目标的动作 序列的规划方法,无所不包。

目前已经建立了一些比较复杂的机器人系统。

机器人和机器人学的研究促进了许多人工智能思想的发展。

智能机器人的研究和应用体现出广泛的学科交叉, 涉及众多的课题,机器人已在各领域获得越来越普遍的应用。

人工神经网络:人工神经网络处理直觉和形象思维信息具有比传统处理方式好得多的效果。

人工神经网络已在模式识别、图象处理、组合优化、自动控制、信息处理、机器人学和人工 智能的其它领域获得日益广泛的应用。

智能检索:随着科学技术的迅速发展,出现了 “知识爆炸”的情况,研究智能检索系统已成 为科技持续快速发展的重要保证。

智能信息检索系统的设计者们将面临以下几个问题。

首先,建立一个能够理解以自然语 言陈述的询问系统本身就存在不少问题。

其次,即使能够通过规定某些机器能够理解的形式化询问语句来回避语言理解问题,但仍然存在一个如何根据存储的事实演绎出答案的问题。

第三,理解询问和演绎答案所需要的知识都可能超出该学科领域数据库所表示的知识。

【第二章知识表示方法】1•谓词逻辑表示(通过PPT 例题和试卷题目理解解题方法及步骤)。

2•产生式的三大组成模块及其作用规则库:规则库是某领域知识(规则)的存储器,规则是以产生式表示的,规则集蕴涵着将 问题从初始状态转换解状态的那些变换规则,规则库是专家系统的核心。

规则可表成与或树形式,基于数据库中事实对这与或树的求值过程就是推理。

因此,在人工智被国际上承认为而且也使数据库:数据库存放输入的事实、外部数据库输入的事实以及中间结果(事实)和最后结果的工作区。

推理机:推理机是一个程序,控制协调规则库与数据的运行,包含了推理方式和控制策略。

3. 语义网络表示法(应用题)理解语义网络的概念及结构,常用的语义联系和用语义网络表示知识的方法。

Eg1:我的车是棕黄色的,John 的车是绿色的。

其中结点"car"是附加的,这样便于将单个网络连结起来。

Eg2:理解下面图示的含义。

4. 状态空间表示法及其三要素(PPT第五章内容)状态空间表示法用“状态”和“算符”来表示问题及求解问题可使用的知识。

状态:是求解过程中用以描述问题在任一时刻状况的数据结构。

算符:表示对状态的操作,算符的一次使用就使问题由一种状态变换为另一种状态。

问题的解:当到达目标状态时,由初始状态到目标状态所用算符的序列就是问题的一个解。

5. 与或树中树、解树、可解节点的含义(PPT第五章内容)与树:问题的分解过程可用一个“与树”表示。

把问题P分解为三个子问题P1、P2、P3,只有当P1、P2、P3三个子问题都可解时,问题P才可解,称P1、P2、P3之间存在“与关系”;称节点P为“与节点”。

或树:问题的等价变换过程可用一个“或树”表示。

问题P被等价变换为新问题P1、P2、P3,其中,新问题P1、P2、P3中只要有一个可解,则原问题就可解,称P1、P2、P3之间存在“或关系”;节点P称为“或节点”。

与或树:其中既有“与”节点,也有“或”节点。

可解节点:①它是一个终叶节点。

② 它是一个“或”节点,且其子节点至少有一个是可解节点。

③ 它是一个“与”节点,且其子节点全部是可解节点。

解树:由可解节点构成的、且由这些可解节点可推出初始节点(它对应于原始问题)为可解节点的与/或树称为解树。

【第三章确定性推理方法】1•自然演绎推理方法理解概念P/T/拒取/假言推理等。

Eg1 :构造下列的推理的证明:S T M, S T R, M前提:P V Q, P T R,结论:Q①-> M P② S—M P③①②拒取式④ 一S~R P⑤R③④假言推理⑥ PR P⑦「P⑤⑥拒取式⑧PVQ P⑨Q⑦⑧I析恥三段式Eg2:—公安人员审查一件案件。

一致的事实如下:(1) .张三或李四盗窃了录像机;(2) .如果张三盗窃了录像机,则作案时间不能在午夜前;(3) .如果李四证词正确,则午夜时屋内灯光未灭;(4) .如果李四证词不正确,则作案时间在午夜前;(5) .午夜时屋内灯灭了。

求解是谁偷了录相机。

解:将已知事实符号化:设P:张三盗窃录像机;Q:李四盗窃录像机;R:作案时间发生在午夜前;S:李四证词正确;M:午夜时灯光未灭。

则前提为:⑴P V Q,(2)P~ R,(3)S~ M,(4)S~ R,所以,可以得出是李四盗了录像机。

Eg3:前提:p (q 。

(r A s) q), p!s证明:⑴ Pp 规则 ⑵p((r A s) q)p 规则⑶(r A s) q⑴⑵⑷ s p 规则⑸ s V r⑷1 ⑹(r A s)⑸E ⑺q⑶⑹12•归结推理方法(应用证明题) 掌握推理方法,重在理解 Eg1:例 已知;A: (Vx)((3 y)(P (扎y)AQ(y))~归 y)(K(y)AT(x 3y))) B:〜(m x)R(x)-*(V x)(V y)(P(x,y) Q(y))求证:E 是A 的逻辑结论。

证明首先将丸和〜B 化为子句集(1)~P(x,y)V 〜Q(y) VR(fM)(3)〜P (足刃V-Q(y) VT(x,f(x))"(1)(2)为A⑶〜R ⑵⑷ P(a T b) ⑸ 0(b)"⑶⑷⑶为E结论未定。

①@©④⑤⑥⑦⑧⑨(5)M 。

-.M PS^M P-.S ①②拒取式 -.S —R PR ③④假言推理 P —R P-.P ⑤⑥拒取式 PVQ PQ⑦⑧析取三段式下而进厅归结:(6) 〜P 化y}V 〜Q(y) (1)与铝)归结.。

={申旳} (7) ~Q(b) (4)与(6)归结,口二{a/K,b/y}(8) NIL (空子句)(幻与(?)归结所以B 是A 的逻辑结论nEg2:•例3.19,证明:• (Vx)(P w -> (Q ㈤ A^J) A (3x)(P w A T (I]}) 9 Gx) (T w A 陷))--证明:-1.结论取反,与前提井,得到谓词公式G” * 2,将Gfc 为子句集*■ {~ P (i )V Qg ‘ ~ P ㈤ V > P 〔a ),T 简 ‘ ~ T 肿 V ~ 片備} ・①〜P (1} V Q ㈣,②〜P ㈤V R ㈤,③%), @T ㈤,⑤〜T w V 〜R 河归结推理】 -P Ca )V ② ={a/x}隔 ③®归结〜T ⑻V 〜內酊⑤a ={a/x }〜隔④⑧归结 NIL⑦⑨归结Eg3:任何兄弟都有同一个父亲,John 和Peter 是兄弟,且 John 的父亲是 David ,问Peter的父亲是谁?解第一步:将已知条件用谓词公式表示出来,并化成子句集,那么要先定义谓词。

(1) 定义谓词:设Father(x,y)表示x 是y 的父亲。

Brother(x,y)表示x 和y 是兄弟。

(2) 将已知事实用谓词公式表示出来。

F1 :任何兄弟都有同一个父亲。

(x)(y)(z)(Brother(x,y) A Father(z,x) Father(z,y)) F2: John 和 Peter 是兄弟。

相关文档
最新文档