人工智能导论/人工智能及其应用 期末练习题
设有如下语句，请用相应的谓词公式把他们表示出来：（1）有的人喜欢梅花，有的人喜欢菊花，有的人既喜欢梅花又喜欢菊花
P(x):x是人L(x,y):x喜欢y其中，y的个体域是{梅花，菊花}。（∃x)(P(x)->L(x,梅花）vL(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速度快BB(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):机械手抓住xHANDEMPTY：机械手是空的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):从桌面上捡起一块积木xPutdown(x):将手中的积木放到桌面上Stack(x,y):在积木x上面再摞一块积木yUpstack(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),HANDEMPTYStack(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%。”请用框架表示这一知识。
frame地域：北京时段：今天白天天气：晴风向：偏北风风力：3级气温：最高：12度最低：-2度降水概率：15%（2）按“师生框架”、“教师框架”、“学生框架”的形式写出一个系统的描述
师生框架FrameName:Unit(Last-name,First-name)Sex：Area(male,female)default:maleAge：Unit(Years)Telephone：HomeUnit(number)mobileUnit(number)-------------------------------------------------------------教师框架FrameAKOMajor：Unit(Major-Name)Lectures：Unit(Course-Name)Field：Unit(Field-Name)Project：Area(Nation,Provincial,Other)default：ProcincialPaper：Area(SCI,EI,Core,General)default：Core-------------------------------------------------------------学生框架FrameAKOMajor：Unit(Major-Name)Classes：Unit(Classes-Name)Degree：Area(doctor,master,bachelor)default：bachelor