2004年人工智能和哲学研讨会.ppt

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