人工智能原理及其应用(王万森)第3版 课后习题答案文件【新版】
- 格式:doc
- 大小:1.18 MB
- 文档页数:58
第二章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.10用谓词表示法求解农夫、狼、山羊、白菜问题。
农夫、狼、山羊、白菜全部放在一条河的左岸,现在要把他们全部送到河的右岸去,农夫有一条船,过河时,除农夫外船上至多能载狼、山羊、白菜中的一种。
狼要吃山羊,山羊要吃白菜,除非农夫在那里。
似规划出一个确保全部安全过河的计划。
请写出所用谓词的定义,并给出每个谓词的功能及变量的个体域。
解:(1) 先定义描述状态的谓词要描述这个问题,需要能够说明农夫、狼、羊、白菜和船在什么位置,为简化问题表示,取消船在河中行驶的状态,只描述左岸和右岸的状态。
人工智能及其应用课后答案本页仅作为文档页封面,使用时可以删除This document is for reference only-rar21year.March第二章知识表示方法2-1 状态空间法、问题归约法、谓词逻辑法和语义网络法的要点是什么?它们有何本质上的联系及异同点答:状态空间法:基于解答空间的问题表示和求解方法,它是以状态和算符为基础来表示和求解问题的。
一般用状态空间法来表示下述方法:从某个初始状态开始,每次加一个操作符,递增的建立起操作符的试验序列,直到达到目标状态为止。
问题规约法:已知问题的描述,通过一系列变换把此问题最终变成一个子问题集合:这些子问题的解可以直接得到,从而解决了初始问题。
问题规约的实质:从目标(要解决的问题)出发逆向推理,建立子问题以及子问题的子问题,直至最后把出示问题规约为一个平凡的本原问题集合。
谓词逻辑法:采用谓词合式公式和一阶谓词算法。
要解决的问题变为一个有待证明的问题,然后采用消解定理和消解反演莱证明一个新语句是从已知的正确语句导出的,从而证明这个新语句也是正确的。
语义网络法:是一种结构化表示方法,它由节点和弧线或链组成。
节点用于表示物体、概念和状态,弧线用于表示节点间的关系。
语义网络的解答是一个经过推理和匹配而得到的具有明确结果的新的语义网络。
语义网络可用于表示多元关系,扩展后可以表示更复杂的问题2-2 设有3个传教士和3个野人来到河边,打算乘一只船从右岸渡到左岸去。
该船的负载能力为两人。
在任何时候,如果野人人数超过传教士人数,那么野人就会把传教士吃掉。
他们怎样才能用这条船安全地把所有人都渡过河去用S i(nC, nY) 表示第i次渡河后,河对岸的状态,nC表示传教士的数目,nY表示野人的数目,由于总人数的确定的,河对岸的状态确定了,河这边的状态也即确定了。
考虑到题目的限制条件,要同时保证,河两岸的传教士数目不少于野人数目,故在整个渡河的过程中,允许出现的状态为以下3种情况:1. nC=02. nC=33. nC=nY>=0 (当nC不等于0或3)用d i(dC, dY)表示渡河过程中,对岸状态的变化,dC表示,第i次渡河后,对岸传教士数目的变化,dY表示,第i次渡河后,对岸野人数目的变化。
第1章人工智能概述课后题答案1.1什么是智能?智能包含哪几种能力?解:智能主要是指人类的自然智能。
一般认为,智能是是一种认识客观事物和运用知识解决问题的综合能力。
智能包含感知能力,记忆与思维能力,学习和自适应能力,行为能力1.2人类有哪几种思维方式?各有什么特点?解:人类思维方式有形象思维、抽象思维和灵感思维形象思维也称直感思维,是一种基于形象概念,根据感性形象认识材料,对客观对象进行处理的一种思维方式。
抽象思维也称逻辑思维,是一种基于抽象概念,根据逻辑规则对信息或知识进行处理的理性思维形式。
灵感思维也称顿悟思维,是一种显意识与潜意识相互作用的思维方式。
1.3什么是人工智能?它的研究目标是什么?解:从能力的角度讲,人工智能是指用人工的方法在机器(计算机)上实现智能;从学科的角度看,人工智能是一门研究如何构造智能机器或智能系统,使它能模拟、延伸和扩展人类智能的学科。
研究目标:对智能行为有效解释的理论分析;解释人类智能;构造具有智能的人工产品;1.4什么是图灵实验?图灵实验说明了什么?解:图灵实验可描述如下,该实验的参加者由一位测试主持人和两个被测试对象组成。
其中,两个被测试对象中一个是人,另一个是机器。
测试规则为:测试主持人和每个被测试对象分别位于彼此不能看见的房间中,相互之间只能通过计算机终端进行会话。
测试开始后,由测试主持人向被测试对象提出各种具有智能性的问题,但不能询问测试者的物理特征。
被测试对象在回答问题时,都应尽量使测试者相信自己是“人”,而另一位是”机器”。
在这个前提下,要求测试主持人区分这两个被测试对象中哪个是人,哪个是机器。
如果无论如何更换测试主持人和被测试对象的人,测试主持人总能分辨出人和机器的概率都小于50%,则认为该机器具有了智能。
1.5人工智能的发展经历了哪几个阶段?解:孕育期,形成期,知识应用期,从学派分立走向综合,智能科学技术学科的兴起1.6人工智能研究的基本内容有哪些?解:与脑科学与认知科学的交叉研究智能模拟的方法和技术研究1.7人工智能有哪几个主要学派?各自的特点是什么?解:符号主义:又称为逻辑主义、心理学派或计算机学派,是基于物理符号系统假设和有限合理性原理的人工智能学派。
第1章人工智能概述课后题答案1.1什么是智能?智能包含哪几种能力?解:智能主要是指人类的自然智能。
一般认为,智能是是一种认识客观事物和运用知识解决问题的综合能力。
智能包含感知能力,记忆与思维能力,学习和自适应能力,行为能力1.2人类有哪几种思维方式?各有什么特点?解:人类思维方式有形象思维、抽象思维和灵感思维形象思维也称直感思维,是一种基于形象概念,根据感性形象认识材料,对客观对象进行处理的一种思维方式。
抽象思维也称逻辑思维,是一种基于抽象概念,根据逻辑规则对信息或知识进行处理的理性思维形式。
灵感思维也称顿悟思维,是一种显意识与潜意识相互作用的思维方式。
1.3什么是人工智能?它的研究目标是什么?解:从能力的角度讲,人工智能是指用人工的方法在机器(计算机)上实现智能;从学科的角度看,人工智能是一门研究如何构造智能机器或智能系统,使它能模拟、延伸和扩展人类智能的学科。
研究目标:对智能行为有效解释的理论分析;解释人类智能;构造具有智能的人工产品;1.4什么是图灵实验?图灵实验说明了什么?解:图灵实验可描述如下,该实验的参加者由一位测试主持人和两个被测试对象组成。
其中,两个被测试对象中一个是人,另一个是机器。
测试规则为:测试主持人和每个被测试对象分别位于彼此不能看见的房间中,相互之间只能通过计算机终端进行会话。
测试开始后,由测试主持人向被测试对象提出各种具有智能性的问题,但不能询问测试者的物理特征。
被测试对象在回答问题时,都应尽量使测试者相信自己是“人”,而另一位是”机器”。
在这个前提下,要求测试主持人区分这两个被测试对象中哪个是人,哪个是机器。
如果无论如何更换测试主持人和被测试对象的人,测试主持人总能分辨出人和机器的概率都小于50%,则认为该机器具有了智能。
1.5人工智能的发展经历了哪几个阶段?解:孕育期,形成期,知识应用期,从学派分立走向综合,智能科学技术学科的兴起1.6人工智能研究的基本内容有哪些?解:与脑科学与认知科学的交叉研究智能模拟的方法和技术研究1.7人工智能有哪几个主要学派?各自的特点是什么?解:符号主义:又称为逻辑主义、心理学派或计算机学派,是基于物理符号系统假设和有限合理性原理的人工智能学派。
第二章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.10用谓词表示法求解农夫、狼、山羊、白菜问题。
农夫、狼、山羊、白菜全部放在一条河的左岸,现在要把他们全部送到河的右岸去,农夫有一条船,过河时,除农夫外船上至多能载狼、山羊、白菜中的一种。
狼要吃山羊,山羊要吃白菜,除非农夫在那里。
似规划出一个确保全部安全过河的计划。
请写出所用谓词的定义,并给出每个谓词的功能及变量的个体域。
解:(1) 先定义描述状态的谓词要描述这个问题,需要能够说明农夫、狼、羊、白菜和船在什么位置,为简化问题表示,取消船在河中行驶的状态,只描述左岸和右岸的状态。
人工智能原理及其应用第三版答案【篇一:智能仪器原理及应用(第二版)课后习题部分答案】器成为智能仪器。
特点:(1)智能仪器使用键盘代替传统仪器中的旋转式或琴键式切换开关开实施对仪器的控制从而使仪器面板的布置和仪器内部有关部件的安排不再相互限制和牵连。
(2)微处理器的运用极大的提高了仪器的性能。
(3)智能仪器运用微处理器的控制功能,可以方便的实现量程自动转换、自动调零、触发电平自动调整、自动校准、自动诊断等功能,有力的改善了仪器的自动化测量水平。
(4)智能仪器具有友好的人机对话能力。
(5)智能仪器一般都配有gp-ib或rs-232等通信接口,是智能仪器具有可程控操作的能力1-2. 主机电路用来存储程序数据并进行一系列的运算和处理;模拟量输入/输出通道用来输入/输出模拟信号;人机接口电路的作用是沟通操作者和仪器之间的联系;通信接口电路用于实现仪器与计算机的联系,以便使仪器可以接收计算机的程序命令。
1-3. 监控程序是面向仪器面板键盘和显示器的管理程序,其内容包括:通过键盘输入命令和数据,以对仪器的功能、操作方式与工作参数进行设置;根据仪器设置的功能和工作方式,控制i/o接口电路进行数字采集、存储;按照仪器设置的参数,对采集的数据进行相关的处理;以数字、字符、图形等形式显示测量结果、数据处理的结果及仪器的状态信息。
1-4. 智能仪器广泛使用键盘,使面板的布置与仪器功能部件的安排可以完全独立的进行,明显改善了仪器面板及有关功能部件结构的设计,这样即有利于提高仪器技术指标,又方便了仪器的操作。
1-5. 智能仪器组成的自动测试系统是一个分布式多微型计算机系统,系统内的各智能仪器在任务一级并行工作,它们个子具备的硬件和软件,能相对独立的工作,相互间也可通信,它们之间通过外部总线松散耦合。
特点:自动测试系统具有极强的通用性和多功能性。
1-6. 个人仪器和个人仪器系统充分的利用pc机软件资源,相对于智能仪器来说,极大的降低了成本,大幅缩短了研制周期,显示出广阔的发展前景。
人工智能及其应用课后答案本页仅作为文档页封面,使用时可以删除This document is for reference only-rar21year.March第二章知识表示方法2-1 状态空间法、问题归约法、谓词逻辑法和语义网络法的要点是什么?它们有何本质上的联系及异同点答:状态空间法:基于解答空间的问题表示和求解方法,它是以状态和算符为基础来表示和求解问题的。
一般用状态空间法来表示下述方法:从某个初始状态开始,每次加一个操作符,递增的建立起操作符的试验序列,直到达到目标状态为止。
问题规约法:已知问题的描述,通过一系列变换把此问题最终变成一个子问题集合:这些子问题的解可以直接得到,从而解决了初始问题。
问题规约的实质:从目标(要解决的问题)出发逆向推理,建立子问题以及子问题的子问题,直至最后把出示问题规约为一个平凡的本原问题集合。
谓词逻辑法:采用谓词合式公式和一阶谓词算法。
要解决的问题变为一个有待证明的问题,然后采用消解定理和消解反演莱证明一个新语句是从已知的正确语句导出的,从而证明这个新语句也是正确的。
语义网络法:是一种结构化表示方法,它由节点和弧线或链组成。
节点用于表示物体、概念和状态,弧线用于表示节点间的关系。
语义网络的解答是一个经过推理和匹配而得到的具有明确结果的新的语义网络。
语义网络可用于表示多元关系,扩展后可以表示更复杂的问题2-2 设有3个传教士和3个野人来到河边,打算乘一只船从右岸渡到左岸去。
该船的负载能力为两人。
在任何时候,如果野人人数超过传教士人数,那么野人就会把传教士吃掉。
他们怎样才能用这条船安全地把所有人都渡过河去用S i(nC, nY) 表示第i次渡河后,河对岸的状态,nC表示传教士的数目,nY表示野人的数目,由于总人数的确定的,河对岸的状态确定了,河这边的状态也即确定了。
考虑到题目的限制条件,要同时保证,河两岸的传教士数目不少于野人数目,故在整个渡河的过程中,允许出现的状态为以下3种情况:1. nC=02. nC=33. nC=nY>=0 (当nC不等于0或3)用d i(dC, dY)表示渡河过程中,对岸状态的变化,dC表示,第i次渡河后,对岸传教士数目的变化,dY表示,第i次渡河后,对岸野人数目的变化。
人工智能及其应用课后答案本页仅作为文档页封面,使用时可以删除This document is for reference only-rar21year.March第二章知识表示方法2-1 状态空间法、问题归约法、谓词逻辑法和语义网络法的要点是什么?它们有何本质上的联系及异同点答:状态空间法:基于解答空间的问题表示和求解方法,它是以状态和算符为基础来表示和求解问题的。
一般用状态空间法来表示下述方法:从某个初始状态开始,每次加一个操作符,递增的建立起操作符的试验序列,直到达到目标状态为止。
问题规约法:已知问题的描述,通过一系列变换把此问题最终变成一个子问题集合:这些子问题的解可以直接得到,从而解决了初始问题。
问题规约的实质:从目标(要解决的问题)出发逆向推理,建立子问题以及子问题的子问题,直至最后把出示问题规约为一个平凡的本原问题集合。
谓词逻辑法:采用谓词合式公式和一阶谓词算法。
要解决的问题变为一个有待证明的问题,然后采用消解定理和消解反演莱证明一个新语句是从已知的正确语句导出的,从而证明这个新语句也是正确的。
语义网络法:是一种结构化表示方法,它由节点和弧线或链组成。
节点用于表示物体、概念和状态,弧线用于表示节点间的关系。
语义网络的解答是一个经过推理和匹配而得到的具有明确结果的新的语义网络。
语义网络可用于表示多元关系,扩展后可以表示更复杂的问题2-2 设有3个传教士和3个野人来到河边,打算乘一只船从右岸渡到左岸去。
该船的负载能力为两人。
在任何时候,如果野人人数超过传教士人数,那么野人就会把传教士吃掉。
他们怎样才能用这条船安全地把所有人都渡过河去用S i(nC, nY) 表示第i次渡河后,河对岸的状态,nC表示传教士的数目,nY表示野人的数目,由于总人数的确定的,河对岸的状态确定了,河这边的状态也即确定了。
考虑到题目的限制条件,要同时保证,河两岸的传教士数目不少于野人数目,故在整个渡河的过程中,允许出现的状态为以下3种情况:1. nC=02. nC=33. nC=nY>=0 (当nC不等于0或3)用d i(dC, dY)表示渡河过程中,对岸状态的变化,dC表示,第i次渡河后,对岸传教士数目的变化,dY表示,第i次渡河后,对岸野人数目的变化。
第1章人工智能概述课后题答案1.1什么是智能?智能包含哪几种能力?解:智能主要是指人类的自然智能。
一般认为,智能是是一种认识客观事物和运用知识解决问题的综合能力。
智能包含感知能力,记忆与思维能力,学习和自适应能力,行为能力1.2人类有哪几种思维方式?各有什么特点?解:人类思维方式有形象思维、抽象思维和灵感思维形象思维也称直感思维,是一种基于形象概念,根据感性形象认识材料,对客观对象进行处理的一种思维方式。
抽象思维也称逻辑思维,是一种基于抽象概念,根据逻辑规则对信息或知识进行处理的理性思维形式。
灵感思维也称顿悟思维,是一种显意识与潜意识相互作用的思维方式。
1.3什么是人工智能?它的研究目标是什么?解:从能力的角度讲,人工智能是指用人工的方法在机器(计算机)上实现智能;从学科的角度看,人工智能是一门研究如何构造智能机器或智能系统,使它能模拟、延伸和扩展人类智能的学科。
研究目标:对智能行为有效解释的理论分析;解释人类智能;构造具有智能的人工产品;1.4什么是图灵实验?图灵实验说明了什么?解:图灵实验可描述如下,该实验的参加者由一位测试主持人和两个被测试对象组成。
其中,两个被测试对象中一个是人,另一个是机器。
测试规则为:测试主持人和每个被测试对象分别位于彼此不能看见的房间中,相互之间只能通过计算机终端进行会话。
测试开始后,由测试主持人向被测试对象提出各种具有智能性的问题,但不能询问测试者的物理特征。
被测试对象在回答问题时,都应尽量使测试者相信自己是“人”,而另一位是”机器”。
在这个前提下,要求测试主持人区分这两个被测试对象中哪个是人,哪个是机器。
如果无论如何更换测试主持人和被测试对象的人,测试主持人总能分辨出人和机器的概率都小于50%,则认为该机器具有了智能。
1.5人工智能的发展经历了哪几个阶段?解:孕育期,形成期,知识应用期,从学派分立走向综合,智能科学技术学科的兴起1.6人工智能研究的基本内容有哪些?解:与脑科学与认知科学的交叉研究智能模拟的方法和技术研究1.7人工智能有哪几个主要学派?各自的特点是什么?解:符号主义:又称为逻辑主义、心理学派或计算机学派,是基于物理符号系统假设和有限合理性原理的人工智能学派。
符号主义认为人工智能起源于数理逻辑,人类认知(智能)的基本元素是符号,认知过程是符号表示上的一种运算。
联结主义:又称为仿生学派或生理学派,是基于神经网络及网络间的联结机制与学习算法的人工智能学派。
联结主义认为人工智能起源于仿生学,特别是人脑模型的研究。
行为主义:又称进化主义或控制论学派,是基于控制论和“感知-动作”控制系统的人工智能学派。
行为主义认为人工智能起源于控制论,提出智能取决于感知和行为,取决于对外界复杂环境的适应,而不是表示和推理。
1.8人工智能有哪些主要研究和应用领域?其中哪些是新的研究热点?解:机器思维:推理、搜索、规划机器学习:符号学习、联结学习、知识发现和数据挖掘机器感知:机器视觉、模式识别、自然语言理解机器行为:智能控制、智能制造计算智能:神经计算、进化计算、模糊计算分布智能智能系统:专家系统、智能决策支持系统人工心理与人工情感研究热点:智能机器人、智能检索、智能游戏等。
1.9 人工智能未来发展有哪些值得思考和关注的重要问题?解:多学科交叉研究分布智能与社会智能研究集成智能研究智能网络研究认知计算与情感计算研究智能系统与智能服务第2章确定性知识系统参考答案2.1什么是知识?有哪几种主要的知识分类方法?解:知识是人们在改造客观世界的实践中积累起来的认识和经验;知识是对信息进行智能性加工中形成的对客观世界规律性的认识。
分类:按适用范围:常识性知识、领域性知识按作用效果:陈述性知识、过程性知识、控制性知识按确定性:确定性知识、不确定性知识2.2什么是知识表示?知识表示有哪些要求?解:知识表示就是对知识的描述,即用一些约定的符号把知识编码成一组可以被计算机直接识别,并便于系统使用的数据结构一介谓词逻辑表示法非结构化方法产生式陈述性知识表示语义网络结构化方法框架结构知识表示方法过程性知识表示要求:表示能力,可利用性,可组织性与可维护性,可理解性和可实现性2.3从心理学的角度看,推理有哪两种比较典型的观点?它们的含义是什么?解:结构观点:这种观点从结构的角度出发,认为推理由两个以上判断所组成,每个判断所揭示的是概念之间的联系和关系,推理过程是一种对客观事物做出肯定或否点的思维活动。
过程观点:这种观点从过程的角度出发,认为推理是在给定信息和已有知识的基础上所进行的一系列加工操作,其代表人物克茨提出了如下人类推理的公式:y=F(x,k)式中,x是推理时给出的信息,k是推理时可用的领域知识和特殊事例,F是可用的一系列操作,y是推理过程所得到的结论。
2.4什么是推理?它有哪些分类方法?解:推理是由具体事例归纳出一般规律,或者根据已有的知识推出新的结论的思维过程分为演绎法和归纳法2.5推理中的控制策略包括哪几个方面的内容?主要解决哪些问题?解:包括推理策略和搜索策略推理策略主要解决推理方向,求解策略,限制策略,冲突消解策略等搜索策略主要解决推理线路,推理效果,推理效率等问题2.6什么是命题?什么是命题的真值?解:一个陈述句称为一个断言,凡有真假意义的断言称为命题。
命题的意义通常称为真值,当命题的意义为真时,则称该命题的真值为真。
2.7什么是论域?什么是谓词解:论域是由所讨论对象之全体构成的非空集合。
论域中的元素称为个体,论域也常称为个体域。
在谓词逻辑中,命题是用谓词来表示的。
一个谓词可分为谓词名和个体两部分。
2.8什么是自由变元?什么是约束变元?解:当一个谓词公式含有量词时,区分个体变元是否受量词的约束是很重要的。
通常,把位于量词后面的单个谓词或者用括弧括起来的合式公式称为该量词的辖域,辖域内与量词中受约束的变元称为约束变元,不受约束的变元称为自由变元。
2.9设有如下语句,请用相应的谓词公式分别把他们表示出来:(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.10 用谓词表示法求解机器人摞积木问题。
设机器人有一只机械手,要处理的世界有一张桌子,桌上可堆放若干相同的方积木块。
机械手有4个操作积木的典型动作:从桌上拣起一块积木;将手中的积木放到桌之上;在积木上再摞上一块积木;从积木上面拣起一块积木。
积木世界的布局如下图所示。
解:(1) 先定义描述状态的谓词CLEAR(x):积木x 上面是空的。
ON(x, y):积木x 在积木y 的上面。
ONTABLE(x):积木x 在桌子上。
HOLDING(x):机械手抓住x 。
图2.10 机器人摞积木问题 C A B A B CHANDEMPTY:机械手是空的。
其中,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)条件:ONTABLE(x),HANDEMPTY,CLEAR(x)动作:删除表:ONTABLE(x),HANDEMPTY添加表:HOLDING(x)Putdown(x)条件:HOLDING(x)动作:删除表:HOLDING(x)添加表:ONTABLE(x),CLEAR(x) ,HANDEMPTY Stack(x, y)条件:HOLDING(x),CLEAR(y)动作:删除表:HOLDING(x),CLEAR(y)添加表:HANDEMPTY,ON(x, y) ,CLEAR(x) Upstack(x, y)条件:HANDEMPTY,CLEAR(x) ,ON(x,y)动作:删除表:HANDEMPTY,ON(x, y)添加表:HOLDING(x),CLEAR(x)(3) 问题求解过程利用上述谓词和操作,其求解过程为:2.11 用谓词表示法求解农夫、狼、山羊、白菜问题。
农夫、狼、山羊、白菜全部放在一条河的左岸,现在要把他们全部送到河的右岸去,农夫有一条船,过河时,除农夫外船上至多能载狼、山羊、白菜中的一种。
狼要吃山羊,山羊要吃白菜,除非农夫在那里。
似规划出一个确保全部安全过河的计划。
请写出所用谓词的定义,并给出每个谓词的功能及变量的个体域。
解:(1) 先定义描述状态的谓词要描述这个问题,需要能够说明农夫、狼、羊、白菜和船在什么位置,为简化问题表示,取消船在河中行驶的状态,只描述左岸和右岸的状态。
并且,由于左岸和右岸的状态互补,因此可仅对左岸或右岸的状态做直接描述。
本题选择对左岸进行直接描述的方法,即定义谓词如下:AL(x):x 在左岸其中,x 的个体域是{农夫,船,狼,羊,白菜}。
对应地,¬AL(x)表示x 在右岸。
问题的初始状态:AL(农夫)AL(船)AL(狼)AL(羊)AL(白菜)问题的目标状态:¬AL(农夫)¬AL(船)¬AL(狼)¬AL(羊)ONTABLE(A) ONTABLE(B) ON(C, A) CLEAR(B) CLEAR(C) HANDEMPTY Upstack(C,A) ONTABLE(A) ONTABLE(B) HOLDING(C) CLEAR(A) CLEAR(B) Putdown(C) ONTABLE(A) ONTABLE(B) ONTABLE(C) CLEAR(A) CLEAR(B) CLEAR(C) HANDEMPTY Pickup(A) ONTABLE(A) ONTABLE(C) HOLDING(B) CLEAR(A) CLEAR(B) CLEAR(C)Stack(B,C) ONTABLE(A) ONTABLE(C) ON(B,C) CLEAR(A) CLEAR(B) HANDEMPT Y ONTABLE(C) ON(B,C) CLEAR(A) CLEAR(B) HOLDING(A) Stack(A,B) ONTABLE(C) ON(B,C)ON(A,B) CLEAR(A) HANDEMPT Pickup(B)(2) 再定义描述操作的谓词本题需要以下4个描述操作的谓词:L-R:农夫自己划船从左岸到右岸L-R(x):农夫带着x划船从左岸到右岸R-L:农夫自己划船从右岸到左岸R-L(x) :农夫带着x划船从右岸到左岸其中,x的个体域是{狼,羊,白菜}。