史忠植 高级人工智能(中科院)第二章.pdfVIP

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