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

《人工智能的逻辑基础初探何华灿(西北大学)课件》由会员分享，可在线阅读，更多相关《人工智能的逻辑基础初探何华灿(西北大学)课件（47页珍藏版）》请在装配图网上搜索。

1、单击此处编辑母版标题样式,,,*,单击此处编辑母版文本样式,,第二级,,第三级,,第四级,,第五级,,,广义智能科学的 逻辑基础探讨,,西北工业大学计算机学院,何华灿,,,2004年09月11日 于秦皇岛,,,一,,逻辑是智能的,,基本科学问题吗？,,,,对这个问题的回答经历了,,早期,：狭义智能的完全肯定,√,,,中期,：知识工程的部分动摇,？,,计算智能的完全否定,,,,现在,：探索广义下的肯定答案,,,解决这个问题的重大意义,,,有助于深刻认识智能的本质,,,为智能科学奠定重要理论基础,,,使人工智能有统一的可靠的逻辑基础，这是由实证科学向

2、理论科学过渡和由定性向定量转型的必要条件,,深刻的比喻,,,尽管人类很早就通过形体、结构和遗传进化认识了生物和生命，但直到发现了 DNA，才真正开始认识生物和生命的本质。,人类基因组计划,,,如,高贵的,人,和卑微的,黑猩猩,比较,,DNA的差别小于几%！,,,逻辑学是思维和智能的DNA,L,计划,,根据1：工生命的重要启示,,,人工生命中的研究结果 L-系统 细胞机,,,DNA是生命系统的逻辑规则 生物体只是这些逻辑规则的语义解释和物理实现,,,,,,根据2：蓬勃发展的现代逻辑,,,与AI界有人放弃逻辑不同，有些逻辑学家认为人工智能是现代逻辑学发展的,原动力,,,,他们在努力

3、拓展经典数理逻辑，以适应计算机科学，计算语言学和人工智能发展的需要，取得了丰硕成果，这集中反映在现代逻辑的“圣经”《哲学逻辑手册》中。,,,适应智能科学需要的逻辑已,初现端倪！,,,,问题的关键何在？,,,智能科学要处理矛盾和不确定，如：,,不精确 不完全 动态 演化,,,人工智能只能使用数学化的逻辑,,而经典数理逻辑不考虑矛盾和不确定,,,辩证逻辑能处理内在矛盾性和外在不确定性,辩证逻辑能够数学化吗？,,关键：探索数理辩证逻辑,,二,,广义智能科学,,对逻辑学的需求,,,什么是广义智能观,,,智能广泛存在于自然界中。,（涂序彦等）,,,广义智能,是信息系统感知环境及其变化，

4、通过自身结构和功能的改变，恰当而有效地对其作出反映，以适应环境，达到系统生存目标的能力。,（何华灿）,,,广义智能是一切可把广义信息广义知识广义智力的机制和方法,（钟义信）,,,,什么是广义逻辑观,,,逻辑是自然界一切事物及其变化的一般规则和规范。,（何华灿）,,,逻辑和具体科学及哲学的关系与区别,,科学 具体研究某类对象的变化规律,,哲学 抽象研究整个自然的变化规律,,逻辑 抽象研究自然变化的规则和规范,,逻辑侧重规则和规范，科学侧重原理,,,,逻辑有多种形态，如,,二值逻辑/二值图象,看,,多值逻辑/灰度图象,墨,,多维逻辑/彩色图象,之,,缺省逻辑/缺省图象,舞,,动态逻辑/

5、动画 视频,,,结构和过程都是逻辑的具体实现,,事物的三种,等价,描述 相互渗透不可分,,,逻辑,规则描述事物 用推理演算解决,,知识,结构,描述事物 用搜索策略解决,,演化,过程,描述事物 用寻优过程解决,,例如 可从三个不同侧面观看芭蕾舞：,,从,形体,上看 是人体结构的变化,,从,能量,上看 是能量变换的过程,,从,信息,上看 是思维逻辑的演绎,,三个中一个为,主,，其他是伴随的,附件,,人工生命使我们想的更大胆，更深入！,,,,广义,智能科学理论体系,,,,,,,,,基本需求：数理逻辑柔性化,,,逻辑学分为：,,★,形式逻辑,研究具有内在同一性和外在确定性的概念、命题之

6、间的必然联系；,,★,辨证逻辑,研究具有内在矛盾性和外在不确定性的概念、命题之间的必然联系。,,,研究辨证逻辑的,基本方法,是将辨证逻辑,,问题通过,划分和时空定位,，转化为形式,,逻辑问题。,,,,逻辑学中的基本问题,,刚性逻辑学和柔性逻辑学,,辨证逻辑的数学化得到非经典数理逻辑，它是,柔性逻辑学,,(Flexibility,,logics),,,形式逻辑的数学化得到经典数理逻辑，它是,刚性逻辑学,,,(Rigid logics),,,,,,数理逻辑柔性化的三个方向,,1不精确推理,：,二值逻辑,,连续值逻辑,,三值 概率 模糊 多值 模态,,2信息不完全,：,全信息逻辑,,非全信

