人工智能之知识表达与知识库（完整版）.ppt

§04 一阶谓词逻辑 4.2 命题逻辑 析取范式：简单合取式的析取 定义：由逻辑运算符 ? 联结简单合取式而成的命题公式叫做析取范式。 例：设 P 和 Q 和 R 是原子命题，那么，下面的命 题公式是析取范式吗？ (1) P (2) ?P (3) ?(?P) (4) ?(P?Q) (5) P??Q (6) (P?Q)??R (7) ?(P?Q)?(Q?R) (8) (P?Q)?(Q?R)?(P??R) §04 一阶谓词逻辑 4.2 命题逻辑 命题逻辑范式定理 范式定理：任意命题公式都可以表示为合取范式，同时，也可以表示为析取范式。 范式定理的意义： (1) 合取范式和析取范式是命题公式最简捷的形式和最规范 的形式，易于自动推理机的操作。定理意味着，我们可 以获得任意命题公式的这种规范形式。 (2) 定理意味着，合取范式和析取范式是可以相互转化的。 (3) 定理意味着，{?, ?, ?} 足以表达任意的逻辑命题公式。 §04 一阶谓词逻辑 4.3 从命题到谓词 命题中的语义成份 命题逻辑的基本单元是原子命题。原子命题中丰富的信息被掩盖在命题 P, Q, R 等符号中，这使计算机应用命题逻辑进行自动推理存在很大的局限性。 一个命题，即使是原子命题，也包含着各种语义成份，正如分子是由原子组成的一样。 命题的原始形式是自然语言中的语句。一个句子，一般具有主语和谓语和宾语等语义成份；而一个命题，一般包含了个体和个体的数量和个体的性质(如：个体的状态、关系、行为和动作等)三种主要的成份。 §04 一阶谓词逻辑 4.3 从命题到谓词 命题中的语义成份 一个原子命题所淹没的信息或成份包括： 个体： 即：命题的主体 (相当于句子的主语) 例如： (1) “工人做工，农民种地。” (2) “光速是不变的。” 这里，“工人”、“农民”、“光速”就是个体。 §04 一阶谓词逻辑 4.3 从命题到谓词 命题中的语义成份 一个原子命题所淹没的信息或成份包括： 个体的数量： 即：对于个体数量的修饰 例如： (1) “有些哺乳动物会飞。” (2) “世间万物都在运动。” 这里的“有些”和“万”都表现了个体的数量。 §04 一阶谓词逻辑 4.3 从命题到谓词 命题中的语义成份 一个原子命题所淹没的信息或成份包括： 个体的性质： 相当于句子的谓语项 (包括谓语和宾语)，描述个体的动作，状态，关系，性质或行为等。 例如： (1) “一百大于一。” (2) “花是红的。” 这里的“大于一”和“是红的”表现了个体的性质。 §04 一阶谓词逻辑 4.4 谓词逻辑的基本概念 (1) 谓词 (Predicate) 在英文中，Predicate 即谓语。因此，谓词和谓语实际是同一概念，或来源于同一概念。 谓词 (Predicate)：即个体的性质，如：个体的动作， 个体的状态，个体间的关系，个体的行为等。 谓词的一般形式： Pred(x1, x2, ???, xn) 其中： (1) x1, x2, ???, xn 表示个体， (2) Pred：谓词名，表示个体的性质。 §04 一阶谓词逻辑 4.4 谓词逻辑的基本概念 (1) 谓词 (Predicate) 谓词示例： (1) “工人做工。” Work (the_workers) (2) “x 等于 y。” Be_equal (x,y) (3) “花是红的。” Be_red (the_flowers) (4) “Tom 很高大。” Be_very_tall (Tom) (5) “太阳在运行。” Be_running (the_Sun) (6) “Robin 有羽毛。” Has_hairs (Robin) Or: Has (Robin,hairs) §04 一阶谓词逻辑 4.4 谓词逻辑的基本概念 (2) 函词 (Function Symbol) “函词”是从英文 function symbol 翻译而来的，意为函数符号。 函词 (function symbol)：以个体为变元，以个体为值 的函数符号。 例：设变元 x 表示“学校”；定义函词 prsdt 表示 “ 校长”，则 prsdt (x) 表示 x 学校的校长。 如： prsdt(BJUT) 即北京工业大学的校长。 注意： prsdt(BJUT) 和 BJUT 都是个体。 §04 一阶谓词逻辑 4.4 谓词逻辑的基本概念 (2) 函词 (Function Symbol) 函词根据其变元数量的不同可以划分为： 零元函词：没有变元的特殊函词，即常量，如：John，the_Sun，BJUT 等。 一元函词：一个变元的函词，如：prsdt(BJUT)。 二元函