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