上机实验报告课程名称：人工智能年级： 上机实验成绩：指导老师：姓名： 上机实践名称：谓词逻辑表示的基本应用学号：上机实验日期：实验三：谓词逻辑表示的基本应用一、实验目的理解谓词逻辑表示方法的基本原理，能够运用本方法表示命题；二、实验内容设有如下语句，请用相应的谓词公式分别把他们表示出来：1有的人喜爱梅花，有的人喜爱菊花，有的人既喜爱梅花有喜爱菊花。2有的人每天下午都去打篮球。3新型计算机速度又快，存储容量又大。4不是每个计算机系的学生都喜爱在计算机上编程序。5凡事喜爱编程序的人都喜爱计算机。三、实验结果⑴ 解：定义谓词P(x)：x 是人L（x,y）：x 喜爱 y其中，y 的个体域是{梅花，菊花}将知识用谓词表示为：(x)(P(x)L(x,梅花)∨L(x，菊花) ∨L(x,梅花)∧L(x,菊花))⑵解：定义谓词P(x)：x 是人B(x)：x 打篮球A(y)：y 是下午将知识用谓词表示为：(x)(y)(A(y)B(x)∧P(x))⑶解：定义谓词NC(x)：x 是新型计算机F(x)：x 速度快B(x)：x 容量大将知识用谓词表示为： (x)(NC(x)F(x)∧B(x))⑷解：定义谓词S(x)：x 是计算机系学生L(x,programming)：x 喜爱编程序U(x,computer)：x 使用计算机将知识用谓词表示为：(x)(S(x) L(x,pragramming)∧U(x,computer))⑸解：定义谓词P(x)：x 是人L(x,y)：x 喜爱 y将知识用谓词表示为：(x)(P(x)∧L(x,programming)L(x,computer))
