文芳梅(130702010015)第二次作业

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

    (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,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)定义描述状态的谓词定义如下:

         AL(x):x是在左岸     其中x的个体域是农夫,船,狼,山羊,白菜,对应的¬AL(x)表示在右岸。

         问题的初始状态:AL(农夫),AL(船),AL(狼),AL(山羊),AL(白菜)。

         问题的目标状态:¬AL(农夫),¬AL(船),¬AL(狼),¬AL(山羊),¬AL(白菜)。

           (2)定义描述操作的谓词如下:

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

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

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

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

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

       (3)问题求解过程

          

三:请对下列命题写出它们的语义网络。

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

      

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

     

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

     

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

     

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

     

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

(1)树和草都是植物。

      

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

      

(3)水草是草,且生活在水中

      

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

     

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

      

全部一起:

原文地址:https://www.cnblogs.com/wenfangmei/p/5398105.html