我要投搞

标签云

收藏小站

爱尚经典语录、名言、句子、散文、日志、唯美图片

当前位置:管家婆六肖中特 > 非单调推理 >

逻辑学与人工智能

归档日期:05-05       文本归类:非单调推理      文章编辑:爱尚语录

  逻辑学与人工智能_电子/电路_工程科技_专业资料。逻辑学与人工智能 摘要: 人工智能的产生与发展和逻辑学的发展密不可分。逻辑学为人工智能的研 究提供了根本观点与方法,而逻辑方法则是人工智能研究中的主要形式化 工具。笔者从逻辑学为人工智能的研究提供理论

  逻辑学与人工智能 摘要: 人工智能的产生与发展和逻辑学的发展密不可分。逻辑学为人工智能的研 究提供了根本观点与方法,而逻辑方法则是人工智能研究中的主要形式化 工具。笔者从逻辑学为人工智能的研究提供理论基础出发,讨论了经典逻 辑和非经典逻辑在人工智能中的应用,以及人工智能在逻辑学发展方向上 的影响与作用。 关键词:人工智能,经典逻辑,非经典逻辑 人工智能主要研究用人工方法模拟和扩展人的智能,最终实现机器智能。人 工智能研究与对人的思维研究密切相关。 逻辑学始终是人工智能研究中的基础科 学问题,它为人工智能研究提供了根本观点与方法。 一、人工智能学科的诞生 智能和逻辑是同源的, 它们从不同的侧面研究同一个问题,因而人工智能的 诞生与逻辑学的发展是密不可分的。 12 世纪末 13 世纪初,西班牙逻辑学家罗门·卢乐提出了制造可解决各种问 题的通用逻辑机,初步揭示了人类思维与计算可同一的思想。17 世纪,英国哲 学家和自然科学家培根在《新工具》中提出了归纳法。随后,德国数学家和哲学 家莱布尼兹改进了帕斯卡的加法数字计算器,做出了四则运算的手摇计算器,并 提出了“通用符号”和“推理计算”的思想,使形式逻辑符号化,可以说,这是 “机器思维”研究的萌芽。 19 世纪,英国数学家布尔创立了布尔代数,他第一次用符号语言描述了思 维的基本推理法则, 真正使逻辑代数化。布尔系统奠定了现代形式逻辑研究的基 础。德国数学家弗雷格完善了命题逻辑,创建了一阶谓词演算系统。这种形式系 统在创建人工智能的知识表示和推理理论中起到了非常重要的作用。 怀特海和罗 素合著的《数学原理》 ,从纯形式系统的角度(机械角度)来处理数学推理的方 法, 为数学推理在计算机上的自动化实现奠定了理论基础。他们开发的逻辑句法 和形式推理规则是自动定理证明系统的基础,也是人工智能的理论基础。 20 世纪,哥德尔在《论〈数学原理〉及其相关系统的形式不可判定命题》 中,对一阶谓词完全性定理与 N 形式系统的不完全性定理进行了证明。这些研 究成果揭示了机械的与非机械的思维活动的基本性质, 论证了形式系统的逻辑标 准和局限性。在此基础上,克林对一般递归函数理论作了深入的研究,建立了? 1 演算理论。在《关于可计算的数及其对判定问题的应用》一文中,英国数学家图 灵建立了描述算法的机械性思维过程,提出了理想计算机模型(即图灵机) ,创 立了自动机理论,奠定了整个计算机科学的理论基础。这些都为 1945 年匈牙利 数学家冯· 诺依曼提出存储程序的思想和建立通用电子数字计算机的冯·诺依曼 型体系结构,以及 1946 年美国的莫克利和埃克特成功研制世界上第一台通用电 子数学计算机 ENIAC 做出了开拓性的贡献。 以上经典数理逻辑的理论成果,为 1956 年人工智能学科的诞生奠定了坚实 的逻辑基础。 二、逻辑学在人工智能学科的研究方面的应用 逻辑方法是人工智能研究中的主要形式化工具, 逻辑学的研究成果不但为人 工智能学科的诞生奠定了理论基础, 而且它们还作为重要的成分被应用于人工智 能系统中。 (一)经典逻辑的应用 人工智能诞生后的 20 年间是逻辑推理占统治地位的时期。这期间主要研究 的是一些可以确切定义并具有良性的确定性难题, 经典数理逻辑和启发式搜索在 其中发挥了关键的作用。但是,同数学方法一样,在逻辑方法中也存在着算法危 机。 1963 年,纽厄尔、西蒙等人编制的“逻辑理论机”数学定理证明程序(LT) , 经过改进可以证明《数学原理》第 2 章中的全部 52 条定理。在此基础之上,纽 厄尔和西蒙编制了通用问题求解程序(GPS) ,开拓了人工智能“问题求解”的 一大领域。GPS 可解决不定积分、代数方程、猴子与香蕉问题、河内塔问题、传 教士问题等 11 类不同类型的问题。 虽然这使启发式程序有了较大的普遍应用性, 但由于海量知识库的难以建立及其与快速搜索之间存在的矛盾,GPS 并不能解 决所有的问题。 经典数理逻辑只是数学化的形式逻辑,它排除了一切形式的不确定性、矛盾 和演化,只研究确定性问题,所以只能满足人工智能的部分需要。当人工智能模 拟人在经验科学中的思维或日常思维时,经典逻辑就不适用了,因而必须寻求不 同于经典逻辑的方法来解决。 (二)非经典逻辑的应用 1、不确定性的推理研究 人工智能要进行人脑的智能模拟, 它的难点不在于人脑所进行的各种必然性 推理,而是最能体现人的智能特征的能动性、创造性等不确定性的思维。因此, 2 必须着重研究人的思维中最能体现其能动性特征的各种不确定性推理。 人工智能发展了用数值的方法表示和处理不确定的信息, 即给系统中每个语 句或公式赋一个数值, 用来表示语句的不确定性或确定性。 比较具有代表性的有: 1976 年杜达提出的主观贝叶斯模型, 1978 年查德提出的可能性模型, 1984 年 邦迪提出的发生率计算模型, 以及假设推理、定性推理和证据空间理论等经验性 模型。 对归纳推理、 类比推理等不确定性推理的研究,在专家系统中都有广泛的应 用,可实现机器内学习,达到“机器创造”的目的。归纳逻辑是关于或然性推理 的逻辑。1921 年,凯恩斯把概率理论与归纳逻辑结合起来,建立了第一个概率 逻辑系统,标志着现代归纳逻辑的产生。在人工智能中,可把归纳看成是从个别 到一般的推理。借助这种归纳方法,计算机不仅可以自动获得新概念以“增长” 知识, 而且也能够证实已有的理论并发现新的理论。在一个专家系统或决策系统 中,其内部贮存的经验知识的数量是有限的,而运用类比的方法,计算机就可以 通过新、老问题的相似性,从相应的知识库中调用有关知识来处理新问题。 2、不完全信息的推理研究 知识是人类智能的基础, 因而也是人工智能研究的一个核心问题。人脑与机 器智能的差别就在于人脑能够运用不精确的、非定量的、模糊的知识信息进行思 维活动。常识知识和专家知识都是经验性知识,都具有不完全性和不精确性,而 现在的计算机是建立在精确科学和二值逻辑的基础上的。因此,在处理常识表示 和常识推理时,经典逻辑就显得无能为力。 常识推理是一种非单调逻辑,即人们基于不完全的信息推出某些结论,当人 们得到更完全的信息后, 可以改变甚至收回原来的结论。非单调逻辑可处理信息 不充分情况下的推理。 人工智能若要在日常应用领域实现良好的推理特性,就必 须从日常推理中抽象出一个较为完善的非单调系统。20 世纪 80 年代,赖特的缺 省逻辑、麦卡锡的限定逻辑、麦克德莫特和多伊尔建立的 NML 非单调逻辑推理 系统、 摩尔的自认知逻辑都是具有开创性的非单调逻辑系统。常识推理也是一种 可能出错的不精确的推理, 是在容许有错误的知识的情况下进行的推理,即容错 推理。 此外, 多值逻辑和模糊逻辑也已经被引入到人工智能中来处理模糊性和不完 全性信息的推理。 多值逻辑是具有多个命题真值的逻辑,它是对传统的二值逻辑 的重大突破。 多值逻辑的三个典型系统是克林、卢卡西维兹和波克万的三值逻辑 系统。它们可以作为人类程序行为的逻辑基础,这种程序行为是智能的,它可以 用系统化的方式来收集关于环境的知识。模糊逻辑是研究模糊概念、模糊命题和 3 模糊推理的逻辑理论, 其线 上的连续区间,可以应用到人工智能专 家系统、自动控制、智能决策等众多领域。它的研究始于 20 世纪 20 年代卢卡西 维兹的研究。1972 年,扎德提出了模糊推理的关系合成原则,现有的绝大多数 模糊推理方法都是关系合成规则的变形或扩充。 三、人工智能——当代逻辑发展的动力 现代逻辑创始于 19 世纪末叶和 20 世纪早期, 其发展动力主要来自于数学中 的公理化运动。 数学家试图从少数公理出发,根据明确给出的演绎规则推导出其 他的数学定理, 从而把整个数学构造成为一个严格的演绎大厦,然后用某种程序 和方法一劳永逸地证明数学体系的可靠性。 这需要严格、 精确、 适用的逻辑工具, 因此成为现代逻辑诞生的主要动力。 那么,21 世纪逻辑发展的主要动力来自哪里?我认为,计算机科学和人工 智能将至少是 21 世纪早期逻辑学发展的主要动力源泉, 并将由此决定 21 世纪逻 辑学的另一幅面貌。 由于人工智能要模拟人的智能,它的难点不在于人脑所进行 的各种必然性推理,而是最能体现人的智能特征的能动性、创造性思维,这种思 维活动中包括学习、抉择、尝试、修正、推理诸因素。例如,选择性地搜集相关 的经验证据, 在不充分信息的基础上做出尝试性的判断或抉择,不断根据环境反 馈调整、修正自己的行为,由此达到实践的成功。于是,逻辑学将不得不比较全 面地研究人的思维活动, 并着重研究人的思维中最能体现其能动性特征的各种不 确定性推理,由此发展出的逻辑理论也将具有更强的可应用性。 四、结语 人工智能的产生与发展和逻辑学的发展密不可分。 目前,关于非单调逻辑、类比逻辑、多值逻辑和模糊逻辑等非经典逻辑的研 究才刚刚起步, 许多制约人工智能发展的因素仍有待于解决,因而在人工智能某 些方面的研究进展还比较缓慢, 这些技术上的突破,还有赖于逻辑学研究上的突 破。在对人工智能的研究中,我们只有重视逻辑学,努力学习与运用并不断深入 挖掘其基本内容,拓宽其研究领域,才能更好地促进人工智能学科的发展。 参考文献: 1. 何华灿,何智涛. 从逻辑学观点看人工智能学科的发展. 科学出版社,2006. 2. 熊立文. 人工智能、哲学与逻辑. 中山大学学报,2003 3. 陈波. 从人工智能看当代逻辑学的发展. 中山大学学报论丛,2000. 2 4

本文链接:http://meghanmbiro.com/feidandiaotuili/334.html