2.3谓词逻辑法一.谓词逻辑的简要回顾1.命题与谓词命题:表示客观事实的语句李明是个工人LIWORKER或 L把谓语部分提出WORKER(LI)WORKER(WANG)引入变量、函数和量词(x)(HUMAN(x)-NEED-STUDY(x)(x)TEACHER(brother(x)注:我们只讨论一阶谓词演算.2.合适公式(well-formed formula)原子(谓词)公式原子公式:=谓词名+“(”+项,项+“)”项:=常量|变量|函数函数:=函数名+“(”+参数,参数+“)”合适公式原子谓词公式是合适公式;若A是合适公式,则A也是合适公式;若A和B都是合适公式,则AB,AVB,AB也都是合适公式;若A是合适公式,x为任何变量,则(x)A和(x)A也是合适公式;只有按上述规则产生的公式才是合适公式.(有限步)3.用谓词公式表达知识例:任何整数或者是正数或者是负数.用I(x)表示“x是整数”,用P(x)表示“x是正数”,用N(x)表示“x是负数”.(x)(I(x)(P(x)V N(x)例:用谓词逻辑表达积木世界.一.基本概念 语义网络是一种用实体及其语义关系来表达知识的有向图.结点:
