1、符号主义和联结主义。符号主义认为人类智能的基本单元是符号,认识过程就是符号表示下的符号计算,从而思维就是符号计算;联结主义认为人类智能的基本单元是神经元,认识过程是由神经元构成的网络的信息传递,这种传递是并行分布进行的。8.人工智能的近期发展趋势有哪些?专家系统、机器人学、人工神经网络和智能检索。9.什么是以符号处理为核心的方法?它有什么特征?通过符号处理来模拟人类求解问题的心理过程。特征:基于数学逻辑对知识进行表示和推理。11.什么是以网络连接为主的连接机制方法?用硬件模拟人类神经网络,实现人类智能在机器上的模拟。研究神经网络。1.请写出用一阶谓词逻辑表示法表示知识的步骤。步骤:(1)定义谓
2、词及个体,确定每个谓词及个体的确切含义;(2)根据所要表达的事物或概念,为每个谓词中的变元赋予特定的值;(3)根据所要表达的知识的语义用适当的联接符号将各个谓词联接起来,形成谓词公式。2.设有下列语句,请用相应的谓词公式把它们表示出来:(1)有的人喜欢梅花,有的人喜欢菊花,有的人既喜欢梅花又喜欢菊花。定义谓词如下: Like(x,y):x喜欢y。Club(x):x是梅花。 Human(x):x是人。 Mum(x):x是菊花。“有的人喜欢梅花”可表达为:(x)(Human(x)Like(x,Club(x)“有的人喜欢菊花”可表达为:(x)(Human(x)Like(x,Mum(x)“有的人既喜欢
3、梅花又喜欢菊花”可表达为:(x)(Human(x)Like(x,Club(x) Like(x,Mum(x)(1)他每天下午都去玩足球。 PlayFootball(x):x玩足球。 Day(x):x是某一天。 则语句可表达为:(x)(D(x)PlayFootball(Ta)(2)太原市的夏天既干燥又炎热。Summer(x):x的夏天。 Dry(x):x是干燥的。 Hot(x):x是炎热的。Dry(Summer(Taiyuan)Hot(Summer(Taiyuan)(3)所有人都有饭吃。Human(x): Eat(x):x有饭吃。(x)(Human(x)Eat(x)(4)喜欢玩篮球的人必喜欢玩排球
4、。Like(x,y):(x)(Human(x)Like(x,basketball)Like(x,volleyball)(5)要想出国留学,必须通过外语考试。Abroad(x):x出国留学。 Pass(x):x通过外语考试。Abroad(x)Pass(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。 (
5、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)解法二:本问题涉及的常量定义为:SITE(x,y): ONBOX(x):表示x站在箱子顶上; HOLDS(x):表示x摘到了香蕉。(3)根据问题的描述将问题的初始状态和目标状态分别用谓词公式表示如
6、下: SITE(Monkey,a)SITE(Box,c)ONBOX(Monkey)HOLDS(Monkey) SITE(Box,b)SITE(Monkey,b)ONBOX(Monkey)HOLDS(Monkey)从上述两种解法可以看出,只要谓词定义不同,问题的初始状态和目标状态就不同。所以,对于同样的知识,不同的人的表示结果可能不同。 2.8解:本问题的关键就是制定一组操作,将初始状态转换为目标状态。为了用谓词公式表示操作,可将操作分为条件(为完成相应操作所必须具备的条件)和动作两部分。条件易于用谓词公式表示,而动作则可通过执行该动作前后的状态变化表示出来,即由于动作的执行,当前状态中删去了某
7、些谓词公式而又增加一些谓词公式从而得到了新的状态,通过这种不同状态中谓词公式的增、减来描述动作。定义四个操作的谓词如下,操作的条件和动作可用谓词公式的增、删表示: (1)gotox,y):从x处走到y处。条件:SITE(Monkey,x)动作:删除SITE(Monkey,x);增加SITE(Monkey,y) (2)pushbox (x,y):将箱子从x处推到y处。SITE(Monkey,x)SITE(Box,x)ONBOX(Monkey)删除SITE(Monkey,x),SITE(Box,x);增加SITE(Monkey,y),SITE(Box,y) (3)climbbox:爬到箱子顶上。O
8、NBOX(Monkey)删除ONBOX(Monkey);增加ONBOX(Monkey) (4)grasp:摘下香蕉。HOLDS(Monkey) ONBOX(Monkey) SITE(Monkey,b)删除HOLDS(Monkey);增加HOLDS(Monkey)在执行某一操作前,先检查当前状态是否满足其前提条件。若满足,则执行该操作。否则,检查另一操作的条件是否被满足。检查的方法就是当前的状态中是否蕴含了操作所要求的条件。在定义了操作谓词后,就可以给出从初始状态到目标状态的求解过程。在求解过程中,当进行条件检查时,要进行适当的变量代换。 SITE(Monkey,a) SITE(Box,c) O
9、NBOX(Monkey)HOLDS(Monkey) goto(x,y),用a代x,用c代y SITE(Monkey,c)SITE(Box,c) HOLDS(Monkey) pushbox(x,y),用c代x,用b代y SITE(Monkey,b) SITE(Box,b) climbbox ONBOX(Monkey) grasp HOLDS(Monkey)216. 用语义网络表示下列知识:(1)所有的鸽子都是鸟;(2)所有的鸽子都有翅膀;(3)信鸽是一种鸽子,它有翅膀。解:本题涉及对象有信鸽、鸽子和鸟。鸽子和信鸽的属性是有翅膀。鸽子和鸟是ISA关系,信鸽和鸽子是AKO关系。根据分析得到本题的语义
10、网络如下:2.17. 请对下列命题分别写出它的语义网络:(1)每个学生都有多本书。根据题意可得本题的语义网络如下:(2)孙老师从2月至7月给计算机应用专业讲网络技术课程。(3)雪地上留下一串串脚印,有的大,有的小,有的深,有的浅。(4)王丽萍是天发电脑公司的经理,她35岁,住在南内环街68号。2.18. 请把下列命题用一个语义网络表示出来:(1)猪和羊都是动物;(2)猪和羊都是偶蹄动物和哺乳动物;(3)野猪是猪,但生长在森林中;(4)山羊是羊,且头上长着角;(5)绵羊是一种羊,它能生产羊毛。本题涉及对象有猪、羊、动物、野猪、山羊和绵羊。猪和羊的属性是偶蹄和哺乳。野猪的属性是生长在森林中。山羊的
11、属性是头上长着角。绵羊的属性是产羊毛。根据对象之间的关系得到本题的语义网络如下:2.27有一农夫带一条狼,一只羊和一框青菜与从河的左岸乘船倒右岸,但受到下列条件的限制:(1) 船太小,农夫每次只能带一样东西过河;(2)如果没有农夫看管,则狼要吃羊,羊要吃菜。请设计一个过河方案,使得农夫、浪、羊都能不受损失的过河,画出相应的状态空间图。题示:(1) 用四元组(农夫,狼,羊,菜)表示状态,其中每个元素都为0或1,用0表示在左岸,用1表示在右岸。(2) 把每次过河的一种安排作为一种操作,每次过河都必须有农夫,因为只有他可以划船。第一步,定义问题的描述形式用四元组S=(f,w,s,v)表示问题状态,其
12、中,f,w,s和v分别表示农夫,狼,羊和青菜是否在左岸,它们都可以取1或0,取1表示在左岸,取0表示在右岸。第二步,用所定义的问题状态表示方式,把所有可能的问题状态表示出来,包括问题的初始状态和目标状态。由于状态变量有4个,每个状态变量都有2种取值,因此有以下16种可能的状态:S0=(1,1,1,1),S1=(1,1,1,0),S2=(1,1,0,1),S3=(1,1,0,0)S4=(1,0,1,1),S5=(1,0,1,0),S6=(1,0,0,1),S7=(1,0,0,0)S8=(0,1,1,1),S9=(0,1,1,0),S10=(0,1,0,1),S11=(0,1,0,0)S12=(0
13、,0,1,1),S13=(0,0,1,0),S14=(0,0,0,1),S15=(0,0,0,0)其中,状态S3,S6,S7,S8,S9,S12是不合法状态,S0和S15分别是初始状态和目标状态。第三步,定义操作,即用于状态变换的算符组F由于每次过河船上都必须有农夫,且除农夫外船上只能载狼,羊和菜中的一种,故算符定义如下:L(i)表示农夫从左岸将第i样东西送到右岸(i=1表示狼,i=2表示羊,i=3表示菜,i=0表示船上除农夫外不载任何东西)。由于农夫必须在船上,故对农夫的表示省略。R (i)表示农夫从右岸将第i样东西带到左岸(i=1表示狼,i=2表示羊,i=3表示菜,i=0表示船上除农夫外不
14、载任何东西)。同样,对农夫的表示省略。这样,所定义的算符组F可以有以下8种算符:L (0),L (1),L (2),L (3)R(0),R(1),R (2),R (3)第四步,根据上述定义的状态和操作进行求解。该问题求解过程的状态空间图如下:3.5什么是谓词公式?什么是谓词公式的解释?设D1,2,试给出谓词公式(x)(y)(P(x,y)Q(x,y)的所有解释,并且对每一种解释指出该谓词公式的真值。谓词公式是按照下述五个规则由原子公式、连接词、量词及圆括号所组成的字符串。(1)原子谓词公式是合式公式。 (2)若A是合式公式,则A也是合式公式。 (3)若A和B都是合式公式,则AB、AB、AB、AB
15、也都是合式公式。 (4)若A是合式公式,x是任一个体变元,则(x)A和(x)A也都是合式公式。 (5)只有按(1) (4)所得的公式才是合式公式。谓词公式的解释:设D为谓词公式P的个体域,若对P中的个体常量、函数和谓词按照如下规定赋值:(1)为每个个体常量指派D中的一个元素;(2)为每个n元函数指派一个从Dn到D的映射,其中Dn=(x1,x2,xn)| x1,x2,xn D (3)为每个n元谓词指派一个从Dn到F,T的映射;则这些指派称为公式P在D上的解释。 下面给出本题的所有解释:1.对谓词指派的真值为:P(1,1)=T,P(1,2)=F,P(2,1)=T,P(2,2)=F,Q(1,1)=T
16、,Q(1,2)=F,Q(2,1)=T,Q(2,2)=F,在此解释下,x=1时,P(1,1)Q(1,1)为T,P(1,2)Q(1,2)为T;x=2时,P(2,1)Q(2,1)为T,P(2,2)Q(2,2)为T。所以在此解释下,本题谓词公式的真值为T。2.对谓词指派的真值为:P(1,1)=T,P(1,2)=F,P(2,1)=F,P(2,2)=T,Q(1,1)=T,Q(1,2)=F,Q(2,1)=T,Q(2,2)=F,在此解释下,x=1时,P(1,1)Q(1,1)为T,P(1,2)Q(1,2)为T;x=2时,P(2,1)Q(2,1)为T,P(2,2)Q(2,2)为F。3.对谓词指派的真值为:P(1,
17、1)=F,P(1,2)=T,P(2,1)=T,P(2,2)=F,Q(1,1)=T,Q(1,2)=F,Q(2,1)=T,Q(2,2)=F,在此解释下,x=1时,P(1,1)Q(1,1)为T,P(1,2)Q(1,2)为F;4.对谓词指派的真值为:P(1,1)=F,P(1,2)=T,P(2,1)=F,P(2,2)=T,Q(1,1)=T,Q(1,2)=F,Q(2,1)=T,Q(2,2)=F,在此解释下,x=1时,P(1,1)Q(1,1)为T,P(1,2)Q(1,2)为F;所以在此解释下,本题谓词公式的真值为F。5.对谓词指派的真值为:P(1,1)=T,P(1,2)=F,P(2,1)=T,P(2,2)=
18、F,Q(1,1)=T,Q(1,2)=F,Q(2,1)=F,Q(2,2)=T,在此解释下,x=1时,P(1,1)Q(1,1)为T,P(1,2)Q(1,2)为T;x=2时,P(2,1)Q(2,1)为F,P(2,2)Q(2,2)为T。6.对谓词指派的真值为:P(1,1)=T,P(1,2)=F,P(2,1)=T,P(2,2)=F,Q(1,1)=F,Q(1,2)=T,Q(2,1)=T,Q(2,2)=F,在此解释下,x=1时,P(1,1)Q(1,1)为F,P(1,2)Q(1,2)为T;7.对谓词指派的真值为:P(1,1)=T,P(1,2)=F,P(2,1)=T,P(2,2)=F,Q(1,1)=F,Q(1,
19、2)=T,Q(2,1)=F,Q(2,2)=T,在此解释下,x=1时,P(1,1)Q(1,1)为F,P(1,2)Q(1,2)为T;8.对谓词指派的真值为:P(1,1)=T,P(1,2)=F,P(2,1)=F,P(2,2)=T,Q(1,1)=T,Q(1,2)=F,Q(2,1)=F,Q(2,2)=T,在此解释下,x=1时,P(1,1)Q(1,1)为T,P(1,2)Q(1,2)为T;9.对谓词指派的真值为:P(1,1)=T,P(1,2)=F,P(2,1)=F,P(2,2)=T,Q(1,1)=F,Q(1,2)=T,Q(2,1)=T,Q(2,2)=F,在此解释下,x=1时,P(1,1)Q(1,1)为F,P
20、(1,2)Q(1,2)为T;10.对谓词指派的真值为:P(1,1)=T,P(1,2)=F,P(2,1)=F,P(2,2)=T,Q(1,1)=F,Q(1,2)=T,Q(2,1)=F,Q(2,2)=T,在此解释下,x=1时,P(1,1)Q(1,1)为F,P(1,2)Q(1,2)为T;11.对谓词指派的真值为:P(1,1)=F,P(1,2)=T,P(2,1)=T,P(2,2)=F,Q(1,1)=T,Q(1,2)=F,Q(2,1)=F,Q(2,2)=T,在此解释下,x=1时,P(1,1)Q(1,1)为T,P(1,2)Q(1,2)为F;12.对谓词指派的真值为:P(1,1)=F,P(1,2)=T,P(2
21、,1)=T,P(2,2)=F,Q(1,1)=F,Q(1,2)=T,Q(2,1)=T,Q(2,2)=F,在此解释下,x=1时,P(1,1)Q(1,1)为T,P(1,2)Q(1,2)为T;13.对谓词指派的真值为:P(1,1)=F,P(1,2)=T,P(2,1)=T,P(2,2)=F,Q(1,1)=F,Q(1,2)=T,Q(2,1)=F,Q(2,2)=T,在此解释下,x=1时,P(1,1)Q(1,1)为T,P(1,2)Q(1,2)为T;14.对谓词指派的真值为:P(1,1)=F,P(1,2)=T,P(2,1)=F,P(2,2)=T,Q(1,1)=T,Q(1,2)=F,Q(2,1)=F,Q(2,2)
22、=T,在此解释下,x=1时,P(1,1)Q(1,1)为T,P(1,2)Q(1,2)为F;15.对谓词指派的真值为:P(1,1)=F,P(1,2)=T,P(2,1)=F,P(2,2)=T,Q(1,1)=F,Q(1,2)=T,Q(2,1)=T,Q(2,2)=F,在此解释下,x=1时,P(1,1)Q(1,1)为T,P(1,2)Q(1,2)为T;16.对谓词指派的真值为:P(1,1)=F,P(1,2)=T,P(2,1)=F,P(2,2)=T,Q(1,1)=F,Q(1,2)=T,Q(2,1)=F,Q(2,2)=T,在此解释下,x=1时,P(1,1)Q(1,1)为T,P(1,2)Q(1,2)为T;3.9判
23、断以下公式对是否可合一;若可合一,则求出最一般的合一。(1)P(a,b),P(x,y)依据算法:(1) 令W=P(a,b),P(x,y)。(2) 令0=,W0=W。(3) W0未合一。(4) 从左到右找不一致集,得D0=a,x。(5) 取x0=x,t0=a,则1=0 t0/ x0=0a/ x=a/ xW1= W01=P(a,b),P(a,y)(3) W1未合一。 (4) 从左到右找不一致集,得D1=b,y。(5) 取x1=y,t1=b,则 2=1 t1/ x1=1b/ y=a/ xb/ y=a/x,b/yW2= W12=P(a,b),P(a,b) (3) W2已合一,因为其中包含相同的表达式,
24、这时2=a/x,b/y即为所求的mgu。(2)P(f(z),b),P(y,x)(1) 令W=P(f(z),b),P(y,x)。(4) 从左到右找不一致集,得D0=f(z),y。(5) 取x0=y,t0=f(z),则1=0 t0/ x0=0f(z)/ y=f(z)/yW1= W01=P(f(z),b),P(f(z),x) (3) W1未合一。 (4) 从左到右找不一致集,得D1=b,x。(5) 取x1=x,t1=b,则 2=1 t1/ x1=1b/ x= f(z)/ y b/ x=f(z)/y,b/xW2= W12=P(f(z),b),P(f(z),b) (3) W2已合一,因为其中包含相同的表
25、达式,这时2=f(z)/y,b/x即为所求的mgu。(3)P(f(x),y),P(y,f(a)(1) 令W=P(f(x),y),P(y,f(a)。(4) 从左到右找不一致集,得D0=f(x),y。(5) 取x0=y,t0=f(x),则1=0 t0/ x0=0f(x)/ y=f(x)/yW1= W01=P(f(x),f(x),P(f(x),f(a) (4) 从左到右找不一致集,得D1=y,f(a)。(5) 取x1=y,t1=f(a),则2=1 t1/ x1=1f(a)/ y= f(x)/ y f(a)/ y=f(x)/yW2= W12=P(f(x),f(x),P(f(x),f(a) (6) 算法终止,W的mgu不存在。(4)P(f(y),y,x),P(x,f(a),f(
copyright@ 2008-2023 冰点文库 网站版权所有
经营许可证编号:鄂ICP备19020893号-2