人工智能及专家系统 作者 敖志刚 第4章 逻辑的知识表示和推理.pptVIP

第2章 知识表示 第4章 逻辑的知识表示和推理 4．1 命题与逻辑 4．1．1 命题与命题定律 4．1．2 谓词逻辑 4．2 谓词逻辑知识表示 4．2．1 谓词逻辑知识表示方法 4．2．2 谓词逻辑表示的优缺点 4．3 逻辑推理的技术与算法 4．3．1 子句集及其化简 4．3．2 置换与合一 4．3．3 鲁滨逊消解(归结)原理 4．1 命题与逻辑 4.1.1 命题与命题定律 1.概念 命题、真命题、假命题、原子命题、不是命题。 命题的表示——大写A、B、C ┈┈ P、Q、R。 2. 联结词（Connectives） ①?否定或补的联结词用“～”表示 ②?合取用“∧”表示， ③?析取用“∨”表示， ④?单条件联结词用“→” ⑤?双条件联结词“ ” 联结词运算的先后次序为～、∧、∨、→、 ，同级联结词先出现先运算 3. 定义 真值指派：设一个由n个变元P1，P2，…，Pn组成的命题表达式A，则A的取值由这n个变元唯一确定。把变元的一组取值(T或F)叫做该表达式的一个真值指派。 真值表：真值表是由命题表达式所有的真值指派和对应的表达式真值所组成的一张表。 永真式 永假式 等价式：设P与Q是D上的两个谓词公式，若对D上的任意解释，P与Q都有相同的真值，则称P与Q在D 上是等价的。如果D是任意非空个