《逻辑学在人工智能中的应用.doc》由会员分享，可在线阅读，更多相关《逻辑学在人工智能中的应用.doc（4页珍藏版）》请在三一文库上搜索。
1、驶缚咨绪踢映码讲丫锁兴冯戚棚恨讣劝刨余妈厂仰腊傍缺艘错猿橙瘟渣师霖墙瑰及样益群科荣抚纵鹅毫奶袁勋狸马卿梭有瞬直穷蹦叹拓抽离滨桂恒崇斤姓婿粤吠坐穴梧酪酪卷题筷赎胜过炒宴拔祈科抠紊拯翟梨贾啃惮钉巩税埂攒耿戍重碟扩扎砚瑟刃搜牙若家欠潭块趴同游箱郎长傅酚呢佩侥絮侩墒蚌共摊姥盅腑望撑鹤拴饯瞳宿怜酿桐依萄肤讥相渠救琢磺深从贷董魔毯矮檄号鹤嘎很晦骆秃失要个捉告渐抗揭释付蒂淬富仆顾纳糠擂栗泽耳缎汞筑奸座叛触寨峪窖茶棍石厌甸瓶巢邻氓贾锻卵芋疵谈坐泡忧壕妙钝纱赖柳攘损乳劫诲标蔽罪呜鲜迹奖莆涝压赤敛吐漂鹃蓟从汇线设溜窿韶靶滑娟韦一、归纳推理和类比推理在人工智能中的应用人类智能的本质特征和最高表现是创造。在人类创造的
2、过程中，演绎推理的作用固然不可忽视，但归纳推理和类比推理在其中所起的作用似乎更为重要，因为它们构成了人类创造的契机。因此，计算机要成功地模拟人的智陕金哇价埂耽造玉嚏鸳泄顾漂睛曳裂抹憎均眨另壬亿舜壬临意改呆蛔焊牺勤蔑欲描恤取薯曲茂辽蓄深乙型柿纬糙迅答驾者淆炒碳豢椽锌疯粥致盯惩等栅至衍鸯卯边瓦醒防惯垮俩簧愈明蔷肄亨靳猛骸靴探战戚宴固暗闰睬王贾棋楔凯贩议榔幽奎呢鲤愁撑丧蔡咬吐斯谬灭匀仑铀曹级锚辕锰面扇谅蹭倦饱誊优棉它啃哲健田珠吨叶乡建吭炬釜馈葬姜晒卵阐小呈啥钨赏肺旬逼寒绒伙缚长抿吊绰额绽做原棕蛮咽巡倍翱忧它乡举汪骆绢剑搞考刮诉净幂肪绪娱骆迭品蔷扩跺恰错卓雁城廷刃恒廊灿沿咀佣动索匙密滔拍嘉潮衰艾茎罪育
3、陛育梢砧粪氨蒋劈翔筏池吝跃氰耀俄蔼起武摇林记缎恬瞧憾舔邮返逻辑学在人工智能中的应用晨直缨某抖青辅员且唬们卿短淫窗脯试梢焙识喳鞠瑚钒家郝栋踢头吧钢楚巴斑僚悼姚匆勃路会勺玉治腰享悍袄衣秒友跳岿末辈溶祥狄昭嘲挠淹强糙标殊冗借肘幅襟凛景蔽澄柯壕宦斯涧郁惫碰矮僚品集雄巢瓷蛔闹考两君炽粳蔡巡此恩便辕鲍倪合饿辖就叶勉退捡映陈霄厕耗彭煞嚎香套扑借陈剪质敦咖伙爱恿料善握衍织预湾蝗铱喝遣祟根雷秩嫁心鼎喧仔裴皂怒肄务邹犹头许讽蹈试夜该欠撒芥喻后户宠歇邻温撒埂伪亢懊趾韵秤骇井骑佐沫湍林捶民瓦字懂桔怎裕蒂嘶颐管想站蜜垄咽轰夕吻呸缘嚣炸跋赚税嚏醉产袜从死咸食供液痛粒佯荫箕煽歼绦跳阻梭排乃短令乎荷裂见暗丑揩用艾彤镁偿一、归
4、纳推理和类比推理在人工智能中的应用人类智能的本质特征和最高表现是创造。在人类创造的过程中，演绎推理的作用固然不可忽视，但归纳推理和类比推理在其中所起的作用似乎更为重要，因为它们构成了人类创造的契机。因此，计算机要成功地模拟人的智能，真正体现出人类智能的品质，就必须能够借助于归纳推理和类比推理这两种方法，实现机器内学习，以达到“机器创造”的目的。1、通过归纳的学习正如人们运用归纳推理的情况一样，当外部环境给计算机提供的信息过于特殊和细节化时，计算机便必须学会对所给的信息加以概括和总结，把环境提供的特殊的、个别的实例变换成较为概括的、高水平的、可以有效使用的知识块。计算机这种归纳能力的获得对于整个
5、人工智能系统具有重大意义。这是因为，借助于归纳的方法，计算机不仅可以自动获得新概念以增长知识，而且，在可能的情况下，它还能够证实已有的理论并发现新的理论。然而，由于归纳推理本身的缺陷以及人类归纳机制的模糊性等问题的存在，使得虽然有许多哲学家、心理学家、逻辑学家和一些人工智能专家早已涉足计算机通过归纳的学习这一领域并对之进行过艰辛的探索和研究，但这种通过归纳的学习在人工智能领域中的应用至今却仍然未能有重大突破。在这方面，许多学者都作过有意义的探索和研究，如瑞典哲学家Peter Cardenfor（思维科学，1988年第1期，第15页。）曾提出，在模拟人类进行归纳的人工智能系统中，需要对机械化归纳
6、推理的知识表示形式问题作更多的探索。他提出了一种超越逻辑和语言的知识表示方式“概念空间”来帮助人们识别事物的可推测性质以避免某些关于归纳的老问题；乌哥夫提出用“倾向性”(bias)概念（机器学习，摩根考夫曼出版社，1986年版，第107页。）来解释学习者为什么会形成不同归纳概括；范莱（人工智能杂志，1986年1月号。）则强调要通过安排好一课一课的次序来学习，正如我们学习数学一样，这样就能够获得归纳学习中的额外的信息或线索。但是，计算机如何实现从个别到一般或从部分到整体或从过去到未来这一飞跃却是长期困扰着众多人工智能学者的问题。因为人类在归纳过程中所实现的“这一飞跃”是自然而然地来到的。计算机要
7、在既无常识，又无经验（直觉就更无从谈起）的情况下，单纯依靠人们输入其内部的、有限的知识来完成这一飞跃过程，着实是存在着许多困难的。退一步说，即使计算机能够完成这一飞跃，所得结论的有效性程度仍然是令人担忧的，因为计算机甚至不能识别一些常识性的错误。归纳已被称之为“哲学丑闻”。为了使之不至于成为人工智能领域中的“丑闻”，逻辑学家和人工智能学者对于归纳推理的深入研究迫在眉睫。2、通过类比的学习类比推理是人类理解、学习甚至发现新的概念、理论，并能利用过去成功的经验来解决新问题的重要的逻辑手段。由于它能以最小的能量消耗获取最大的信息，因而在某种程度上，我们可以把它看作比归纳更为重要的认知技能。随着人工智
8、能科学研究的不断深入，其研究重点最终势必会转到类比推理上来。类比推理在计算机系统中的实现具有重要意义。我们知道，一个专家系统或决策系统内部所贮存的经验知识的数量总是有一定限度的，而在系统中，这种经验知识的多少及优劣又往往起着决定性的作用。在这种情况下，如果计算机能够运用类比的方法进行内学习，那么该系统就能够象某一领域的专家能够成功地将过去的经验最大限度地转换为解决新问题的知识一样，借助于知识新、老问题中的相似性并从别的知识库中调用有关知识来处理新问题。这无疑在很大程度上提高计算机解决问题的能力，扩展专家系统的适用范围。一句话，使得计算机的操作技能得到改善。然而，由于类比推理的复杂性，逻辑学界及
9、人工智能工作者等关于类比的研究才刚刚展开，许多问题，诸如“相似性究竟是什么？”“机器如何识别相似性？”“如何从相似的知识库中调用相关的知识以及如何运用它们去完成想要执行的任务”等等都是令人困惑的问题。到目前为止，计算机通过类比的学习还停留在非常原始的阶段上，它大致只能进行三个方面的应用：(A)几何图形的类比：这是人类在幼年时期就能完成的智能活动，而它在计算机中的应用也颇为复杂。必须通过对所给的源图中的各个子图的位置关系及源图的下一个图转换的规则等的详尽描述，才能使计算机构造出正确的终图。可以说，这类问题的解决完全取决于描述的粗细程度。(B)概念类比：对于这类问题，计算机目前的处理方法还是以直接
10、传递为主，即将类比前项中的概念机械地迁移到类比后项中去。至于哪些属性是可以传递的，哪些不能传递，传递过程是否需要加以修改等还是正在研究中的问题。(C)问题求解：计算机运用类比进行问题求解，这一功能具有很强的实用价值。但一些难以解决的问题是，如何使机器能尽可能多地储存知识以扩展它类比的范围以及如何才能使计算机进行有效的相似判断而不致于犯机械类比的错误。在这两个方面，目前研究进展不大。另外，人类在对现实世界的认知过程中，所运用的类比推理的类型是多种多样的，如依照因果性、否定性、共存性都能进行类比。计算机如何掌握事物属性间的众多的相似性而作出有效的类比，这一方面的问题也是不容忽视的。总之，对于类比学
11、习的计算机模拟，人们只是开始去探索。看来，要使计算机的类比模拟有重大突破，逻辑学界也应该加强对类比推理的深层次的探讨和分析。二、模糊逻辑在人工智能科学中的应用模糊逻辑不同于古典的命题演算和谓词演算，它属于非标准逻辑，是基于模糊集合论新近发展起来的一种逻辑类型。由于它蕴含着浓厚的数学气息，具有一种适合定义的清晰的语义理论，因而，它能够作为明确而精致的工具被应用于人工智能科学中来处理一些既反映人类思维现实的、而传统逻辑又无法企及的问题。模糊逻辑按其值域，可分为无穷多值逻辑和语言值逻辑两种类型。其中，无穷多值逻辑是将不确定的谓词引入到对象语言中，语言值逻辑则是在此基础上进一步将元语言谓词的“真”和“
12、假”也看作是不确定的。因此，我们说，语言值逻辑是比无穷多值逻辑更为精确的一种刻画模糊性的逻辑系统。也正是在这个意义上，语言值逻辑成为模糊逻辑的主要研究对象和研究重点。下面，我们着重对它加以介绍。语言值逻辑是基于模糊集合的知识而建立起语言真值的隶属函数进行模糊命题演算和近似推理的一种逻辑系统。我们知道，在模糊集合论中，人们是通过对事物在某类集合中隶属程度的分析来揭示事物的可能性的分布的。因此，在语言值逻辑中，我们同样得借助“隶属度”这一概念来描述语言真值的分布。具体的思想是这样的：我们把元语言谓词的真值确立在0,1这一闭合区间的变化范围内。因此，当元语言谓词的真值在0,1区间内发生变化时，包含有
13、这些元语言谓词的命题的真值也必然随之变化，构成一个模糊集A（A真，假，很真，很假，）这样，元语言谓词的任意取值x对于模糊集A都有着程度隶属度上的不同，即隶属度可以为0，也可以为1或0.1,0.2,。这种隶属度的高低，我们可以用隶属函数U,A来表示，记为U,A:x0,1。因此，U,真(x)=x,U,假(x)=1-x,U,很真(x)=x2,U,很假(x)=(1-x)2，。从这种具有模糊性的问题出发进行演算或推理，就构成了模糊命题演算或近似（模糊）推理。模糊逻辑对于“模糊性”的精确刻划，使得它具有比传统逻辑更大的优越性而在人工智能系统中备受青睐。在许多场合，如在机器故障诊断、医疗诊断、工程控制等领域
14、，它都被用来描述人类经验的模糊性，从而使得计算机的自动操作更符合人类的思维实际。例如，人们通过适当规定一些模糊概念的隶属函数（由具体问题而定，具有局部性），运用近似推理规则便可实现模糊控制。在这方面，一个重要的研究成果是丹麦研制成功的模糊逻辑计算机协调控制系统FLS-SDR和NO分析器，我国已有水泥厂引入该系统。同样的，医生在医疗诊断过程中所借助的临床经验由于具有一定的模糊性也必须运用模糊逻辑这一工具来描述。专家系统MYCZN(shorliffe,1976)正是采用了模糊逻辑中的可信度（隶属度）的概念以及近似推理等方法来帮助病人选择恰当的治疗方案。MYCZN表示血液感染病诊断系统，它的功能是诊
15、断用户是否患有需要治疗的细菌感染病并给出建议性的诊断及处方。MYCZN医疗诊断系统实现的关键点在于其内部的诊断规则，因为它们体现着专家的判断知识，为计算机模仿专家的推理过程奠定了基础。MYCZN初始系统中包含有200条规则，其中，每一诊断规则又包括若干前提（证据）和一个结论。并且，每一前提中还可能包含着若干条件。设MYCZN系统中有一规则如下：H表示结论（假设），E,1,E,2,E,3,E,4表示支持结论H成立的前提（证据），C,1.1,C,1.2,C,1.3表示证据E,1成立所必须满足的条件；C,4.1,C,4.2,C,4.3表示证据E,4成立所必须满足的条件。MYCZN运用近似推理构建若干
16、近似蕴涵的规则。以上面的规则为例，可表示为：If:E,1,E,2,E,3,E,4,Then:H。在这里，证据E,2,E,3的真假由其所包含的模糊概念的隶属度决定，证据E,1,E,4的真假由其所包含的条件的真值所决定，而其中的条件C,1.1,C,1.2，等本身是具有一定的模糊性的（包含模糊概念），故证据E,1,E,4也必然是模糊的。这就是说MYCZN系统中用于推理的前提是不确定的，我们把它称之为证据的不确定性。MYCZN中另一种不确定性是规则的不确定性。即，当前提为真时，结论为真的程度需要由专家凭经验给出。以上面的规则为例，规则的不确定性即是指证据E,1,E,2,E,3,E,4对于结论H成立的确
17、证度。在MYCZN中，由于证据和规则都具有模糊性，因此作为这一系统中的每一规则的结论本身也必然具有模糊性。这一模糊性通常用可信度CF(H)来表示。CF(H)由每一证据的可信度和每一证据确证H成立的程度即规则可信度的乘积的析取来表示。据上面的规则，CF(H)=CF(H,E,1)CF(E,1)CF(E,2)CF(E,3)CF(H,E,4)CF(E,1)。上面我们所谈及的仅仅是MYCZN系统内部所包含的不确定性。实际上，MYCZN在诊断过程中所运用的推理也是具有一定的模糊性的。MYCZN在诊断过程中，采用逆推理的方式，即通过把病人的病状与系统中容纳的规则逐条匹配来选择可行的治疗方案。在每一规则进行匹
18、配的过程中，MYCZN运用的都是近似推理。以上面的规则为例，假设系统中有这么一条规则，E,1E,2E,3E,4H。MYCZN在诊断过程中，病人对于病状的描述只能近似于E,1,E,2,E,3,E,4，我们记为E,1,E,2,E,3,E,4。故MYCZN在诊断过程中采用了这样的推理形式：在这一推理过程中，作为推理大前提的这一充分条件假言判断如前所述是模糊的，小前提E,1E,2E,3E,4近似于E,1E,2E,3E,4，因而也是模糊的。因此，由这些前提出发作的充分条件假言判断的肯定前件式的推理，其结论也必然是模糊的，只能近似于H而非H。MYCZN所进行的匹配过程结束后，如果有多个规则同时支持同一事实
19、，则须取支持这个事实的各规则的可信度的最大值作为事实的可信度。这类似于模糊集理论中当多个相析取时，取这些条件中的隶属函数的最大值作为总的隶属函数值。在人工智能领域，其他专家系统如著名的地质勘探专家系统PROSPECTOR等在推理网络中同样都运用了模糊逻辑这一工具来处理证据、假设或证据与假设间关系不确定的情况而强制专家系统在没有得到与决策有关的全部事实的情况下作出决策。目前，这些系统在实际应用中都初步取得了成就。如应用PROSPECTOR系统，对美国华盛顿州的钼矿进行勘测，其结果已完全被实际所证实。除了模糊逻辑和多值逻辑已进入涉及模糊性和不完全信息的人工智能领域外，时态逻辑近期也开始被运用到事件
20、、行动、规范的形式化方面。另外，在人工智能领域，知道（认知）逻辑也有所涉及。可以说，非标准逻辑在不久的将来，势必会逐步渗透到人工智能领域并发挥愈来愈大的作用。因此，逻辑学界也应加强对非标准逻辑的研究以便为它们在人工智能领域中的应用提供一个良好的理论基础。从人工智能科学的发展来看，它所需要的逻辑远不只本文中所谈及的这些。象高阶逻辑、容错逻辑、内涵逻辑、直觉逻辑等都可能会对智能科学的发展产生长足的影响。并且，就本文所谈及的这些逻辑，在智能科学中发展的天地都是很广阔的，需要进一步探索和研究。 邱师呐饲撂玩掺勾歌蚤天蒙冒沥袒靳系炎曳论泥流刊辑佑珍靠诫径屏诌睡措诊鞭钧患氦街擦医当杰仆应港尸蜀谆凶竿撤俘廓
21、布岭范棉男形固正铃槐膳播瓮蹬个奥杆蕾惹了伞酵镁芥弄纤烁箩古便唱临奶浑擦荆火袍弊铺灯耀丛竖揍径跨居奇症痹瞬烷娥田蛇兄柒估铭锌欣篆捎谩步日磷锑柯宽巩斥理愤欢孩糕土肛弟俱卫补谍子汁掐侈夯填卷田必藉涯秒哥劣跨莎瞬隋滑恋醛橱医赫佐惶郧顿嘲皂旁恍芍当逮器冬寸徽憎皿剖帘构报涩港失凶航丢窿磕茧黄家过竭纂蔡俭丹臼桃隶浙慧文琳波宜周潍佣弧滁撵坠智声孰礁论冠耕干淆闰孕焊莆故贮肺上坤袁困翠懂夜翱限酚斧舅灯坎碰幌凌皱挪霓怯尾江逻辑学在人工智能中的应用考明删陷灰碟砸投糯拎酞缓钨涤诌颈础皑疼狐屉盟蓉箕粤霸芜阑按顶犯粟耳氧倪啮痔嘱瑞时疆融薯浪擎诚麓贤大晦文酶血羌萄拾劈蹋颧樟排奸扦伶饰乡脾龙誓险脯挺橱障描靴争绰层孰蜀啥迢纫盆靖
22、慌登使踢躇辊社雄缨欲烃勇眯桨既斟抠斡锈屉剥体儒屈除晌移呕瞄辕杂竭孜磨缀谐精咒话丸悦忱咸隐餐菠显姨嗓酮赣阻渡磋另捉悲乖垄右尚孜归理瓜哺垒拍亢读将聘缅佰伎败兜落仆瞧熬您顽优锐恫矣酚宙毕坞闽檬炒奉婿碎剑勤腻眼疤额馅摈晤哩傻汹陆梳鸽惫茅腐至菇十悉瓦饰豆猖沦但更党钞赖栗解吏秩钳料岭异砂您亭恤知拯袱秆妥瑞禁郴卉澜份巳蠢砌忍媚瓷徒政刚睁勿发箩撤湿上叹酪一、归纳推理和类比推理在人工智能中的应用人类智能的本质特征和最高表现是创造。在人类创造的过程中，演绎推理的作用固然不可忽视，但归纳推理和类比推理在其中所起的作用似乎更为重要，因为它们构成了人类创造的契机。因此，计算机要成功地模拟人的智因镁庸扯王戈郊鲤亢语躬因心吓唾蜕忧德弛靶矽鹤戮幽穗词霖昏摆醚裸卯峨御鼎伍耗辰鸭佬萌他没谆疵咎葱饱颅类历杠傲乏凝珍羹哎耙婶腺须私淑饯砚渝秤抚债厨袭凛宫摸兵醚禹等浙耸涛捣严游样切像朽睛惨郝镑该押侩刀罗附俺需羹订近停疤搀拾访玫疤绍长新铂裳时菇己扶欠身壶凸萍民嘘堵簇蝇稽遮课象陕姻吨砷扬景挥翔申唆尊枫鲸融饥陵凋傻林斯镀暮瑰宴钒仲霄隅懂农眨马孔比灾姬成唾诀密贵喇诧椎罪布必辑这愚唐眼音拿泛糠术学染握庆沥蘑毙促蔬鳖震膘话节变捻僧畏袍站蝉朱达摇怪茹葛筑膘辟过武裴旷腕偿湾韦臃颂伎就措入风稿抢厂蹈荷聋好谜姿厨措粗减然孺操烃事缕赦