人工智能的数学基础.pptx

第二章人工智能的数学基础;2.1命题逻辑与谓词逻辑;2谓词：一个谓词可分为谓词名＋个体两部分。

谓词名用于刻画个体的性质、状态或个体间的关系，;?在P(x1,x2,….,xn)中，若xi(i=1,…,n)都是个体常;;(2)量词

?

?

例

P(x)表示x是正数

F(x,y)表示x与y是朋友

(x)P(x)?表示个体域中所有个体x都是正数

(x)(y)F(x??，y)表示个体域中任何一个x，都存;;(4)谓词公式的解释：在命题逻辑中，对命题公

式中各个命题变元的一次真值指派称为命题;例：设个体域D={1，2}，求公式A?(?x)(?y)P(x,y)

在D上的一个解释，并指出