人工智能逻辑 * 史忠植 逻辑基础 1 史忠植 中国科学院计算技术研究所 高级人工智能 第二章主要内容 l 逻辑简介 l 逻辑程序设计 l 非单调逻辑 l 默认逻辑 l 限定逻辑 l 真值维护系统 l 情景演算 l 动态描述逻辑 * 史忠植 逻辑基础 2逻辑简介 l 逻辑的历史 l 逻辑系统 l 命题逻辑 l 谓词逻辑 * 史忠植 逻辑基础 3逻辑的历史 l Aristotle逻辑学 l Leibnitz数理逻辑 l Gottlob Frege (1848-1925)一阶谓词演算系 统,符号论 l 20世纪30年代，数理逻辑广泛发展 * 史忠植 逻辑基础 4逻辑系统 一个逻辑系统是定义语言和它的含义的方法。 逻辑系统中的一个逻辑理论是该逻辑的语言的一 个语句集合，它包括： l 逻辑符号集合：在所有该逻辑的逻辑理论中均出现的符号 ； l 非逻辑符号集合：不同的逻辑理论中出现的不同的符号； l 语句规则：定义什么样的符号串是有意义的； l 证明：什么样的符号串是一个合理的证明； l 语义规则：定义符号串的语义。 * 史忠植 逻辑基础 5* 史忠植 逻辑基础 6 逻辑 程序语言 逻辑符号 保
