西工大计算智能化试题(卷)

合集下载

陕工院计算机考试题及答案

陕工院计算机考试题及答案

陕工院计算机考试题及答案一、选择题(每题2分,共20分)1. 下列哪个选项不是计算机硬件的组成部分?A. CPUB. 内存C. 操作系统D. 硬盘答案:C2. 在计算机中,1KB等于多少字节?A. 512B. 1024C. 2048D. 4096答案:B3. 下列哪个选项不是计算机网络的拓扑结构?A. 星型B. 环型C. 总线型D. 线性答案:D4. 在计算机系统中,下列哪个选项不是操作系统的功能?A. 进程管理B. 文件管理C. 网络管理D. 数据加密答案:D5. 以下哪个选项是计算机病毒的特征?A. 自我复制B. 易于检测C. 无破坏性D. 无需传播答案:A6. 在计算机编程中,下列哪个选项不是面向对象编程的特点?A. 封装B. 继承C. 多态D. 过程化答案:D7. 下列哪个选项是计算机软件的分类?A. 系统软件B. 硬件C. 操作系统D. 应用程序答案:A8. 下列哪个选项不是计算机存储设备的类型?A. SSDB. HDDC. RAMD. ROM答案:C9. 在计算机系统中,下列哪个选项不是输入设备?A. 键盘B. 鼠标C. 显示器D. 扫描仪答案:C10. 下列哪个选项是计算机编程语言的分类?A. 汇编语言B. 高级语言C. 机器语言D. 所有选项答案:D二、填空题(每题2分,共20分)1. 计算机的五大组成部分包括:输入设备、输出设备、存储器、______和______。

答案:处理器、控制器2. 在计算机系统中,______是负责协调和管理计算机硬件资源的软件。

答案:操作系统3. 计算机网络中,______协议是用于数据传输的协议。

答案:TCP/IP4. 计算机病毒是一种______程序,能够自我复制并传播。

答案:恶意5. 在面向对象编程中,______是对象的状态和行为的封装。

答案:类6. 计算机软件分为______软件和______软件。

答案:系统、应用软件7. 在计算机存储设备中,______是用于临时存储数据的。

西安工业大学大学计算机期末考试题

西安工业大学大学计算机期末考试题

西安工业大学试题纸一.选择题(共45分,每题1分)1.()奠定了现代计算机的结构理论A. 帕斯卡B. 爱因斯坦C. 冯·诺依曼D. 比尔·盖茨2.一个完整的微型计算机系统应包括()A. 计算机及外部设备B. 硬件系统和软件系统C. 主机箱、键盘、显示器和打印机D. 系统软件和系统硬件3.CPU中控制器的功能是()A. 进行逻辑运算B. 进行算术运算C. 分析指令并发出相应的控制信号D. 只控制CPU的工作4.下面()组设备包括输入设备、输出设备和存储设备。

A. CRT、CPU、ROMB. 鼠标器、绘图仪、光盘C. 磁盘、鼠标器、键盘D. 磁带、打印机、激光打印机5.用MIPS为单位来衡量计算机的性能,它指的是计算机的()A. 传输速率B. 存储器容量C. 字长D. 运算速度6.在微机中,Bit的中文含义是()A. 二进制位B. 字C. 字节D. 双字7.操作系统是()A. 软件与硬件的接口B. 主机与外设的接口C. 计算机与用户的接口D. 高级语言与机器语言的接口8.程序是一组()所组成的集合。

A.数据B.软件C.二进制数D.有序指令9.微机唯一能够直接识别和处理的语言是()A. 机器语言B. 汇编语言C. 高级语言D. 面向对象语言10.某单位的财务管理软件属于()A. 工具软件B. 系统软件C. 编辑软件D. 应用软件11.数字符号“0~9”是十进制数的数码,全部数码的个数称为()A.码数B.基数C.位权D.符号数12.Windows资源管理器中,若要选定若干非连续文件,按住()同时,单击其他文件A. AltB. TabC. ShiftD. Ctrl13.在Windows XP中,启动程序或窗口,只要用鼠标()对象的图标即可。

A. 左键双击B. 右键双击C. 左键单击D. 右键单击14.在Windows XP中,在各种中文输入法之间进行切换时用()键。

