人工智能的逻辑基础初探.pptx

人工智能的逻辑基础初探.pptx

《人工智能的逻辑基础初探.pptx》由会员分享，可在线阅读，更多相关《人工智能的逻辑基础初探.pptx（47页珍藏版）》请在冰点文库上搜索。

广义智能科学的逻辑基础探讨西北工业大学计算机学院何华灿2004年09月11日于秦皇岛一逻辑是智能的基本科学问题吗？

对这个问题的回答经历了对这个问题的回答经历了早期早期：

狭义智能的完全肯定中期中期：

知识工程的部分动摇？

计算智能的完全否定现在现在：

探索广义下的肯定答案解决这个问题的重大意义解决这个问题的重大意义有助于深刻认识智能的本质为智能科学奠定重要理论基础使人工智能有统一的可靠的逻辑基础，这是由实证科学向理论科学过渡和由定性向定量转型的必要条件深刻的比喻深刻的比喻尽管人类很早就通过形体、结构和遗传进化认识了生物和生命，但直到发现了DNA，才真正开始认识生物和生命的本质。

人类基因组计划如高贵的人人和卑微的黑猩猩比较DNA的差别小于几%！

逻辑学是思维和智能的DNAL计划根据1：

工生命的重要启示人工生命中的究果研结L-系胞机统细DNA是生命系的生物体只是统逻辑规则些的解和物理这逻辑规则语义释实现根据2：

蓬勃发展的现代逻辑与AI界有人放弃不同，有些逻辑逻辑学家人工智能是代展的认为现逻辑学发原动力原动力他在努力拓展典理，以适们经数逻辑应计算机科，算言和人工智能展的需学计语学发要，取得了丰成果，集中反映在代硕这现逻的“”哲手中。

辑圣经学逻辑册适智能科需要的已应学逻辑初现端倪！

初现端倪！

问题的关键何在？

智能科要理矛盾和不确定，如：

学处不精确不完全演化动态人工智能只能使用化的数学逻辑而典理不考矛盾和不确定经数逻辑虑能理在矛盾性和外在不确辩证逻辑处内定性,能化？

辩证逻辑够数学吗关键：

探索数理辩证逻辑关键：

探索数理辩证逻辑二广义智能科学对逻辑学的需求什么是广义智能观智能广泛存在于自然界中。

（涂序彦等）广智能是信息系感知境及其化，义统环变通自身和功能的改，恰而有效地过结构变当其作出反映，以适境，到系生存对应环达统目的能力。

标（何）华灿广智能是一切可把广信息义义广知义识广智力的机制和方法义（信）钟义什么是广义逻辑观是自然界一切事物及其化的一般逻辑变和范。

规则规（何）华灿和具体科及哲的系逻辑学学关与区别l科具体究某象的化律学研类对变规l哲抽象究整自然的化律学研个变规l抽象究自然化的和范逻辑研变规则规重和范，科重原理逻辑侧规则规学侧有多形，如逻辑种态l二值逻辑/二象值图看看l多值逻辑/灰度象图墨l多维逻辑/彩色象图之l缺省逻辑/缺省象图舞l动态逻辑/动画视频和程都是的具体结构过逻辑实现l事物的三种等价等价描述相互渗透不可分逻辑逻辑描述事物用推理演算解规则决知识结构结构描述事物用搜索策略解决演化过程过程描述事物用程解寻优过决l例如可三不同面看芭蕾舞：

从个侧观从形体形体上看是人体的化结构变从能量能量上看是能量的程变换过从信息信息上看是思的演维逻辑绎三中一个个为主主，其他是伴的随附件附件l人工生命使我想的更大胆，更深入！

们广义智能科学理论体系基本需求：

数理逻辑柔性化分：

逻辑学为形式逻辑究具有在同一性和外在研内确定性的念、命之的必然系；概题间联辨证逻辑究具有在矛盾性和外在研内不确定性的念、命之的必然系。

