13计本AI第二次作业

摘要:
习题22.9设有如下语句,请用相应的谓词公式分别把它们表示出来:有的人喜欢梅花,有的人喜欢菊花,有的人既喜欢梅花又喜欢菊花。解:设P:x是人L(x,p):x喜欢编程序L(x,c):x喜欢计算机∴谓词公式表示:x2.11用谓词表示法表示农夫、狼、山羊、白菜问题。试规划出一个确保安全过河的计划。写出所用谓词的定义,并给出每个谓词的功能及变量的个体域。解:高老师从3月到7月给计算机系学生讲《计算机网络》课。

习题2

2.9 设有如下语句,请用相应的谓词公式分别把它们表示出来:

(1)有的人喜欢梅花,有的人喜欢菊花,有的人既喜欢梅花又喜欢菊花。

解:设 P(x): x是人

L(x,y): x喜欢y; y的个体域是{梅花,菊花}

∴谓词公式表示:(∃x)(p(x)→L(x,梅花)∨L(x,菊花)∨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(x): x存储容量大

∴谓词公式表示: (∀x)(NC(x)→F(x)∧B(x))

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

解:设 S(x): x是计算机系的学生

L(x,p): x喜欢编程序

U(x,c): x使用计算机

∴谓词公式表示: ¬(∀x)(S(x)→L(x,p)∧U(x,c))

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

解:设 P(x): x是人

L(x,p): x喜欢编程序

L(x,c): x喜欢计算机

∴谓词公式表示:∀x(p(x)∧L(x,p)→L(x,c))

2.11 用谓词表示法表示农夫、狼、山羊、白菜问题。

设农夫,狼,山羊,白菜全在一条河的左岸,现在要把它们全都送到河的右岸去,农夫有一条船,过河时,除农夫外船上至多能载狼,山羊,白菜中的一种,狼要吃山羊,山羊要吃白菜,除非农夫在那里。试规划出一个确保安全过河的计划。写出所用谓词的定义,并给出每个谓词的功能及变量的个体域。

解:①设 AL(x): x在左岸

¬AL(x):x在右岸

其中,x的个体域是{农夫,船,狼,山羊,白菜}

初始状态AL(x)=ture;¬AL(x)=false

目标状态AL(x)=false;¬AL(x)=ture

②操作谓词

L-R:农夫自己划船从左岸到右岸

L-R(y):农夫带着y划船从左岸到右岸

R-L:农夫自己划船从右岸到左岸

R-L(y):农夫带着y划船从右岸到左岸

其中,y的个体域是{狼,白菜,山羊}

上述操作的条件和动作:

L-R

条件:AL(农夫);AL(船);¬AL(狼)ν¬AL(羊);¬AL(羊)ν¬AL(白菜)

动作:delete:AL(农夫);AL(船)

add:¬AL(农夫);¬AL(船)

L-R(狼)

条件:AL(农夫);AL(船);AL(狼);¬AL(山羊)

动作:delete:AL(农夫);AL(船);AL(狼)

add:¬AL(农夫);¬AL(船);¬AL(狼)

L-R(羊)

条件:AL(农夫);AL(船);AL(狼);AL(山羊);AL(白菜)

或 AL(农夫);AL(船);AL(山羊);¬AL(狼);¬AL(白菜)

动作:delete:AL(农夫);AL(船);AL(山羊)

add:¬AL(农夫);¬AL(船);¬AL(山羊)

L-R(白菜)

条件:AL(农夫);AL(船);AL(白菜);¬AL(狼)

动作:delete:AL(农夫);AL(船);AL(白菜)

add:¬AL(农夫);¬AL(船);¬AL(白菜)

R-L

条件:¬AL(农夫);¬AL(船);AL(狼)νAL(山羊);AL(羊)νAL(白菜)

或 ¬AL(农夫);¬AL(船);¬AL(狼);AL(山羊);¬AL(白菜)

动作:delete::¬AL(农夫);¬AL(船)

add:AL(农夫);AL(船)

R-L(羊)

条件:¬AL(农夫);¬AL(船);¬AL(山羊);AL(白菜);¬AL(狼)

动作:delete:¬AL(农夫);¬AL(船);¬AL(山羊)

add:AL(农夫);AL(船);AL(山羊)

③问题求解过程:

AL(农夫)¬AL(农夫) AL(农夫) ¬AL(农夫) AL(农夫)

AL(狼) L-R(山羊)AL(狼) R-LAL(狼) L-R(狼) ¬AL(狼) R-L(羊) ¬AL(狼)

AL(山羊) → ¬AL(山羊) →¬AL(山羊)→¬AL(羊) →AL(羊)

AL(白菜) AL(白菜)AL(白菜)AL(白菜) AL(白菜)

AL(船)¬AL(船)AL(船) ¬AL(船) AL(船)

¬AL(农夫) AL(农夫) ¬AL(农夫)

L-R(白菜)¬AL(狼)R-L¬AL(狼) L-R(山羊)¬AL(狼)

→AL(山羊)→ AL(山羊) →¬AL(羊)

¬AL(白菜) ¬AL(白菜)¬AL(白菜)

¬ AL(船)AL(船)¬ AL(船)

2.16请对下列命题分别写出它们的语义网络:

(1)每个学生都有一台计算机。

解:

13计本AI第二次作业第1张

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

解:

13计本AI第二次作业第2张

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

解:

13计本AI第二次作业第3张

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

解:

13计本AI第二次作业第4张

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

解:

13计本AI第二次作业第5张

2.17请把下列命题用一个语义网络表示出来:

(1)树和草都是植物;

13计本AI第二次作业第6张

(2)树和草都有叶有根;

13计本AI第二次作业第7张

(3)水草是草,且生长在水中;

13计本AI第二次作业第8张

(4)果树是树,且会结果;

13计本AI第二次作业第9张

(5)梨树是果树中的一种,它会结梨。

13计本AI第二次作业第10张

总语义网络:

13计本AI第二次作业第11张

免责声明:文章转载自《13计本AI第二次作业》仅用于学习参考。如对内容有疑问,请及时联系本站处理。

上篇建立私有CA和颁发证书Fiddler---前端利器下篇

宿迁高防,2C2G15M,22元/月;香港BGP,2C5G5M,25元/月 雨云优惠码:MjYwNzM=

随便看看

C#使用FFmpeg的总结

上一篇文章提到FFmpeg解决了项目中的视频和语音问题,并表示C#和FFmpeg必须提到两个类库。最后,选择了FFmpeg.AutoGen,它可以通过API更好地控制灵活性,更好地满足您的个人需求。6、 C#FFmpeg使用SDL2实现rtmp播放器7。C#FFmpeg本地mp3,mp4文件播放8。C#FFmpeg在保存到本地文件时播放rtmp视频。...

CUPS

杯子:一个。工具1.hal设备管理器2.系统配置打印机3.Web管理器/etc/cups/ccups。conf/etc/cups/printer conf II。打印机本地安装和客户端安装1.在本地安装Linux打印机时,应选择postscript和pcl打印机。如果没有,则应将打印机设置为原始打印模式/etc/cups/printers。有限公司...

sql server 日志软件过大设置办法

在使用sqlserver的过程中,sql日志文件的大小将随着其增长而受到限制。1.找到相应的库--˃属性--˃恢复模式,并将其更改为简单模式。2.选择库--˃任务--˃收缩--˃文件。3.选择日志文件收缩或数据库文件收缩。删除命令后占用的空间将在此处释放。数据库ldf文件的占用空间将更改为设置的空间大小。...

The server selected protocol version TLS10 is not accepted by client preferences [TLS12]

修改jre中的这个文件:/java/jdk1.8/jre/lib/security/java.securityjdk.tls.legacyAlgorithms直接改成下面的这个:jdk.tls.legacyAlgorithms=SSLv3,RC4,DES,MD5withRSA,DHkeySize˂1024,ECkeySize˂224,anon,NULL,in...

SQL 2008维护计划不执行的问题

平台环境;首先,安装了WINDOWS 2008,但没有升级到AD。安装了sql2008之后,AD被升级。无法确定所有者WWW-4410C397505Administrator是否具有服务器访问权限(原因:无法获取有关WindowsNT组/用户“WWW-440C397505Administrator”的信息,错误代码为0x534。[SQLSTATE42000]...

ARM内核全解析,从ARM7,ARM9到Cortex-A7,A8,A9,A12,A15到Cortex-A53,A57

Cortex-A50是继Cortex-A15之后的又一重量级产品,将会直接影响到主流PC市场的占有率。ARM处理器架构发展●Cortex-A57、A53处理器Cortex-A53、Cortex-A57两款处理器属于Cortex-A50系列,首次采用64位ARMv8架构,意义重大,这也是ARM最近刚刚发布的两款产品。Cortex-A12架构图ARM表示Cort...