A. Ctrl+SpaceB. Ctrl+AltC. Ctrl+ShiftD. Alt+Space15.在Windows XP资源管理器中,带子菜单的菜单选项标记是菜单选项()A. 前带“√”B. 前带“●”C. 后带“…”D. 后带三角“►”16.在Windows XP资源管理器中,菜单项的后面的“…”的含义是此菜单选项()A. 可弹出对话框B. 含有子菜单C. 当前不能使用D. 处于有效状态17.在Windows XP中,控制面板是()A. 硬盘系统区的一个文件B. 硬盘上的一个文件夹C. 内存中的一个存储区域D. 一组系统管理程序18.在Windows XP中,将鼠标指针移至()上拖曳,即可移动窗口位置。

西安工业大学人工智能试题

西安工业大学人工智能试题

西安工业大学人工智能试题一、填空题: (2*10=20)1、人工智能的主要学派有,,。

2、状态空间表示法是以和为基础来表示和求解问题的。

3、问题归约法主要由三个部分组成,,。

4、对于谓词公式P(x1,x2,…,xn),其中P为,x i为5、语义网络表示部分由下列4个相关部分组成:,,,6、语义网络的推理主要有两种方式:,7、对于图的搜索策略,可以从是否按照某个试探值重新对未扩展节点进行排序而将搜索过程分为,8、一个原子公式和原子公式的否定称为9、规则演绎系统和规则产生式系统,具有两种推理方式,10、一个系统如果具有,,,四个特征时,该系统就是计算智能系统11、专家系统具有三个主要特点,,。

二、判断题 (1.5*10=15分)1、人工智能的远期研究目标是建造智能计算机,即使现有的计算机更聪明更有用。

2、个体常量、个体变元、函数统称为“项”。

3、如果解存在,盲目搜索策略始终能够保证找到通向目标节点的最短路径4、语义网络表示法和框架表示法都是结构化的知识表示方法。

5、对于几何定理的证明问题,计算机是无能为力的。

6、启发式搜索策略在某些情况下可能会丢失解。

7、在知识表示方法中,最好的是谓词逻辑法8、产生式系统中的IF THEN规则实际上就是程序设计中的判断语句9、产生式系统的求解效率比较高,因此比较适合于求解复杂系统三、简答题1、 什么是人工智能?它的研究目标是什么?2、 请介绍人工智能主要学派及各学派主要原理。

3、 专家系统包括那些基本部件?每一部分的主要功能是什么?4、 请简要叙述产生式系统组成部分及其功能。

5、 请说明要完成对某个问题的状态描述,需要明确哪些问题?6、 什么是语义网络知识表示?给出这种表示方法的优缺点?7、课本3-1 (4分)8、什么A 算法.解释公式f(x)=g(x)+h(x)的意义(4分9、叙述、一般图搜索算法的基本思想.(4分)10、课本3-2(4分)四、 综合题1、设有下列八数码难题:在一个3×3的方框内放有8个编号的小方块,紧邻空位的小方块可以移动到空位上,通过移动小方块可将一个布局变换到另一布局(如图所示)。

西北工业大学计算方法试题

西北工业大学计算方法试题

x ( k +1)
=
x(k)

ω

A(
x
(
k
+1
)
+ 2
x(k)
)

b
ω >0 , k = 0,1,2,⋯
对任意初始向量 x (0) , x (k+1) 是否收敛到方程组 Ax = b 的解?为什么?
西北工业大学考试试题(卷)-计算方法二
1 填空 1). 近似数 x* = 0.0142 关于真值 x = 0.0139 有__为有效数字。
0
试求满足插值条件的四次多项式 p(x).
6 设有如下的常微分方程初值问题

dy dx
=
x ,1 < y
x ≤ 1.4
y(1) = 1
1)写出每步用欧拉法预估,用梯形法进行一次校正的计算格式。 2)取步长 0.2 用上述格式求解。
∫ 7 设有积分 I = 0.6 e x2 dx 0
1)取 7 个等距节点(包括端点),列出被积函数在这些点出的值(保留到小数 点后 4 位) 2)用复化 simpson 公式求该积分的近似值。
(4) 取 3 ≈ 1.732 ,迭代过程 yn+1 = yn + 0.1 3 是否稳定?______(是或否);
∫ (5) 求积公式 3 f ( x)dx ≈ 2 f (2) 有______次代数精度。 1
2.取初值 x0 = 1.6 ,用牛顿迭代法求 3.1 的近似值 xn+1 ,要求先论证收敛性,当
xn+1 − xn ≤ 10−5 时停止迭代。
3.用最小二乘法确定 y = a 1 + bx 2 中的常数 a 和 b ,使该函数曲线拟合 x

