人工智能课件cmt_第二章 知识表示 2.pptVIP

2017-6-12 1 2.2 谓词逻辑表示法 1）谓词逻辑基本概念 1、谓词公式 Married(father(L1),x) 函数符号、变量符号——小写字母的形式来表示 变量符号 函数符号 2017-6-12 2 2.2 谓词逻辑表示法 1）谓词逻辑基本概念 2、连词和量词 通过引入连词和量词，可以把原子公式组合为复合谓词公式。 复合谓词公式也称为逻辑语句，谓词演算也称为谓词逻辑。 （1）连词 通过连词产生复合谓词公式（逻辑语句）的例子： Inroom(Robot,R2) Isa(Liming,Student) Lives(Liming,House1) Isa(Wang,Teacher) Isa(Wang,Officer) At(Liming,School) At(Wang,School) At(Liming,School) At(Wang,School) 2017-6-12 3 2.2 谓词逻辑表示法 1）谓词逻辑基本概念 2、连词和量词 命题——不包含变量的谓词公式和逻辑语句； 命题逻辑——基于命题的谓词逻辑称为命题逻辑，命题逻辑是谓词逻辑的子集。 命题逻辑缺乏有效的表达一般性概念的能力 无法把每个知识单元抽象、细分； 如，“条条大路通罗马”。 Lead(Road1,Roma) Lead(Road2,Roma)…… 谓词逻辑中引入变量和对变量进行约束的量