7、息逻辑,,归纳 类比 容错 非单调 弗协调 开放,,3动态变化,：,一维逻辑,,高维逻辑,,四值 八值 动态 区间 粗糙 灰色,,,众多现代逻辑需要,在新的理论框架下统一,,,,,不精确推理：二值逻辑,,连续值逻辑,,关键1：命题真值连续变化的逻辑意义,,关键2：命题连接词及其运算模型,,,,逻辑意义：,整体判断和局部判断,,命题连接词及其运算模型,,,已经提出不少连续值逻辑定义,,,受传统逻辑学思想束缚，运算模型唯一,,,T-范数发现了许多连续变化的算子簇，但不知道不什么物理意义。,,,认识到不同情况需要不同的运算模型,,,关键是转变传统观念，找到适应不同情况的自适应机制和调

8、整参数,,,,,,,,,,,,信息不全：全信息逻辑,,非全信息逻辑,,关键1：如何补充和修正假设命题,,关键2：如何处理假设命题带来的各种问题,,,目前是在二值逻辑基础上放宽对推理的前提条件应该全部已知的限制，允许部分条件缺省，然后利用先验或后验的信息进行补充和修正。,,,产生和修正假设命题的方法不同，就形成了不同的逻辑（和附加机制）。如,,不完全归纳 类比 案例 发现 信念等,,,假设命题造成了推理过程的非单调性、,,弗协调性、开放性等。,,,非全信息逻辑主要是研究附加机制。,,,,,,,,,,,,动态变化：一维逻辑,,高维逻辑,,关键1：伪偏序逻辑的蕴涵如何定义？,,关键2：从

9、整数维实数维可能吗？,,可拓逻辑有更多的变化机制,（蔡文）,,人工生命系统的经验,,为什么,,天下没有完全相同的叶子,,生物体内部如此完美地协调,,生物和它存在的环境如此和谐,,因为,,它的逻辑规则中存在随机参数、内部动态平衡参数、对环境敏感的参数等,,逻辑学中需要而且可能引入许多附加参数和自适应机制,,数理辩证逻辑的统一之路,,,经典数理逻辑已经是一个完整的理论体系，但它只能处理具有内在同一性和外在确定性的推理问题，它的各种逻辑学要素都是固定不变的，没有调整机制。,,,数理辩证逻辑需要在经典数理逻辑的基础上，根据辨证处理具有内在矛盾性和外在不确定性事物的划分和时空定位规律，引入各种柔性参

10、数和调整机制。,,,,,,,,,,,,统一考虑多值性和非全信息性,,,,,,,,,,,,统一考虑各种不确定性,,三,,泛逻辑学研究,,纲要及初步成果,,,1 泛逻辑学的研究纲要,,,泛逻辑学的总纲领是从顶层研究逻辑学的一般规律，建立统一而又开放的逻辑学理论架构，以规范和指导现代逻辑学研究，实现数理逻辑的柔性化。,,,核心问题是在数理逻辑中引入柔性机制,,,包容各种矛盾和不确定性,,,任何逻辑都有语法规则和语义解释两部分,,,语法规则中至少有四个要素可柔性化：,,1.1 建立柔性真值域,,命题真值的度量空间必须是有序空间，可是,线序,、,偏序,或,超序,。,,真值域的一般形式,是多维超序

11、空间,,,W,＝{,,}∪[0,1],n,<,,>,n,＞0,,其中[0,1]是,基空间,，,n,是,维数,，,,表示,无定义,或超出范围，可没有;,,是有限符号串，代表命题的,附加参数,，可是,,,。,,1.2 建立柔性连接词,,命题连接词由运算模型定义，我们根据模糊测度的逻辑性质研究发现了柔性逻辑在,W,＝[0,1],上定义的命题连接词,有7,个,,,泛非 泛与 泛或 泛蕴含,,泛等价 泛平均 泛组合,,柔性命题连接词的运算模型是连续变化的算子簇,,,它随调整参数变化，可描述柔性命题间关系的不确定性（,关系柔性,）。,,,1.3 建立柔性量词,,,定义在,W,上的柔

12、性量词有：,,,标志命题真值阈元的,阈元量词,♂,k,,标志假设命题的,假设量词,$,k,,约束个体变元范围的,范围量词,∮,,,指示个体变元的相对位置的,位置量词,♀,,,改变真值分布过渡特性的,过渡量词,∫,,,其中参数,k,,,,表示约束条件，称为,程度柔性,,柔性量词可描述各种约束的不确定性。,,1.4 建立柔性推理模式,,柔性推理模式有上述三要素上定义的,,,演绎推理 归纳推理 类比推理,,假设推理 发现推理 进化推理,,由于在柔性连接词和柔性量词中都有柔性参数存在，这些推理模式不是决然分开的，可在一定条件下相互转化，由量变引起质变，称这种柔性

