人工智能逻辑基础初探-何华灿(西北大学)课件.ppt

 广义智能科学的 逻辑基础探讨 西北工业大学计算机学院 何华灿 2004年09月11日 于秦皇岛 ? ???? 一 逻辑是智能的 基本科学问题吗？ 对这个问题的回答经历了 早期：狭义智能的完全肯定 √ 中期：知识工程的部分动摇 ？ 计算智能的完全否定 ? 现在：探索广义下的肯定答案 ? 解决这个问题的重大意义 ?有助于深刻认识智能的本质 ?为智能科学奠定重要理论基础 ?使人工智能有统一的可靠的逻辑基础，这是由实证科学向理论科学过渡和由定性向定量转型的必要条件 深刻的比喻 ?尽管人类很早就通过形体、结构和遗传进化认识了生物和生命，但直到发现了 DNA，才真正开始认识生物和生命的本质。 人类基因组计划 如 高贵的人和卑微的黑猩猩比较 DNA的差别小于几%！ ?逻辑学是思维和智能的DNA L计划 根据1：工生命的重要启示 ?人工生命中的研究结果 L-系统 细胞机 ?DNA是生命系统的逻辑规则 生物体只是这些逻辑规则的语义解释和物理实现 ? ???? 根据2：蓬勃发展的现代逻辑 ?与AI界有人放弃逻辑不同，有些逻辑学家认为人工智能是现代逻辑学发展的原动力 ?他们在努力拓展经典数理逻辑，以适应计算机科学，计算语言学和人工智能发展的需要，取得了丰硕成果，这集中反映在现代逻辑的“圣经”《哲学逻辑手册》中。 ?适应智能科学需要的逻辑已初现端倪！ 问题的关键何在？ ?智能科学要处理矛盾和不确定，如： 不精确 不完全 动态 演化 ?人工智能只能使用数学化的逻辑 而经典数理逻辑不考虑矛盾和不确定 ?辩证逻辑能处理内在矛盾性和外在不确定性,辩证逻辑能够数学化吗？ 关键：探索数理辩证逻辑 二 广义智能科学 对逻辑学的需求 什么是广义智能观 ?智能广泛存在于自然界中。（涂序彦等） ?广义智能是信息系统感知环境及其变化，通过自身结构和功能的改变，恰当而有效地对其作出反映，以适应环境，达到系统生存目标的能力。（何华灿） ?广义智能是一切可把广义信息?广义知识?广义智力的机制和方法（钟义信） ?逻辑有多种形态，如 二值逻辑/二值图象 看 多值逻辑/灰度图象 墨 多维逻辑/彩色图象 之 缺省逻辑/缺省图象 舞 动态逻辑/动画 视频 ?结构和过程都是逻辑的具体实现 事物的三种等价描述 相互渗透不可分 逻辑规则描述事物 用推理演算解决 知识结构描述事物 用搜索策略解决 演化过程描述事物 用寻优过程解决 例如 可从三个不同侧面观看芭蕾舞： 从形体上看 是人体结构的变化 从能量上看 是能量变换的过程 从信息上看 是思维逻辑的演绎 三个中一个为主，其他是伴随的附件 人工生命使我们想的更大胆，更深入！ 广义智能科学理论体系 基本需求：数理逻辑柔性化 ?逻辑学分为： ★形式逻辑 研究具有内在同一性和外在确定性的概念、命题之间的必然联系； ★辨证逻辑 研究具有内在矛盾性和外在不确定性的概念、命题之间的必然联系。 ?研究辨证逻辑的基本方法是将辨证逻辑 问题通过划分和时空定位，转化为形式 逻辑问题。 逻辑学中的基本问题 刚性逻辑学和柔性逻辑学 ? ???? 数理逻辑柔性化的三个方向 1不精确推理：二值逻辑?连续值逻辑 三值 概率 模糊 多值 模态 2信息不完全：全信息逻辑?非全信息逻辑 归纳 类比 容错 非单调 弗协调 开放 3动态变化：一维逻辑?高维逻辑 四值 八值 动态 区间 粗糙 灰色 ?众多现代逻辑需要在新的理论框架下统一 不精确推理：二值逻辑?连续值逻辑 关键1：命题真值连续变化的逻辑意义 关键2：命题连接词及其运算模型 逻辑意义：整体判断和局部判断 命题连接词及其运算模型 ?已经提出不少连续值逻辑定义 ?受传统逻辑学思想束缚，运算模型唯一 ?T-范数发现了许多连续变化的算子簇，但