欢迎来到天天文库
浏览记录
ID:1151992
大小:2.08 MB
页数:47页
时间:2017-11-08
《广义智能科学的逻辑基础探讨》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、广义智能科学的逻辑基础探讨西北工业大学计算机学院何华灿2004年09月11日于秦皇岛一逻辑是智能的基本科学问题吗?对这个问题的回答经历了早期:狭义智能的完全肯定√中期:知识工程的部分动摇?计算智能的完全否定现在:探索广义下的肯定答案解决这个问题的重大意义有助于深刻认识智能的本质为智能科学奠定重要理论基础使人工智能有统一的可靠的逻辑基础,这是由实证科学向理论科学过渡和由定性向定量转型的必要条件深刻的比喻尽管人类很早就通过形体、结构和遗传进化认识了生物和生命,但直到发现了DNA,才真正开始认识生物和生命的本质。人类
2、基因组计划如高贵的人和卑微的黑猩猩比较DNA的差别小于几%!逻辑学是思维和智能的DNAL计划根据1:工生命的重要启示人工生命中的研究结果L-系统细胞机DNA是生命系统的逻辑规则生物体只是这些逻辑规则的语义解释和物理实现根据2:蓬勃发展的现代逻辑与AI界有人放弃逻辑不同,有些逻辑学家认为人工智能是现代逻辑学发展的原动力他们在努力拓展经典数理逻辑,以适应计算机科学,计算语言学和人工智能发展的需要,取得了丰硕成果,这集中反映在现代逻辑的“圣经”《哲学逻辑手册》中。适应智能科学需要的逻辑已初现端倪!问题的关键何在?智
3、能科学要处理矛盾和不确定,如:不精确不完全动态演化人工智能只能使用数学化的逻辑而经典数理逻辑不考虑矛盾和不确定辩证逻辑能处理内在矛盾性和外在不确定性,辩证逻辑能够数学化吗?关键:探索数理辩证逻辑二广义智能科学对逻辑学的需求什么是广义智能观智能广泛存在于自然界中。(涂序彦等)广义智能是信息系统感知环境及其变化,通过自身结构和功能的改变,恰当而有效地对其作出反映,以适应环境,达到系统生存目标的能力。(何华灿)广义智能是一切可把广义信息广义知识广义智力的机制和方法(钟义信)什么是广义逻辑观逻辑是自然界一切事物及其
4、变化的一般规则和规范。(何华灿)逻辑和具体科学及哲学的关系与区别科学具体研究某类对象的变化规律哲学抽象研究整个自然的变化规律逻辑抽象研究自然变化的规则和规范逻辑侧重规则和规范,科学侧重原理逻辑有多种形态,如二值逻辑/二值图象看多值逻辑/灰度图象墨多维逻辑/彩色图象之缺省逻辑/缺省图象舞动态逻辑/动画视频结构和过程都是逻辑的具体实现事物的三种等价描述相互渗透不可分逻辑规则描述事物用推理演算解决知识结构描述事物用搜索策略解决演化过程描述事物用寻优过程解决例如可从三个不同侧面观看芭蕾舞:从形体上看是人体结构的变化从能量上看
5、是能量变换的过程从信息上看是思维逻辑的演绎三个中一个为主,其他是伴随的附件人工生命使我们想的更大胆,更深入!广义智能科学理论体系基本需求:数理逻辑柔性化逻辑学分为:★形式逻辑研究具有内在同一性和外在确定性的概念、命题之间的必然联系;★辨证逻辑研究具有内在矛盾性和外在不确定性的概念、命题之间的必然联系。研究辨证逻辑的基本方法是将辨证逻辑问题通过划分和时空定位,转化为形式逻辑问题。逻辑学中的基本问题刚性逻辑学和柔性逻辑学辨证逻辑的数学化得到非经典数理逻辑,它是柔性逻辑学(Flexibilitylogics)形式逻辑的数
6、学化得到经典数理逻辑,它是刚性逻辑学(Rigidlogics)数理逻辑柔性化的三个方向1不精确推理:二值逻辑连续值逻辑三值概率模糊多值模态2信息不完全:全信息逻辑非全信息逻辑归纳类比容错非单调弗协调开放3动态变化:一维逻辑高维逻辑四值八值动态区间粗糙灰色众多现代逻辑需要在新的理论框架下统一不精确推理:二值逻辑连续值逻辑关键1:命题真值连续变化的逻辑意义关键2:命题连接词及其运算模型逻辑意义:整体判断和局部判断命题连接词及其运算模型已经提出不少连续值逻辑定义受传统逻辑学思想束缚,运算模型唯一T-范数发现了许多
7、连续变化的算子簇,但不知道不什么物理意义。认识到不同情况需要不同的运算模型关键是转变传统观念,找到适应不同情况的自适应机制和调整参数信息不全:全信息逻辑非全信息逻辑关键1:如何补充和修正假设命题关键2:如何处理假设命题带来的各种问题目前是在二值逻辑基础上放宽对推理的前提条件应该全部已知的限制,允许部分条件缺省,然后利用先验或后验的信息进行补充和修正。产生和修正假设命题的方法不同,就形成了不同的逻辑(和附加机制)。如不完全归纳类比案例发现信念等假设命题造成了推理过程的非单调性、弗协调性、开放性等。非全信息逻辑主
8、要是研究附加机制。动态变化:一维逻辑高维逻辑关键1:伪偏序逻辑的蕴涵如何定义?关键2:从整数维实数维可能吗?可拓逻辑有更多的变化机制(蔡文)人工生命系统的经验为什么天下没有完全相同的叶子生物体内部如此完美地协调生物和它存在的环境如此和谐因为它的逻辑规则中存在随机参数、内部动态平衡参数、对环境敏感的参数
此文档下载收益归作者所有