人工智能第三.pptVIP

第三章 归结推理方法 概述 命题逻辑的归结法 谓词归结子句形 归结原理 归结过程的策略控制 Herbrand定理 3.1.1命题 命题：能判断真假（不是既真又假）的陈述句。 简单陈述句描述事实、事物的状态、关系等性质。 例如：1．? 1+1=2 2．? 雪是黑色的。 3．? 北京是中国的首都。 4．? 到冥王星去渡假。 命题通常用字母p ,q ,a ,b 表示； 判断一个句子是否是命题，有先要看它是否是陈述句，而后看它的真值是否唯一。以上的例子都是陈述句，第4句的真值现在是假，随着人类科学的发展，有可能变成真，但不管怎样，真值是唯一的。因此，以上4个例子都是命题。 而例如： 1．? 快点走吧！ 2．? 到那去？ 3．? x+y10 等等句子，都不是命题。 3.1.2命题逻辑公式 定义： 原子命题：不能再分解的命题称为原子命题。 合式公式：原子命题是合式公式，连接词联结的合式公式的组合也是合 式公式（ 命题公式）。 常用的联结词： 合取式：p与q，记做p Λ q 析取式： p或q，记做p ∨ q 蕴含式： 如果p则q，记做p → q 等价式：p当且仅当q，记做p = q 否定：　　～p 、 ～最优先，其次为Λ、∨，