第8,9章-49(56-2013上课)讲述.ppt

人工智能　━━　一种现代方法 云南大学 施心陵讲授 第八章 一阶逻辑和一阶推理 谓词逻辑（一阶逻辑） 命题逻辑的模型只是命题符号的真值集。 一阶逻辑的模型： 对象（objects）：数字、人... 关系（Relationship）: 是自然数、是工程师(属性)... ...和,,,是同学，在...里面...(n元关系) 函数（Functions）:最好的朋友… 小王是个工程师 9是个自然数 我去买水 小王和小李是同学 谓词逻辑（一阶逻辑） 常量符号：命名对象，例如，John,Flower,.. 变量符号 x,y,z 谓词符号:命名关系 谓词:刻画对象性质和对象之间关系 谓词的一般形式：P(x1,x2,…xn) 其中P是谓词名，xi是个体。 个体可以是常量出可以是变量，还可以是一个函数。 当谓词的变元都用特定的个体表达时，谓词只有一个确定的真值，T或F。 谓词中包含的个体数目称为谓词的元数， P（x)称为一元谓词，P(x,y)称为二元谓词。 谓词逻辑（一阶逻辑） 谓词公式 量词 存在量词：?x表示“在个体域中的存在个体x。 ?variables sentence ?x At(x,YNU) ? Smart(x) 量词辖域