大学计算机人工智能练习题及答案

大学计算机人工智能练习题及答案

大学计算机人工智能练习题及答案1. 基础知识题人工智能(Artificial Intelligence,简称AI)是一门研究如何使计算机能够像人一样地思考、学习和决策的科学。

它涉及了计算机科学、心理学、哲学等多个领域。

以下是一些基础知识题,请选择正确的答案:1.1 下列哪个不属于人工智能的应用领域?A. 机器学习B. 机器人技术C. 基因工程D. 自然语言处理答案:C1.2 以下哪个算法常用于监督学习?A. K-均值算法B. 决策树算法C. 遗传算法D. 支持向量机算法答案:D1.3 以下哪个机器人不属于人工智能领域的研究重点?A. 工业机器人B. 情感机器人C. 智能家居机器人D. 洗衣机器人答案:D2. 编程题请使用Python语言完成以下编程题:2.1 编写一个函数,计算斐波那契数列的第n项。

斐波那契数列的定义如下:F(0) = 0,F(1) = 1,F(n) = F(n-1) + F(n-2),其中n > 1。

```pythondef fibonacci(n):if n <= 0:return Noneelif n == 1:return 0elif n == 2:return 1else:a, b = 0, 1for i in range(3, n+1):a, b = b, a + breturn b# 测试print(fibonacci(10)) # 输出:34```2.2 编写一个函数,判断一个整数是否为素数(质数)。

素数的定义是只能被1和自身整除的整数。

```pythondef is_prime(n):if n <= 1:return Falsefor i in range(2, int(n**0.5) + 1):if n % i == 0:return Falsereturn True# 测试print(is_prime(17)) # 输出:Trueprint(is_prime(20)) # 输出:False```3. 算法题以下是一道经典的算法题,请编写代码实现。

(完整word版)西工大计算方法试题参考(完整版)

(完整word版)西工大计算方法试题参考(完整版)

2002-2003第一学期一.计算及推导(5*8)1.已知* 3.141,x x π==,试确定*x 近似x 的有效数字位数。

2.有效数***1233.105,0.001,0.100x x x =-==,试确定***123x x x ++的相对误差限。

3.已知3()0.50.12f x x x =++,试计算差商[]0,1,2,3f 4.给出拟合三点(0,1),(1,0)A B ==和(1,1)C =的直线方程。

5.推导中矩形求积公式''31()()()()()224b aa b f x dx b a f f b a η+=-+-⎰ 6.试证明插值型求积公式()()nbi i ai f x dx A f x =≈∑⎰的代数精确度至少是n 次。

7.已知非线性方程()x f x =在区间[],a b内有一实根,试写出该实根的牛顿迭代公式。

8.用三角分解法求解线性方程组123121022331302x x x ⎡⎤⎡⎤⎡⎤⎢⎥⎢⎥⎢⎥=⎢⎥⎢⎥⎢⎥⎢⎥⎢⎥⎢⎥--⎣⎦⎣⎦⎣⎦要用二次插值多项式计算(0.63891)f 的近似值,试选择合适的插值节点进行计算,并说明所选用节点依据。

(保留5位有效数字)(12分) 三. 已知方程ln 0x x +=在(0,1)内有一实根α(1)给出求该实根的一个迭代公式,试之对任意的初始近似0(0,1)x ∈迭代法都收敛,并证明其收敛性。

(2)00.5x =试用构造的迭代公式计算α的近似值n x ,要求3110n n x x ---≤。

四. 设有方程组112233131232a x b a x b a x b ⎡⎤⎡⎤⎡⎤⎢⎥⎢⎥⎢⎥=⎢⎥⎢⎥⎢⎥⎢⎥⎢⎥⎢⎥-⎣⎦⎣⎦⎣⎦当参数a 满足什么条件时,雅可比方法对任意的初始向量都收敛。

写出与雅可比方法对应的高斯赛德尔迭代公式。

(12分) 五.用欧拉预估校正法求解初值问题 '2 (00.2)(0)1x y y x y y ⎧=-≤≤⎪⎨⎪=⎩ 取h=0.1,小数点后保留5位。

西工大计算智能知识点整理(完整版)

西工大计算智能知识点整理(完整版)

第一章绪论1.图灵测试一组人类裁判以敲击键盘的形式与电脑“对话”。

如果裁判认定电脑为人的比例超过30%,则电脑通过测试。

2.人类智能活动的能力是人类在认识世界和改造世界的活动中,由脑力劳动表现出来的能力。

•认识和理解世界环境的能力•提出概念、建立方法、进行演绎和归纳推理、做出决策的能力•学习取得经验、积累知识的能力•自我适应的能力•联想、推理、判断、决策的能力3.智能的本质感知能力、记忆和思维能力、学习能力、自适应能力、行为能力4.思维种类逻辑思维、形象思维、顿悟思维5.人工智能的含义用计算机来完成能表现出人类智能的任务学科模仿人脑所从事的推理、学习、思考、规划等思维活动关于知识的科学执行拟人的任务6.没有计算机的出现,人工智能就无法得到应用7.人类智能与人工智能本质区别:物质载体、逻辑模拟、活动规律、目的性、能动性、适应性8.研究方法符号主义、联结主义、行为主义9.计算智能是人工智能的深化与发展人工智能是以知识库为基础、那么计算智能则是以模型为基础、以分步、并行、仿生计算为特征含数据、算法和实现的信息系统。

前者强调规则的形式和表示,后者强调模型的建立和构成;前者依赖专家知识,后者强调系统的自组织、自学习和自适应。

10.计算智能的主要方法有人工神经网络、遗传算法、遗传程序、演化程序、局部搜索、模拟退火等等11.计算智能的特征与应用智能性:包括算法的自适应性,自组织性,算法不依赖于问题本身的特点,具有通用性并行性:算法基本上是群体协作的方式对问题进行优化求解,非常适合大规模并行处理鲁棒性:算法具有很好的容错性,同时对初始条件不敏感,能在不同条件下寻找最优解12.计算智能发展趋势分布式人工智能、Internet及数据库的挖掘、智能系统之间的交互与通信、智能系统之间的合作等13.第二章知识表示一.知识的基本概念1. 相关概念:数据:指为描述具体事物引入的数字、符号等信息:指不同数据组成的一种结构(如“建国50岁”)数据与信息的关系:数据是信息的载体和表示,信息是数据的语义知识:对信息进行智能性加工后形成的对客观世界的规律性认识*。

西安工业大学西安工业大学大学计算机基础试题A卷参考答案

西安工业大学西安工业大学大学计算机基础试题A卷参考答案

《大学计算机基础》试题答案(A卷)2012 ~ 2013 学年第一学期一.选择题(共30分,每题1分)二.选择对应关系(共12分,每题1分):三.填空题(共12分,1~4题每空1分,5~6题每空2分)1.( 1001100 )2 = ( 76 )10 = ( 114 )82.( 111 )10 = ( 1101111 )2 = ( 6F )163.( 76 )8 = ( 62 )10 = ( 3E )164.( A4 )16 = ( 244 )8 = ( 164 )105.二进制与运算:10110101 ∧ 11110000 = 101100006.二进制或运算:10110101 ∨ 11110000 = 11110101四.计算与名词解析题(共8分,每题4分)【理工科题目】:计算题1.用补码形式完成运算:9-13(假定计算机字长为8)解:9-13 = 9 +(-13)假定计算机字长为8,那么,9的原码、反码和补码表示形式为:0 0001001 (1分)-13的原码表示形式为:1 0001101-13的反码表示形式为:1 1110010-13的补码表示形式为:1 1110011 (1分)0 0001001+ 1 11100111 1111100 (1分)运算结果1 1111100,对应原码为 1 0000100,即-4 (1分)2.写出十进制数-23.75的浮点数表示形式。

说明:设计算机字长为16,其中阶符和数符各1位,阶码5位,尾数9位解:(-23.75)10 = (-10111.11)2 = (-0.1011111)2×2101(1分)假定计算机字长为16,其中阶符占1位,阶码占5位,数符占1位,尾数占9位那么,十进制数19.375的浮点数表示形式为:即 0 00101 1 101111100 (3分)【文科题目】名词解析题:1. 内存和外存(1)可以/不能与CPU直接交换信息(2分)(2)可以/不能长期保持信息(1分)(3)读取速度快/慢,成本高/低(1分)2. 图形和图像(1)定义(2分)图像:指由输入设备捕获的实际场景画面或以数字化形式存储的画面,是真实物体的影像。

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