概题间联究辨的研证逻辑基本方法是辨将证逻辑通问题过划分和时空定位，化形式转为。

逻辑问题逻辑学中的基本问题刚性逻辑学和柔性逻辑学辨的化得证逻辑数学到非典理，经数逻辑是它柔性逻辑学（Flexibilitylogics）形式的化得逻辑数学到典理，经数逻辑它是刚性逻辑学（Rigidlogics）数理逻辑柔性化的三个方向1不精确推理：

二值逻辑二值逻辑连续值逻辑连续值逻辑三率模糊多模值概值态2信息不完全：

全信息逻辑全信息逻辑非全信息逻辑非全信息逻辑比容非弗放归纳类错单调协调开3化：

动态变一维逻辑一维逻辑高维逻辑高维逻辑四八粗糙灰色值值动态区间多代需要众现逻辑在新的理论框架下统一在新的理论框架下统一不精确推理：

二值逻辑连续值逻辑关键1：

命化的意题真值连续变逻辑义关键2：

命接及其算模型题连词运逻辑意义：

整体判断和局部判断命接及其算模型题连词运已提出不少定经连续值逻辑义受思想束，算模型唯传统逻辑学缚运一T-范了多化的算子簇数发现许连续变，但不知道不什物理意。

么义到不同情需要不同的算模型认识况运是念，找到适不同关键转变传统观应情的自适机制和整况应调参数信息不全：

全信息逻辑非全信息逻辑关键1：

如何充和修正假命补设题关键2：

如何理假命的各处设题带来种问题目前是在二基上放推理的值逻辑础宽对前提件全部已知的限制，允部分条应该许件缺省，然后利用先或后的信息条验验进行充和修正。

补生和修正假命的方法不同，就形产设题成了不同的（和附加机制）。

如逻辑不完全比案例信念等归纳类发现假命造成了推理程的非性、设题过单调弗性、放性等。

协调开非全信息主要是究附加机制。

逻辑研动态变化：

一维逻辑高维逻辑关键1：

偏序的涵如何定？

伪逻辑蕴义关键2：

整可能？

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

变没调理需要在典理的基数辩证逻辑经数逻辑上，根据辨理具有在矛盾性和外础证处内在不确定性事物的分和空定位律，划时规引入各柔性和整机制。

种参数调统一考虑多值性和非全信息性统一考虑各种不确定性三泛逻辑学研究纲要及初步成果1泛逻辑学的研究纲要泛的是究的逻辑学总纲领从顶层研逻辑学一般律，建立一而又放的理规统开逻辑学论架，以范和指代究，构规导现逻辑学研实现理的柔性化。

数逻辑核心是在理中引入柔性机制问题数逻辑包容各种矛盾和不确定性包容各种矛盾和不确定性任何都有法和解部分逻辑语规则语义释两法中至少有四要素可柔性化：

语规则个1.1建立柔性真值域l命的度量空必是有序空，题真值间须间可是线序线序、偏序偏序或超序超序。

l真值域的一般形式真值域的一般形式是多超序空维间W0,1nn0其中0,1是基空间基空间，n是维数维数，表示无定义无定义或超出范，可有围没;是有限符串，代表命的号题附加参数附加参数，可是。

1.2建立柔性连接词命接由算模型定，我根据题连词运义们模糊度的性究了柔性测逻辑质研发现逻在辑W0,1上定的命接有义题连词7个泛非泛与泛或泛蕴含泛非泛与泛或泛蕴含泛等价泛平均泛组合泛等价泛平均泛组合柔性命接的算模型是化题连词运连续变的算子簇,整化，可描述它随调参数变柔性命系的不确定性（题间关关系柔关系柔性性）。

1.3建立柔性量词定在义W上的柔性量有：

词志命元的标题真值阈阈元量词阈元量词k志假命的标设题假设量词假设量词$k束体元范的约个变围范围量词范围量词指示体元的相位置的个变对位置量词位置量词改分布渡特性的变真值过过渡量词过渡量词其中参数k,表示束件，约条称为程度柔程度柔性性柔性量可描述各束的不确定性。

