人工智能导论——知识表示作业

知识表示 作业

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

 ①定义谓词： People（x）：x是人。
            Like（x，y）：x喜欢y。其中，y的个体域是{梅花，菊花}。
②谓词公式表示：（ヨx）（P（x）—>L（x，梅花）∨L（x，菊花）∨L（x，梅花）∧L（x，菊花））

(2) 他每天下午都去打篮球。

①定义谓词： Time（x）：x是下午。
          Play（x，basketball）：x去打篮球。
②谓词公式表示：（x）Time（x）→Play（x，basketball）

(3) 所有人都有饭吃

①定义谓词： People（x）：x是人。
          Eat（x，rice）：x有饭吃。
②谓词公式表示：（x）（People（x）→Eat（x，rice））

(4) 不是每个计算机系的学生都喜欢在计算机上编程序。

①定义谓词： S（x）：x是计算机系。
          Like（x，programming）：x喜欢编程。
          Use（x，computer）：x使用计算机。
②谓词公式表示： ┐（ヨx）（S（x）—>L（x，programming）∧U（x，computer））

(5) 凡是喜欢编程序的人必喜欢计算机。

> ①定义谓词： 	People（x）：x是人。
>           Like（x，y）：x喜欢y。其中，y的个体域是{ programming ，computer }。 ②谓词公式表示： （x）（（People（x）∧Like（x，programming））→L（x，computer））

（6）要想出国留学，必须通过外语考试

①定义谓词：
          Abroad（x，abroad）：x想要出国留学。
          Pass（x，English）：x通过英语考试
②谓词公式表示： Abroad（x，abroad）→Pass（x，English）

2.什么是产生式系统？它由哪几部分组成？

1)	把一组产生式放在一起，让它们相互配合，协同作用，一个产生式生成的结论可以供另外一个产生式作为已知事实使用，以求得问题的解，这样的系统称为产生式系统。
2)	一般来说，一个产生式系统由规则库、控制系统（推理机）、综合数据库三部分组成。

3.试述产生式系统求解问题的基本过程？

    (1) 初始化综合数据库，即把欲解决问题的已知事实送入综合数据库中；
    (2) 检查规则库中是否有未使用过的规则，若无转 (7)；
    (3) 检查规则库的未使用规则中是否有其前提可与综合数据库中已知事实相匹配的规则，若有，形成当前可用规则集；否则转(6)；
    (4) 按照冲突消解策略，从当前可用规则集中选择一个规则执行，并对该规则作上标记。把执行该规则后所得到的结论作为新的事实放入综合数据库；如果该规则的结论是一些操作，则执行这些操作；
    (5) 检查综合数据库中是否包含了该问题的解，若已包含，说明解已求出，问题求解过程结束；否则，转(2)；
    (6) 当规则库中还有未使用规则，但均不能与综合数据库中的已有事实相匹配时，要求用户进一步提供关于该问题的已知事实，若能提供，则转(2)；否则，执行下一步；
    (7) 若知识库中不再有未使用规则，也说明该问题无解，终止问题求解过程。
     说明：从第(3)步到第(5)步的循环过程实际上就是一个搜索过程

4 请把下列命题用一个语义网络表示出来：
(1) 树和草都是植物；
(2) 树和草都有叶和根；
(3)水草是草，且生长在水中；
(4) 果树是树，且会结果；
(5) 梨树是果树中的一种，它会结梨。

5 假设有以下一段天气预报：“北京地区今天白天晴，偏北风3级，最高气温12º，最低气温-2º，降水概率15%。”请用框架表示这一知识。
天气预报框架
框架名：<天气预报>
地区：北京
时段：今天白天
天气：晴
风向：偏北
风力：3级
气温：最高气温：12℃
最低气温：-2℃
降水概率：15%

6 按“师生框架”、“教师框架”、“学生框架”的形式写出一个框架系统的描述。
提示：“师生框架”是上级框架，描述师生的共有信息，如name,sex,age,telephone;
“教师框架”是下级框架，描述教师的特有信息，如专业，课程，研究方向，研究项目，论文等
“学生框架”是下级框架，描述学生的特有信息，如专业，班级，学位等信息。

师生框架
Frame：
Name：Unit (Last-name, First-name) //姓名
Sex：Area(male, female) //性别
Default: male //缺省
Age：Units（Years） //年龄
If -Needed: Ask-Age //询问赋值
Telephone：Home Unit (Number) //家庭电话
Mobile Unit (Number) //移动电话
If-Needed：Ask-Telephone //询问赋值

教师框架
Frame：
AKO： //预定义槽名
Major：Unit(Major-Name) //专业
If -Needed: Ask-Major //询问赋值
If-Added：Check-Major //后继处理
Course：Units（Course-Name） //课程
Field：Unit (Field-Name) //研究方向
Project：Area (National, Provincial, Other) //项目
Default: Provincial //缺省
Paper: Area (SCI, EI, Core, General) //论文
Default: Core //缺省

学生框架
Frame：
AKO： //预定义槽名
Major：Unit(Major-Name) //专业
Classes：Units（Classes-Name） //班级
Degree: Area (doctor, master, bachelor) //学位
Default: bachelor //缺省

7.（选做） 用谓词表示法求解农夫、狼、山羊、白菜问题。农夫、狼、山羊、白菜全部放在一条河的左岸，现在要把他们全部送到河的右岸去，农夫有一条船，过河时，除农夫外船上至多能载狼、山羊、白菜中的一种。狼要吃山羊，山羊要吃白菜，除非农夫在那里。规划出一个确保全部安全过河的计划。请写出所用谓词的定义，并给出每个谓词的功能及变量的个体域。

8. （选做）请对下列命题分别写出它们的语义网络：
   (1) 每个学生都有一台计算机。
   

(2) 高老师从3月到7月给计算机系学生讲《计算机网络》课。

(3) 学习班的学员有男、有女、有研究生、有本科生。

(4) 创新公司在科海大街56号，刘洋是该公司的经理，他32岁、硕士学位。

(5) 红队与蓝队进行足球比赛，最后以3：2的比分结束。