1、问题求解的基本方法-基于归结的演绎推理 2逻辑 逻辑着重于研究推理过程是否正确，不考虑某一个特定语句是否正确。例如：A:所有的商人都爱钱B:任何爱钱的人，都会不择手段的赚钱C:因此，所有的商人都会不择手段的赚钱 3 逻辑可分为经典逻辑和非经典逻辑 经典逻辑分为命题逻辑和谓词逻辑 谓词逻辑是表达能力很强的形式语言，又具有许多成熟的推理方法因此， 谓词逻辑 及其推理方法，就成为知识表示和机器推理的基本方法之一。 4演绎推理符号推理则是基于知识来求解问题的主要手段 符号推理的重要方式是 演绎推理 演绎推理的基础为 谓词演算（或谓词逻辑） ，其是一种形式语言，可将各种陈述性（说明性）的描述以形式化的方
2、式表示，以便对它们作处理 5一 谓词演算1.1 基本概念1. 符号 字符串，作为事物的标识 个体词：可以独立存在的客体例如，小王、桌子、思想、定理等 个体常量：表示具体的或特定的个体的词，一般用 a,b,c 等表示 个体变量：表示抽象或泛指的个体的词，一般用 x,y,z等表示 6 个体域：个体变量的取值范围，一般用 D表示例如 1， 2， 3， 5，自然数集合等 72. 符号结构 描述事物间的相关方式 例如， Inroom (Robot, R1)是一个符号结构， Robot和 R1均是符号，用于标识机器人和某个房间。而Inroom则是谓词符号，用以指示 Robot和 R1的相关方式 Frien
3、d(teacher,student) 8例如：小王是个工程师小丽和小华是朋友 谓词用来刻画个体词的性质或他们之间的关系的词 谓词常量：具体性质或关系 谓词变量：抽象的或泛指 9形如 Inroom(Robot， R1)的符号结构。谓词公式的一般形式是： P(x1, x2, , x n)其中 P是谓词符号（简称谓词）， xi(i=1,2,n) 是参数项（简称项）； 有 n个参数项 ，称为 n元谓词公式参数项可以是常量、变量或函数 3 谓词公式 10例如谓词公式 Inroom(Robot, R1)包括 2个常量项Married(Father(L1), x)包括函数项father(L1)和变量项 xfather(L1)映射 L1到他的父亲 为避免混淆和增加表示的清晰性，谓词和常量项通常以 首字母大写 的形式来表示，而函数和变量则 以小写字母 的形式表示