一、选择题(10小题,共10分)
6、产生式系统的推理不包括()
A)正向推理B)逆向推理C)双向推理D)简单推理
8、在公式中∀y∃xp(x,y)),存在量词是在全称量词的辖域内,我们允许所存在的x可能
依赖于y值。

令这种依赖关系明显地由函数所定义,它把每个y值映射到存在的那个x。

这种函数叫做()
A) 依赖函数B) Skolem函数
C) 决定函数D) 多元函数
9、子句~P∨Q和P经过消解以后,得到()
A) P B) ~P
C) Q D) P∨Q
10、如果问题存在最优解,则下面几种搜索算法中,()必然可以得到该最优解。

A)宽度(广度)优先搜索B) 深度优先搜索
C) 有界深度优先搜索D) 启发式搜索
二、填空题(10个空,共10分)
1、化成子句形式为:~。

2、假言推理(A→B)∧A⇒B,假言三段论(A→B)∧(B→C)⇒ A -> C.
3、在启发式搜索当中,通常用启发函数来表示启发性信息。

5、状态空间法三要点分别是:状态和算符,状态空间方法。

6. 鲁宾逊提出了⑦归结原理使机器定理证明成为可能。

7. 宽度优先搜索与深度优先搜索方法的一个致命的缺点是当问题比较复杂是可能会发
生组合爆炸。

8、产生式系统是由___综合数据库知识库___和_推理机________三部分组成的.
9、谓词公式G是不可满足的,当且仅当对所有的解释G都为假。

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

11、利用归结原理证明定理时,若得到的归结式为空集,则结论成立。

12、若C1=┐P∨Q,C2=P∨┐Q,则C1和C2的归结式R(C1,C2)= ┐P∨P或┐Q
∨Q。

13、在框架和语义网络两种知识表示方法中,框架适合于表示结构性强的知识,而
语义网络则适合表示一些复杂的关系和联系的知识。

三、简答题(4小题,共40分)
1.什么是A*算法的可纳性?(4分)
答:在搜索图存在从初始状态节点到目标状态节点解答路径的情况下,若一个搜索法总能找到最短(代价最小)的解答路径,则称算法具有可采纳性。

2.在一般图搜索算法中,当对某一个节点n进行扩展时,n的后继节点可分为三类,请举例说明对这三类节点的不同的处理方法。

(8分)
答:
把SNS中的子节点分为三类:(1)全新节点,(2)已出现于OPEN表的节点,(3)已出现于CLOSE表的节点;/ 后二类子节点实际上意味着具有新老两个父节点;(3分) ∙加第1类子节点于OPEN表,并建立从子节点到父节点n的指;(1分)
∙比较第2类子节点经由新、老父节点到达初始状态节点s的路径代价,若经由新父节点的代价较小,则移动子节点指向新父节点(2分)
∙对于第3类子节点作与第2类同样的处理,并把这些子节点从CLOSE表中移出,重新加入OPEN表;(2分)
3、什么是遗传算法?试说明遗传算法的基本原理和结构。

(10分)
遗传算法是仿真生物遗传学和自然选择机理,通过人工方式所构造的一类搜索算法,从某种程度上说遗传算法是对生物进化过程进行的数学方式仿真。

基本原理:在遗传算法中,通过随机方式产生若干个所求解问题的数字编码,形成初始种群,通过适应度函数给每个个体一个数值评价,淘汰低适应度的个体,选择高适应度的个体参加遗传操作,经过遗传操作后的个体集合形成下一代的种群,对这个新种群进行下一轮进化。

结构:(图)
4.用框架表示下述报道的地震事件。

[虚拟新华社4月24日电]昨日,在唐山地区发生地震,造成财产损失约20万元,死亡10人。

有关部门如果需要详细的损失数字,可电询900119。

另据专家认为震级为6级。

提示:分析、概括用下划线标出的要点,经过概念化形成槽(slot)、侧面(facet)值。

特别注意,“值”(value)、“默认值”(default)、“如果需要”(if-needed)、的区别与应用,
5.请对下列命题写出它的语义网络: 所有的学生都看过所有的四大名著。

答:
6.将下列自然语言转化为谓词表示形式:
(1) 所有的人都是要呼吸的。

(2) 每个学生都要参加考试。

(3) 任何整数或是正的或是负的。

解:设 M(x):x 是人,H(x):x 要呼吸。

P(x):x 是学生, Q(x):x 要参加考试。

