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

 广义智能科学的 逻辑基础探讨 ;? ???? ;对这个问题的回答经历了 早期：狭义智能的完全肯定 √ 中期：知识工程的部分动摇 ？ 计算智能的完全否定 ? 现在：探索广义下的肯定答案 ?;解决这个问题的重大意义 ?有助于深刻认识智能的本质 ?为智能科学奠定重要理论基础 ?使人工智能有统一的可靠的逻辑基础，这是由实证科学向理论科学过渡和由定性向定量转型的必要条件;深刻的比喻 ?尽管人类很早就通过形体、结构和遗传进化认识了生物和生命，但直到发现了 DNA，才真正开始认识生物和生命的本质。 人类基因组计划 如 高贵的人和卑微的黑猩猩比较 DNA的差别小于几%！ ?逻辑学是思维和智能的DNA L计划;根据1：工生命的重要启示 ?人工生命中的??究结果 L-系统 细胞机 ?DNA是生命系统的逻辑规则 生物体只是这些逻辑规则的语义解释和物理实现; ? ????;问题的关键何在？ ?智能科学要处理矛盾和不确定，如： 不精确 不完全 动态 演化 ?人工智能只能使用数学化的逻辑 而经典数理逻辑不考虑矛盾和不确定 ?辩证逻辑能处理内在矛盾性和外在不确定性,辩证逻辑能够数学化吗？ 关键：探索数理辩证逻辑;二 广义智能科学 对逻辑学的需求;什么是广义智能观 ?智能广泛存在于自然界中。（涂序彦等） ?广义智能是信息系统感知环境及其变化，通过自身结构和功能的改变，恰当而有效地对其作出反映，以适应环境，达到系统生存目标的能力。（何华灿） ?广义智能是一切可把广义信息?广义知识?广义智力的机制和方法（钟义信）;什么是广义逻辑观 ?逻辑是自然界一切事物及其变化的一般规则和规范。（何华灿） ?逻辑和具体科学及哲学的关系与区别 科学 具体研究某类对象的变化规律 哲学 抽象研究整个自然的变化规律 逻辑 抽象研究自然变化的规则和规范 逻辑侧重规则和规范，科学侧重原理 ;?逻辑有多种形态，如 二值逻辑/二值图象 看 多值逻辑/灰度图象 墨 多维逻辑/彩色图象 之 缺省逻辑/缺省图象 舞 动态逻辑/动画 视频;?结构和过程都是逻辑的具体实现 事物的三种等价描述 相互渗透不可分 逻辑规则描述事物 用推理演算解决 知识结构描述事物 用搜索策略解决 演化过程描述事物 用寻优过程解决 例如 可从三个不同侧面观看芭蕾舞： 从形体上看 是人体结构的变化 从能量上看 是能量变换的过程 从信息上看 是思维逻辑的演绎 三个中一个为主，其他是伴随的附件 人工生命使我们想的更大胆，更深入！; 广义智能科学理论体系 ; ;逻辑学中的基本问题;刚性逻辑学和柔性逻辑学; ? ????; ;逻辑意义：整体判断和局部判断;命题连接词及其运算模型 ?已经提出不少连续值逻辑定义 ?受传统逻辑学思想束缚，运算模型唯一 ?T-范数发现了许多连续变化的算子簇，但不知道不什么物理意义。 ?认识到不同情况需要不同的运算模型 ?关键是转变传统观念，找到适应不同情况的自适应机制和调整参数; ? ????;?目前是在二值逻辑基础上放宽对推理的前提条件应该全部已知的限制，允许部分条件缺省，然后利用先验或后验的信息进行补充和修正。 ?产生和修正假设命题的方法不同，就形成了不同的逻辑（和附加机制）。如 不完全归纳 类比 案例 发现 信念等 ?假设命题造成了推理过程的非单调性、 弗协调性、开放性等。 ?非全信息逻辑主要是研究附加机制。;