13、为,模式柔性,。,,模式柔性可描述推理模式的不确定性。,,由于柔性逻辑学中允许真值柔性、维数柔性、关系柔性、程度柔性和模式柔性存在，具有与内外交互的附加参数，可以,,描述,矛盾的对立统一及矛盾的转化,过程,,描述,认识的发生、发展和完善,的全过程,,这为,辩证逻辑的数学化,提供了可能性,,这些都是智能科学技术中急需解决的重大问题,,,逻辑学的语义解释赋予各种逻辑学符号,,0 1 P Q R,    ,,以具体的物理意义，以便描述和解决现实世界的具体问题。,,,同一个语法规则通过不同的语义解释可以派生出不同的逻辑，如开关逻辑、图形逻辑、语言逻辑等,,2 建立柔性逻辑学的“新四论”,

14、,,“,四论,”为经典数理逻辑奠定了严格的数学基础，保证了它的,可靠性和完备性,。数理逻辑柔性化后，引入了表示各种表示矛盾和不确定性的逻辑学要素，作为逻辑学数学基础的“四论”也要发生相应的变化，所以建立与柔性逻辑学相适应的“,新四论,”是一个十分重要的任务，它是柔性逻辑学成熟的标志。,,,我们特别注意到，集合、逻辑和代数是一个事物的三个不同方面：,集合,是事物的外延；,逻辑,是事物的内涵；,代数,则描述了集合和逻辑的共同数学性质，它们是三位一体的关系。一种逻辑学理论，必然有一种集合理论和代数理论与之对应，充分利用这种,三位一体的关系,，可以加快集合、逻辑和代数理论的协同发展。,,,,目前

15、泛逻辑学还是个待实现的研究纲要,,3 已初步建立起柔性命题逻辑,,,能否在经典数理逻辑基础上，增加各种柔性参数和自适应调整机制，包容矛盾和不确定性，实现辩证逻辑的数学化？,,,各种逻辑的基础是它的命题逻辑，命题演算是逻辑学必须首先确立的奠基石。,,,我们已经在模糊测度的逻辑性质、三角范数Schweizer算子簇和Lukasiewicz连续值逻辑的基础上，引入柔性参数和自适应调整机制，建立了柔性命题逻辑学,,主要的运算模型簇,,1. 泛非命题连接词的运算模型簇,,N,(,x,,,k,)＝(1－,x,n,),1,/n,,n,＝－1/log,2,k,,,k,,[0,1],,2. 泛与命题连接

16、词的运算模型,,,T,(,x,,,y,,,h,,,k,)＝(max(0,,x,nm,＋,y,nm,－1)),1,/nm,,,m,＝(3－4,h,)/(4h(1－h)),,h,,[0,1],,3. 泛或命题连接词的运算模型,,S,(,x,,,y,,,h,,,k,)＝,N,(,T,(,N,(,x,,,k,) ,,N,(,y,,,k,),,h,,,k,) ,,k,),,4. 泛蕴涵命题连接词的运算模型,,I,(,x,,,y,,,h,,,k,)＝(min(1,1－,x,nm,＋,y,nm,)),1,/nm,,,,,,影响柔性逻辑运算模型的因素有,,,模糊测度的误差,，用误差系数k表示,,k=1最大

17、正误差 k=0.5没误差,,k=0最大负误差,,,广义相关性,，用广义相关性系数h表示,,h=1最大相吸 h=0.75独立相关,,h=0.5最大相斥 h=0最大相克,,,不平等性，用偏袒系数p表示,,p=1最大左偏袒 p=0.5没有偏袒,,p=0最大右偏袒,柔性逻辑运算模型簇,,,,命题泛逻辑学的应用,,,逻辑生成器,,已经生成许多已有和未知的命题逻辑,,,统一了不精确推理理论,,,是进一步建立柔性谓词逻辑的基础,,,柔性控制（一切可以运用模糊逻辑、概率论、证据理论、近似推理的地方，原则上都可以用柔性命题逻辑）,,,建立统一的不精

18、确推理理论,,,可包容：,,,基于概率的各种推理模型,,基于模糊逻辑的推理模型,,基于信任测度的推理模型,,基于似然测度的推理模型,,基于必然测度的推理模型,,基于可能测度的推理模型,,,,进一步的研究工作,,,,理论上证明这套运算系统的和谐性,,同一个h,k，不同的h,k,,,应用上广泛应用各种不精确推理,,指导新逻辑学研究 分形逻辑,,,逻辑学上进一步建立柔性谓词逻辑学,,,,ML代数（剩余格）,,,,MTL,,代,,数,,WNM代数,IMTL代数,∏MTL代数,,,BL,,代,,数,,乘积代数,(h=0.75),,MV代数(正规FI代数),,(h=0.5),Godel代数,(h=1),,Boole 代数,Lindenbaum代数,NM,,代,,数,,(R,0,),部分代数系统之间的关系,,,,,,欢迎提问,,,,,谢 谢！,,,,,,