2004年人工智能与哲学研讨会教程.pptVIP

* 史忠植 Logic * 形式化规范方法 逻辑 – 时序模态逻辑 2 种模型: Coehn-Levesque 意图理论 Rao-Georgeff BDI 模型 * 史忠植 Logic * 多主体环境 MAGE Requirement Analysis System Design System Development Behaviour Library Agent Library Agent Society System Deployment AUMP VAStudio MAGE Running Support * 史忠植 Logic * 结束语 逻辑是智能科学的重要基楚 我国必须积极开展符号逻辑的研究 * 史忠植 Logic * 谢 谢! QUESTIONS！ * * * * * * 史忠植 Logic * 史忠植 Logic * 2004年人工智能与哲学研讨会 智能科学的逻辑问题 史忠植 Shizz@ 中国科学院计算技术研究所 * 史忠植 Logic * 内容提要 引言 知识表示 知识发现 知识共享 心智社会 结束语 * 史忠植 Logic * 人工智能的五个基本问题 Kirsh 1991年指出: (1) 知识与概念化是否是人工智能的核心？ (2) 认知能力能否与载体分开来研究？ (3) 认知的轨迹是否可用类自然语言来描述？ (4) 学习能力能否与认知分开来研究？ (5) 所有的认知是否有一种统一的结构？ * 史忠植 Logic * 人工智能 符号主义 连接主义 行为主义 * 史忠植 Logic * 科学发展大趋势 ? ?21世纪:?智能科学 智能科学是一门交叉学科，主要由 F 脑科学 F 认知科学 F 人工智能 等学科共同研究智能行为的基本理论和实现技术。?? * 史忠植 Logic * 智能科学 智能不仅要功能模拟, 而且要机理模拟 ( Nature 409, 2001 ) * 史忠植 Logic * 知识表示问题——也就是如何最佳地捕捉智能行为的关键特征以供在计算机上使用，或者说以供与人交流——一直是人工智能的一个永恒主题 知识表示 * 史忠植 Logic * 问题 不确定性 不完全 动态行为 有效推理 可塑性 同构性 * 史忠植 Logic * 命题逻辑 一阶谓词逻辑 模态逻辑 模糊逻辑 动态逻辑 时序逻辑 … 逻辑是重要的知识表示语言 * 史忠植 Logic * 知识发现 知识发现是从数据集中抽取和精化新的模式。 知识发现的范围非常广泛, 可以是经济、工业、农业、军事、社会、商业、科学的数据或卫星观测得到的数据。数据的形态有数字、符号、图形、图象、声音等。数据组织方式也各不相同, 可以是有结构、半结构、非结构的。知识发现的结果可以表示成各种形式, 包括规则、法则、科学规律、方程或概念网。 * 史忠植 Logic * 知识发现 一般说，演绎推理的前提蕴涵结论，前提为真，结论就一定为真。归纳推理的前提与结论之间不具有这种蕴涵关系，归纳推理的结论超出了前提的范围，因而当前提为真时，结论不一定真。归纳逻辑是关于或然性推理的逻辑。 * 史忠植 Logic * 知识发现 正当古典归纳逻辑向前发展的时候，18世纪的英国哲学家休谟（D.Hume）对归纳推理的合理性提出了质疑。休谟提出的问题是：归纳法具有理性的依据吗？如何为归纳法的合理性进行辩护？休谟本人的回答是：为归纳法的合理性进行辩护是不可能的，因此归纳法没有合理性，只不过是人的一种心理本能。 * 史忠植 Logic * 知识发现 1921年，英国著名的经济学家凯恩斯(J. M. Keynes)将概率理论与归纳逻辑相结合，建立了第一个概率逻辑系统，这标志着现代归纳逻辑的产生。此后，逻辑学家们纷纷提出各自的归纳逻辑系统。现代归纳逻辑的特点是，第一，把概率概念引进归纳逻辑。人们充分认识到归纳推理的或然性，试图从量上刻画这种或然性，很自然地采用了概率概念。现代归纳逻辑的研究几乎都是结合概率、统计理论进行的。第二，不再把归纳看作发现和证明普遍性命题(规律、定律)的活动，而把它看作检验假说的活动。归纳法的职能不是发现全称命题更不能证明它，归纳法主要是通过检验来决定一个假说是否可被接受。第三，数理逻辑即现代演绎逻辑的方法对归纳逻辑的研究产生很大影响，公理化形式化的方法被引入归纳逻辑的研究，产生了许多不同类型的形式化的归纳逻辑系统。 * 史忠植 Logic * 知识发现 本世纪二、三十年代以后，