人工智能——谓词表示法
Acomputersystemisintelligentifitcanperformataskwhich,ifperformedbyahuman,requiresintelligence.解：C(x):xis Acomputersystem.H(x):xisahuman. A(x):xis intelligent.R(x):x requiresintelligence.P(x,y):x canperformy (∀x)(∃y)(∃z)((H(x))∧P(y,z)∧C(x)∧R(x)∧P(x,z)->A(x))人工智能
1用谓词公式表示下列语句（1）有的人喜欢梅花，有的人喜欢菊花，有的人既喜欢梅花又喜欢菊花。（2）要想出国留学，必须通过外语考试。（1）Human(x):x是人
Club(x):x是梅花
Chrysanthemum(x):x是梅花
Love(x,y):xlovesy
(∃x) (∃y) (∃z)(Human(x)∧Club(y)∧Chrysanthemum(z)∧(Love(x,y)∨Love(x,z)∨(Love(x,y)∧Love(x,z)))
（2）Human(x):x是人
GoAboard(x):x可以出国留学
Pass(x,y):x通过y考试
(∃x)（(Human(x)∧Pass(x,English))=>GoAboard(x)）
2请对下列命题分别写出它的语义网络。（1）孙老师从2月至7月给计算机应用专业讲“网络技术”课程。（2）王丽是电脑公司的经理，她35岁，公司位于南内环街68号。
（1）
（2）
3分别用状态空间表示法与谓词逻辑法表示猴子和香蕉问题。猴子和香蕉问题：在一个房间内有一只猴子、一个箱子和一束香蕉。香蕉挂在天花板下方，但猴子高度不足以碰到它。猴子如何拿到香蕉？
Animal(x):x是动物
Tool(x):x是工具
Fruit(x):x是水果
Position(x,y):x在y处
初始状态：Position(Animal(Monkey),a)∧Position(Fruit(Banana),c)∧Position(Tool(box),b)
目标状态：Position(Tool(box),c)∧Position(Animal(Monkey),Tool(box))∧Position(Fruit(Banana),Animal(Monkey))
(W,x,Y,z)表示问题状态
W-猴子水平位置
x-当猴子在箱顶时，则x=1;否则x=0
Y-箱子水平位置
z-当猴子摘到香蕉时，则z=1;否则z=0
操作:GOTO(x, y):从x处走到y处。 PUSH(x, y)把箱子从x处推倒y处。CLIMB(x):在x处爬上箱子。 GET(x):在x处得到香蕉。操作对应的条件与动作如下:GOTO(x, y)条件: AT(monkey, x)∧~ ON(monkey, box)动作:删除: AT(monkey, x)添加: AT(monkey, y)PUSH(x, y)条件: AT(monkey, x) ∧BOX(x) ∧~ ON(monkey, box)
4试用四元数列结构表示四盘梵塔问题，并画出求解该问题的与或图。
人工智能——状态图（狼羊菜）
理论知识了解https://www.cnblogs.com/6dan_hust/archive/2010/08/23/1806560.html有一农夫带一只狼、一只羊和一筐菜欲从河的左岸乘船到右岸，但受下列条件限制:(1)船太小,农夫每次只能带一样东西过河;(2)如果没有农夫看管，则狼要吃羊，羊要吃菜。请用状态空间法设计一个过河方案，使得农夫、狼、羊、菜都能不受损失地过河。画出相应的状态空间图。提示:(1)用四元组(农夫、狼、羊、菜)表示状态，其中每个元素都可为0或1,用0表示在左岸，用1表示在右岸。(2)把每次过河的一种安排作为一个算符，每次过河都必须有农夫，因为只有他可以划船。解：状态用四元组表示为S（P，W，G，V），其中P为农民，W为狼，G为羊，V为菜，B为船，B=0为船在左岸，1为船在右岸。初始状态为S0=（0，0，0，0），目标状态为Sg=（1，1，1，1）。安全规则：1）不能将G与W单独留在对岸：not（W==GandP！=W）；2）不能单独将G与V留在对岸：not（G==VandG！=P）操作算符定义为：P（S）仅农夫过河：if（安全）then{P（S），得到一个新状态（1-P，W，G，V）}；PG（S）：农夫带羊过河：if（安全）then{PG（S），得到一个新状态（1-P，W，1-G，V）}；PW（S）：农夫带狼过河：if（安全）then{PW（S），得到一个新状态（1-P，1-W，G，V）}；PV（S）：农夫带菜过河：if（安全）then{PV（S），得到一个新状态（1-P，W，G，1-V）}。解： ①分析状态因为以S(P,W,G,V)的形式且P,W,G,V只有0,1两种取值，所以有2*2*2*2种状态状态(P,W,G,V)状态(P,W,G,V)状态(P,W,G,V)状态(P,W,G,V)S1(0,0,0,0)S5(0,1,0,0)S9(1,0,0,0)S13(1,1,0,0)S2(0,0,0,1)S6(0,1,0,1)S10(1,0,0,1)S14(1,1,0,1)S3(0,0,1,0)S7(0,1,1,0)S11(1,0,1,0)S15(1,1,1,0)S4(0,0,1,1)S8(0,1,1,1)S12(1,0,1,1)S16(1,1,1,1)要求是从S1转换到S16。
②去掉不满足条件的状态
左岸，农民不在，狼羊，羊菜不能在一起，即（1,0,0，*），（1，*，0,0）右岸，农民不在，狼羊，羊菜不能在一起，即（0,1,1，*），（0，*，1,1）③绘制状态图