J(x):x 是整数, R(x):x 是正数,N(x):x 是负数。

则上述三题就记为: (1) V-x(M(x)→H(x)) (2) V-x(P(x)→Q(x))
(3) V-x(I(x)→
R(x)∨N(x)))
7.试实现一个“大学教师”的框架,大学教师类属于教师,包括以下属性:学历(学士、硕
士、博士)、专业(计算机、电子、自动化、……)、职称(助教、讲师、副教授、教授) 解:框架名:<大学教师> 类属:<教师>
学历:(学士、硕士、博士) 专业:(计算机、电子、自动化、…..)
职称:(助教、讲师、副教授、教授) 8.用谓词逻辑形式化下列描述
“不存在最大的整数” 解:定义谓词G(x):x 为整数
D(x,y):x 大于y 形式化为:
()()),()()(y x D y G y x G x ┐→∀∧∃
或者()()),()()(x y D y G y x G x ∧∃→∀
9. 简单阐述产生式系统的组成。

答:(1)产生式规则库:描述相应领域知识的产生式规则集 (2)数据库:(事实的集合)存放问题求解过程中当前信息的数据结构(初始事实、外部数据库输入的事实、中间结果事实和最后结果事实) (3)推理机:(控制系统)是一个程序,控制协调规则库与数据库的运行,包含推理方式和控制策略。

10. 某问题由下列公式描述:
试用归结法证明(x)R(x);
11、用框架表示下述报导的沙尘暴灾害事件
提示:分析概括用下划线标出的要点,经过概念化形成槽(Slot)并拟出槽的名称,选填侧面(face)值。

侧面包含“值(value)”,“默认值(default)”,“如果需要值
四、应用题
1、采用简单的估价函数f(x)=d(x)+w(x)求八码难题,其中d(x)表示搜索树中结点x 的深度,w(x)表示节点x 中不在目标状态中相应位置的数码个数,试写出该搜索树。

(10分)
起始节点棋局 终止结点棋局
2、用谓词公式表示以下语句。

(6分)
(1)他每天下午都去打篮球。

解:定义谓词:
P(x):x是他
B(x):x打篮球
A(y):y是下午
(∀y)[A(y)-> P(x) ΛB(x)]
(2)凡是喜欢编程序的人都喜欢计算机。

解:定义谓词
S(x):x 是人
L(x,programming):x喜欢编程
U(x,conmputer):x喜欢计算机
(∀x)[S(x)ΛL(x,programming)=> U(x,conmputer)]
3、将下列谓词公式化成子句集
()
()()
()
()()
,
,
y
~→
x,

z
∃。

(8分)∀

a
x
y
f
R
z
z
Q
x
P
4、写出图中树的结点两个访问序列,要求分别满足以下两个搜索策略:(6分)
(1)深度优先搜索(1,2,5,6,10,11,3,7,12,13,4,8,9)
(2)广度优先搜索(1,2,3,4,5,6,7,8,9,10,11,12,13)
5、如图所示,神经元i有4个输入分别为5,-10,6和-4,对应的权值分别为0.6,0.4,
-1.5和-0.8,偏差为0.5。

试求激励函数f(.)分别为阈值函数、分段线性函数时,神经元i的输出y i。

(10分)
6.请用鲁宾逊归结原理证明:
任何通过历史考试并中了彩票的人是快乐的。

任何肯学习或幸运的人可以通过所有的考试。

John不学习但很幸运。

任何人只要是幸运就能中彩。

求证:John 是快乐的。

(10分)
证明:先将问题用谓词描述如下:
(∀x)(Pass(x,computer) ∧Win(x,prize)) →Happy(x))
(∀x) (∀y)(Study(x)∨Lucky(x) →Pass(x,y))
┐Study(zhang) ∧Lucky(zhang)
(∀x)( Lucky(x) →Win(x,prize))
结论“张是快乐的”的否定
┐Happy(zhang)(3分)
将上述公式转化为子句集如下:
(1)┐Pass(x,computer) ∨┐Win(x,prize) ∨Happy(x)
(2) ┐Study(y) ∨Pass(y,z)
(3) ┐Lucky(u) ∨Pass(u,v)
(4) ┐Study(zhang)
(5) Lucky(zhang)
(6) ┐Lucky(w) ∨Win(w,prize)
(7) ┐Happy(zhang) (3分)。

相关文档
最新文档