高级人工智能 - 20090307011838.ppt

史忠植 高级人工智能 高级人工智能 第二章 人工智能逻辑 逻辑的历史 Aristotle——逻辑学 Leibnitz——数理逻辑 Gottlob Frege (1848-1925)——一阶谓词演算系统,《符号论》 20世纪30年代，数理逻辑广泛发展 重要的形式工具──逻辑 关于知识的表示与推理 关于知识的表示与推理 关于知识的表示与推理 关于知识的表示与推理 关于知识的表示与推理 逻辑系统 一个逻辑系统是定义语言和它的含义的方法。 逻辑系统中的一个逻辑理论是该逻辑的语言的一 个语句集合，它包括： 逻辑符号集合：在所有该逻辑的逻辑理论中均出现的符号； 非逻辑符号集合：不同的逻辑理论中出现的不同的符号； 语句规则：定义什么样的符号串是有意义的； 证明：什么样的符号串是一个合理的证明； 语义规则：定义符号串的语义。 哲学逻辑手册 ?1983-89年间出版了4卷本 哲学逻辑手册(Handbook of Philosophical Logic) ?2001年开始出版第 2版，约为18卷，迄今已经出版12卷。该书由英国伦敦皇家学院计算机系的多夫·加贝（Dov M. Gabbay）教授和德国路德维希-麦克米兰大学信息与语言处理中心的冈瑟（F. Guenthner）教授共同主编。