第二节人工智能逻辑.pdfVIP

高级人工智能 第二章 人工智能逻辑 第一部分 史忠植 中国科学院计算技术研究所 2010-3-5 史忠植 逻辑基础 1 主要内容 逻辑简介 逻辑程序设计 非单调逻辑 默认逻辑 限定逻辑 真值维护系统 情景演算 2010-3-5 史忠植 逻辑基础 2 1. 逻辑简介 逻辑的历史 逻辑系统 命题逻辑 谓词逻辑 2010-3-5 史忠植 逻辑基础 3 1.1 逻辑的历史 Aristotle——逻辑学 Leibnitz——数理逻辑 Gottlob Frege (1848-1925)——一阶谓词 演算系统, 《符号论》 20世纪30年代，数理逻辑广泛发展 2010-3-5 史忠植 逻辑基础 4 1.2 逻辑系统 　　一个逻辑系统是定义语言和它的含义的方法。 逻辑系统中的一个逻辑理论是该逻辑的语言的一 个语句集合，它包括： 逻辑符号集合：在所有该逻辑的逻辑理论中均出现的符 号； 非逻辑符号集合：不同的逻辑理论中出现的不同的符号； 语句规则：定义什么样的符号串是有意义的； 证明：什么样的符号串是一个合理的证明； 语义规则：定义符号串的语义。 2010-3-5 史忠植 逻辑基础 5 逻辑与程序语言的对比 逻辑 程序语言 逻辑符号 保留字或者符号 用户自定义的符号(变量 非逻辑符号 名，函数名等) 语句规则 构造一个程序的语句规则 语义规则 定义程序做什么的语句规则 推理规则、公理和证明 没有 2010-3-5 史忠植 逻辑基础 6 证 明 一个证明是一个语法结构，它由符号串根据一定 的规则组成。它包括假设和结论。 在公理化逻辑中，逻辑给出一个逻辑公理和推理 规则的集合。推理规则是可以从一个语句的集合得到 另一语句的集合。 公理化逻辑中的证明就是一个语句序列，使得 其中的每个语句要么是逻辑公理，要么是一个假设， 要么是由前面的语句通过推理规则得到的。 2010-3-5 史忠植 逻辑基础 7 证 明(语法) 在语法上，如果存在一个从假设到的证明， 则记为⊢ ，称由可推导出的，或可证明的。 　　如果在没有任何假设下是可推导出的，则记为 ⊢ ，称为可证明的。 称