词种约1.4建立柔性推理模式柔性推理模式有上述三要素上定的义演绎推理归纳推理类比推理演绎推理归纳推理类比推理假设推理发现推理进化推理假设推理发现推理进化推理由于在柔性接和柔性量中都有柔性连词词存在，些推理模式不是然分的参数这决开，可在一定件下相互化，由量引起条转变，柔性质变称这种为模式柔性模式柔性。

模式柔性可描述推理模式的不确定性。

由于柔性中允柔性、逻辑学许真值维数柔性、系柔性、程度柔性和模式柔性关存在，具有外交互的附加，可与内参数以描述矛盾的对立统一及矛盾的转化矛盾的对立统一及矛盾的转化过程描述认识的发生、发展和完善认识的发生、发展和完善的全过程这为辩证逻辑的数学化辩证逻辑的数学化提供了可能性些都是智能科技中急需解的重这学术决大问题的解予各符逻辑学语义释赋种逻辑学号01PQR以具体的物理意，以便描述和解义决现世界的具体。

实问题同一法通不同的解可个语规则过语义释以派生出不同的，如、形逻辑开关逻辑图、言等逻辑语逻辑2建立柔性逻辑学的“新四论”“四论四论”典理奠定了格的为经数逻辑严数学基，保了的础证它可靠性和完备性可靠性和完备性。

理数逻柔性化后，引入了表示各表示矛盾和不辑种确定性的要素，作基逻辑学为逻辑学数学础的“四”也要生相的化，所以建立论发应变与柔性相适的“逻辑学应新四论新四论”是一十分重个要的任，是柔性成熟的志。

务它逻辑学标我特注意到，集合、和代是们别逻辑数一事物的三不同方面：

个个集合集合是事物的外延；逻辑逻辑是事物的涵；内代数代数描述了则集合和的共同性，是三位逻辑数学质它们一体的系。

一理，必然有一关种逻辑学论集合理和代理之，充分利种论数论与对应用这种三位一体的关系三位一体的关系，可以加快集合、和代理的同展。

逻辑数论协发目前泛是待的究要逻辑学还个实现研纲3已初步建立起柔性命题逻辑能否在典理基上，增加各经数逻辑础种柔性和自适整机制，包容矛盾和参数应调不确定性，的化？

实现辩证逻辑数学各的基是的命，命种逻辑础它题逻辑题演算是必首先确立的奠基石。

逻辑学须我已在模糊度的性、三角们经测逻辑质范数Schweizer算子簇和Lukasiewicz连的基上，引入柔性和自适续值逻辑础参数整机制，建立了柔性命应调题逻辑学主要的运算模型簇1.泛非命接的算模型簇题连词运N（x,k）（1xn）1/nn1/log2k,k0,12.泛命接的算模型与题连词运T（x,y,h,k）（max（0,xnmynm1）1/nmm（34h）/（4h（1h）,h0,13.泛或命接的算模型题连词运S（x,y,h,k）N（T（N（x,k）,N（y,k）,h,k）,k）4.泛涵命接的算模型蕴题连词运I（x,y,h,k）（min（1,1xnmynm）1/nm影响柔性逻辑运算模型的因素有模糊度的差测误，用差系误数k表示k=1最大正差误k=0.5差没误k=0最大差负误广相性义关，用广相性系义关数h表示h=1最大相吸h=0.75立相独关h=0.5最大相斥h=0最大相克不平等性，用偏袒系数p表示p=1最大左偏袒p=0.5有偏袒没p=0最大右偏袒柔性算模型簇逻辑运命题泛逻辑学的应用生成器逻辑已生成多已有和未知的命经许题逻辑一了不精确推理理统论是一步建立柔性的基进谓词逻辑础柔性控制（一切可以用模糊、运逻辑概率、据理、近似推理的地方，原论证论则上都可以用柔性命）题逻辑建立统一的不精确推理理论可包容：

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