设有如下语句，请用相应的谓词公式把他们表示出来： （1）有的人喜欢梅花，有的人喜欢菊花，有的人既喜欢梅花又喜欢菊花

P(x) : x是人 L(x,y): x喜欢y 其中，y的个体域是{梅花，菊花}。 （∃x)(P(x)->L(x,梅花）v L(x,菊花) v (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 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) )

（1）用谓词表示法求解机器人摞积木问题，设机器人有一只机械手，要处理的世界有一张桌子，桌子上可堆放若干相同的方积木块。机械手有四个操作积木的典型动作：从桌上拣起一个积木；将手中的积木放到桌子之上；在积木上面拣起一块积木，积木世界的布局如图所示：

(1)先定义谓词 CLEAR(x): 积木x上面是空的 ON(x,y): 积木x在积木y上面 ONTABLE(x): 积木x在桌子上 HOLDING(x): 机械手抓住x HANDEMPTY：机械手是空的 x,y的个体域都是{A，B，C}

由图片可知，初始状态： ONTABLE(A) ONTABLE(B) ON(C,A) CLEAR(B) CLEAR(C )

目标状态： ONTABLE(C ) ON(B,C) ON(A,B) CLEAR(A) HANDEMPTY

（2）定义描述操作的谓词 Pickup(x): 从桌面上捡起一块积木x Putdown(x): 将手中的积木放到桌面上 Stack(x,y): 在积木x上面再摞一块积木y Upstack(x,y): 从积木x上捡起一块积木y

每一个操作都可分为条件和动作两部分 Pickup(x) 条件：ONTABLE(x),HANDEMPTY,CLEAR(x) 动作：删除表：ONTABLE(x),HANGEMPTY ---------添加表：HANDEMPTY(x) Putdown(x) 条件：HANDEMPTY(x) 动作：删除表：HANDEMPTY(x) ---------添加表：ONTABLE(x),CLEAR(x),HANDEMPTY Stack(x,y) 条件：HANDEMPTY,CLEAR(y),ON(y,x) 动作：删除表：HANDEMPTY,ON(y,x) ---------添加表：HOLDING(y),CLEAR(x) Upstack(x,y) 条件：HANDEMPTY,CLEAR(y),ON(y,x) 动作：删除表：HANDEMPTY,ON(y,x) ---------添加表：HOLDING(y),CLEAR(x) 不知道这段必不必要写

（3）问题求解过程

（2）用谓词表示法求解修道士和野人问题。在河的北岸有三个修道士，三个野人和一条船，修道士们想用这条船把所有人都运过去，但要受到以下条件限制：

假如野人愿意服从任何一种过河安排，清规划出一种确保修道士安全的过河方案，要求写出所有谓词的定义、功能、及变量的个体域。

大概就是这么个过程

请把下列命题用一个语义网络表示出来 （1）树和草都是植物

（2）树和草都有也和根

（3）水草是草，且生活在水中

（4）果树是树，且会结果

请对下列命题分别写出它们的语义网络 （1）高老师从7月到8月给计算机系学生讲《计算机网络》课

（2）创新公司在科海大街56号，刘洋是该公司的经理，他32岁，硕士学位。

（3）红队与蓝队进行足球比赛，最后以3:2的比分结束

（1）假设有以下一段天气预报：“北京地区今天白天晴，偏北风3级，最高气温12度，最低气温-2度，降水概率15%。”请用框架表示这一知识。

（2）按“师生框架”、“教师框架”、“学生框架”的形式写出一个系统的描述