逻辑在人工智能科学中的应用与前景，本文主要内容关键词为：人工智能论文,逻辑论文,前景论文,科学论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。
在人工智能科学的研究领域中，有众多的理论课题与技术课题，而其中的逻辑问题或者说人工智能科学所使用的逻辑这一课题则是一主要课题，甚至在一定的意义上是一中心问题。因此，本文试图从逻辑学（主要是从归纳和类比推理以及模糊逻辑）的角度出发，对逻辑与人工智能科学的关系作一初步探讨。
一、归纳推理和类比推理在人工智能中的应用
人类智能的本质特征和最高表现是创造。在人类创造的过程中，演绎推理的作用固然不可忽视，但归纳推理和类比推理在其中所起的作用似乎更为重要，因为它们构成了人类创造的契机。因此，计算机要成功地模拟人的智能，真正体现出人类智能的品质，就必须能够借助于归纳推理和类比推理这两种方法，实现机器内学习，以达到“机器创造”的目的。
1、通过归纳的学习
正如人们运用归纳推理的情况一样，当外部环境给计算机提供的信息过于特殊和细节化时，计算机便必须学会对所给的信息加以概括和总结，把环境提供的特殊的、个别的实例变换成较为概括的、高水平的、可以有效使用的知识块。计算机这种归纳能力的获得对于整个人工智能系统具有重大意义。这是因为，借助于归纳的方法，计算机不仅可以自动获得新概念以增长知识，而且，在可能的情况下，它还能够证实已有的理论并发现新的理论。然而，由于归纳推理本身的缺陷以及人类归纳机制的模糊性等问题的存在，使得虽然有许多哲学家、心理学家、逻辑学家和一些人工智能专家早已涉足计算机通过归纳的学习这一领域并对之进行过艰辛的探索和研究，但这种通过归纳的学习在人工智能领域中的应用至今却仍然未能有重大突破。在这方面，许多学者都作过有意义的探索和研究，如瑞典哲学家Peter Cardenfor（《思维科学》，1988年第1期，第15页。）曾提出，在模拟人类进行归纳的人工智能系统中，需要对机械化归纳推理的知识表示形式问题作更多的探索。他提出了一种超越逻辑和语言的知识表示方式“概念空间”来帮助人们识别事物的可推测性质以避免某些关于归纳的老问题；乌哥夫提出用“倾向性”(bias)概念（《机器学习》，摩根考夫曼出版社，1986年版，第107页。）来解释学习者为什么会形成不同归纳概括；范莱（《人工智能》杂志，1986年1月号。）则强调要通过安排好一课一课的次序来学习，正如我们学习数学一样，这样就能够获得归纳学习中的额外的信息或线索。但是，计算机如何实现从个别到一般或从部分到整体或从过去到未来这一飞跃却是长期困扰着众多人工智能学者的问题。因为人类在归纳过程中所实现的“这一飞跃”是自然而然地来到的。计算机要在既无常识，又无经验（直觉就更无从谈起）的情况下，单纯依靠人们输入其内部的、有限的知识来完成这一飞跃过程，着实是存在着许多困难的。退一步说，即使计算机能够完成这一飞跃，所得结论的有效性程度仍然是令人担忧的，因为计算机甚至不能识别一些常识性的错误。
归纳已被称之为“哲学丑闻”。为了使之不至于成为人工智能领域中的“丑闻”，逻辑学家和人工智能学者对于归纳推理的深入研究迫在眉睫。
2、通过类比的学习
类比推理是人类理解、学习甚至发现新的概念、理论，并能利用过去成功的经验来解决新问题的重要的逻辑手段。由于它能以最小的能量消耗获取最大的信息，因而在某种程度上，我们可以把它看作比归纳更为重要的认知技能。随着人工智能科学研究的不断深入，其研究重点最终势必会转到类比推理上来。
类比推理在计算机系统中的实现具有重要意义。我们知道，一个专家系统或决策系统内部所贮存的经验知识的数量总是有一定限度的，而在系统中，这种经验知识的多少及优劣又往往起着决定性的作用。在这种情况下，如果计算机能够运用类比的方法进行内学习，那么该系统就能够象某一领域的专家能够成功地将过去的经验最大限度地转换为解决新问题的知识一样，借助于知识新、老问题中的相似性并从别的知识库中调用有关知识来处理新问题。这无疑在很大程度上提高计算机解决问题的能力，扩展专家系统的适用范围。一句话，使得计算机的操作技能得到改善。然而，由于类比推理的复杂性，逻辑学界及人工智能工作者等关于类比的研究才刚刚展开，许多问题，诸如“相似性究竟是什么？”“机器如何识别相似性？”“如何从相似的知识库中调用相关的知识以及如何运用它们去完成想要执行的任务”等等都是令人困惑的问题。到目前为止，计算机通过类比的学习还停留在非常原始的阶段上，它大致只能进行三个方面的应用：(A)几何图形的类比：这是人类在幼年时期就能完成的智能活动，而它在计算机中的应用也颇为复杂。必须通过对所给的源图中的各个子图的位置关系及源图的下一个图转换的规则等的详尽描述，才能使计算机构造出正确的终图。可以说，这类问题的解决完全取决于描述的粗细程度。(B)概念类比：对于这类问题，计算机目前的处理方法还是以直接传递为主，即将类比前项中的概念机械地迁移到类比后项中去。至于哪些属性是可以传递的，哪些不能传递，传递过程是否需要加以修改等还是正在研究中的问题。(C)问题求解：计算机运用类比进行问题求解，这一功能具有很强的实用价值。但一些难以解决的问题是，如何使机器能尽可能多地储存知识以扩展它类比的范围以及如何才能使计算机进行有效的相似判断而不致于犯机械类比的错误。在这两个方面，目前研究进展不大。另外，人类在对现实世界的认知过程中，所运用的类比推理的类型是多种多样的，如依照因果性、否定性、共存性都能进行类比。计算机如何掌握事物属性间的众多的相似性而作出有效的类比，这一方面的问题也是不容忽视的。
总之，对于类比学习的计算机模拟，人们只是开始去探索。看来，要使计算机的类比模拟有重大突破，逻辑学界也应该加强对类比推理的深层次的探讨和分析。
二、模糊逻辑在人工智能科学中的应用
模糊逻辑不同于古典的命题演算和谓词演算，它属于非标准逻辑，是基于模糊集合论新近发展起来的一种逻辑类型。由于它蕴含着浓厚的数学气息，具有一种适合定义的清晰的语义理论，因而，它能够作为明确而精致的工具被应用于人工智能科学中来处理一些既反映人类思维现实的、而传统逻辑又无法企及的问题。模糊逻辑按其值域，可分为无穷多值逻辑和语言值逻辑两种类型。其中，无穷多值逻辑是将不确定的谓词引入到对象语言中，语言值逻辑则是在此基础上进一步将元语言谓词的“真”和“假”也看作是不确定的。因此，我们说，语言值逻辑是比无穷多值逻辑更为精确的一种刻画模糊性的逻辑系统。也正是在这个意义上，语言值逻辑成为模糊逻辑的主要研究对象和研究重点。下面，我们着重对它加以介绍。
语言值逻辑是基于模糊集合的知识而建立起语言真值的隶属函数进行模糊命题演算和近似推理的一种逻辑系统。我们知道，在模糊集合论中，人们是通过对事物在某类集合中隶属程度的分析来揭示事物的可能性的分布的。因此，在语言值逻辑中，我们同样得借助“隶属度”这一概念来描述语言真值的分布。具体的思想是这样的：我们把元语言谓词的真值确立在[0,1]这一闭合区间的变化范围内。因此，当元语言谓词的真值在[0,1]区间内发生变化时，包含有这些元语言谓词的命题的真值也必然随之变化，构成一个模糊集A（A＝｛真，假，很真，很假，…｝）这样，元语言谓词的任意取值x对于模糊集A都有着程度——隶属度上的不同，即隶属度可以为0，也可以为1或0.1,0.2,…。这种隶属度的高低，我们可以用隶属函数U[,A]来表示，记为U[,A]:x→[0,1]。因此，U[,真](x)=x,U[,假](x)=1-x,U[,很真](x)=x[2],U[,很假](x)=(1-x)[2]，…。从这种具有模糊性的问题出发进行演算或推理，就构成了模糊命题演算或近似（模糊）推理。
模糊逻辑对于“模糊性”的精确刻划，使得它具有比传统逻辑更大的优越性而在人工智能系统中备受青睐。在许多场合，如在机器故障诊断、医疗诊断、工程控制等领域，它都被用来描述人类经验的模糊性，从而使得计算机的自动操作更符合人类的思维实际。例如，人们通过适当规定一些模糊概念的隶属函数（由具体问题而定，具有局部性），运用近似推理规则便可实现模糊控制。在这方面，一个重要的研究成果是丹麦研制成功的模糊逻辑计算机协调控制系统FLS-SDR和NO分析器，我国已有水泥厂引入该系统。
同样的，医生在医疗诊断过程中所借助的临床经验由于具有一定的模糊性也必须运用模糊逻辑这一工具来描述。专家系统MYCZN(shorliffe,1976)正是采用了模糊逻辑中的可信度（隶属度）的概念以及近似推理等方法来帮助病人选择恰当的治疗方案。
MYCZN表示血液感染病诊断系统，它的功能是诊断用户是否患有需要治疗的细菌感染病并给出建议性的诊断及处方。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运用近似推理构建若干近似蕴涵的规则。以上面的规则为例，可表示为：
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成立的确证度。
在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在诊断过程中，采用逆推理的方式，即通过把病人的病状与系统中容纳的规则逐条匹配来选择可行的治疗方案。在每一规则进行匹配的过程中，MYCZN运用的都是近似推理。以上面的规则为例，假设系统中有这么一条规则，E[,1]∧E[,2]∧E[,3]∧E[,4]→H。MYCZN在诊断过程中，病人对于病状的描述只能近似于E[,1],E[,2],E[,3],E[,4]，我们记为E'[,1],E'[,2],E'[,3],E'[,4]。故MYCZN在诊断过程中采用了这样的推理形式：
在这一推理过程中，作为推理大前提的这一充分条件假言判断如前所述是模糊的，小前提E'[,1]∧E'[,2]∧E'[,3]∧E'[,4]近似于E[,1]∧E[,2]∧E[,3]∧E[,4]，因而也是模糊的。因此，由这些前提出发作的充分条件假言判断的肯定前件式的推理，其结论也必然是模糊的，只能近似于H而非H。
MYCZN所进行的匹配过程结束后，如果有多个规则同时支持同一事实，则须取支持这个事实的各规则的可信度的最大值作为事实的可信度。这类似于模糊集理论中当多个相析取时，取这些条件中的隶属函数的最大值作为总的隶属函数值。
在人工智能领域，其他专家系统如著名的地质勘探专家系统PROSPECTOR等在推理网络中同样都运用了模糊逻辑这一工具来处理证据、假设或证据与假设间关系不确定的情况而强制专家系统在没有得到与决策有关的全部事实的情况下作出决策。目前，这些系统在实际应用中都初步取得了成就。如应用PROSPECTOR系统，对美国华盛顿州的钼矿进行勘测，其结果已完全被实际所证实。
除了模糊逻辑和多值逻辑已进入涉及模糊性和不完全信息的人工智能领域外，时态逻辑近期也开始被运用到事件、行动、规范的形式化方面。另外，在人工智能领域，知道（认知）逻辑也有所涉及。可以说，非标准逻辑在不久的将来，势必会逐步渗透到人工智能领域并发挥愈来愈大的作用。因此，逻辑学界也应加强对非标准逻辑的研究以便为它们在人工智能领域中的应用提供一个良好的理论基础。
从人工智能科学的发展来看，它所需要的逻辑远不只本文中所谈及的这些。象高阶逻辑、容错逻辑、内涵逻辑、直觉逻辑等都可能会对智能科学的发展产生长足的影响。并且，就本文所谈及的这些逻辑，在智能科学中发展的天地都是很广阔的，需要进一步探索和研究。
标签：人工智能论文; 类比推理论文; 模糊逻辑论文; 科学论文; 模糊理论论文; 关系逻辑论文; 系统学习论文; 推理论文;