逻辑学与人工智能

摘 要人工智能的产生与发展和逻辑学的发展密不可分.逻辑学为人工智能的研究提供了根本观点与方法,而逻辑方法则是人工智能研究中的主要形式化工具.本文从逻辑学为人工智能的研究提供理论基础出发,讨论了经典逻辑和非经典逻辑在人工智能中的应用,以及人工智能在逻辑学发展方向上的影响与作用.

关 键 词人工智能经典逻辑非经典逻辑

中图分类号:TP273文献标识码:A

人工智能主要研究用人工方法模拟和扩展人的智能,最终实现机器智能.人工智能研究与人的思维研究密切相关.逻辑学始终是人工智能研究中的基础科学问题,它为人工智能研究提供了根本观点与方法.

1人工智能学科的诞生

12世纪末13世纪初,西班牙罗门卢乐提出制造可解决各种问题的通用逻辑机.17世纪,英国培根在《新工具》中提出了归纳法.随后,德国莱布尼兹做出了四则运算的手摇计算器,并提出了“通用符号”和“推理计算”的思想.19世纪,英国布尔创立了布尔代数,奠定了现代形式逻辑研究的基础.德国弗雷格完善了命题逻辑,创建了一阶谓词演算系统.20世纪,哥德尔对一阶谓词完全性定理与N形式系统的不完全性定理进行了证明.在此基础上,克林对一般递归函数理论作了深入的研究,建立了演算理论.英国图灵建立了描述算法的机械性思维过程,提出了理想计算机模型(即图灵机),创立了自动机理论.这些都为1945年匈牙利冯诺依曼提出存储程序的思想和建立通用电子数字计算机的冯诺依曼型体系结构,以及1946年美国的莫克利和埃克特成功研制世界上第一台通用电子数学计算机ENIAC做出了开拓性的贡献.

以上经典数理逻辑的理论成果,为1956年人工智能学科的诞生奠定了坚实的逻辑基础.

现代逻辑发展动力主要来自于数学中的公理化运动.20世纪逻辑研究严重数学化,发展出来的逻辑被恰当地称为“数理逻辑”,它增强了逻辑研究的深度,使逻辑学的发展继古希腊逻辑、欧洲中世纪逻辑之后进入第三个高峰期,并且对整个现代科学特别是数学、哲学、语言学和计算机科学产生了非常重要的影响.

2逻辑学的发展

2.1逻辑学的大体分类

逻辑学是一门研究思维形式及思维规律的科学.从17世纪德国数学家、哲学家莱布尼兹(G.Leibniz)提出数理逻辑以来,随着人工智能的一步步发展的需求,各种各样的逻辑也随之产生.逻辑学大体上可分为经典逻辑、非经典逻辑和现代逻辑.经典逻辑与模态逻辑都是二值逻辑.多值逻辑,是具有多个命题真值的逻辑,是向模糊逻辑的逼近.模糊逻辑是处理具有模糊性命题的逻辑.概率逻辑是研究基于逻辑的概率推理.

2.2泛逻辑的基本原理

当今人工智能深入发展遇到的一个重大难题就是专家经验知识和常识的推理.现代逻辑迫切需要有一个统一可靠的,关于不精确推理的逻辑学作为它们进一步研究信息不完全情况下推理的基础理论,进而形成一种能包容一切逻辑形态和推理模式的,灵活的,开放的,自适应的逻辑学,这便是柔性逻辑学.而泛逻辑学就是研究刚性逻辑学(也即数理逻辑)和柔性逻辑学共同规律的逻辑学.


泛逻辑是从高层研究一切逻辑的一般规律,建立能包容一切逻辑形态和推理模式,并能根据需要自由伸缩变化的柔性逻辑学,刚性逻辑学将作为一个最小的内核存在其中,这就是提出泛逻辑的根本原因,也是泛逻辑的最终历史使命.

3逻辑学在人工智能学科的研究方面的应用

逻辑方法是人工智能研究中的主要形式化工具,逻辑学的研究成果不但为人工智能学科的诞生奠定了理论基础,而且它们还作为重要的成分被应用于人工智能系统中.

3.1经典逻辑的应用

人工智能诞生后的20年间是逻辑推理占统治地位的时期.1963年,纽厄尔、西蒙等人编制的“逻辑理论机”数学定理证明程序(LT).在此基础之上,纽厄尔和西蒙编制了通用问题求解程序(GPS),开拓了人工智能“问题求解”的一大领域.经典数理逻辑只是数学化的形式逻辑,只能满足人工智能的部分需要.

3.2非经典逻辑的应用

(1)不确定性的推理研究

人工智能发展了用数值的方法表示和处理不确定的信息,即给系统中每个语句或公式赋一个数值,用来表示语句的不确定性或确定性.比较具有代表性的有:1976年杜达提出的主观贝叶斯模型,1978年查德提出的可能性模型,1984年邦迪提出的发生率计算模型,以及假设推理、定性推理和证据空间理论等经验性模型.

归纳逻辑是关于或然性推理的逻辑.在人工智能中,可把归纳看成是从个别到一般的推理.借助这种归纳方法和运用类比的方法,计算机就可以通过新、老问题的相似性,从相应的知识库中调用有关知识来处理新问题.

(2)不完全信息的推理研究

常识推理是一种非单调逻辑,即人们基于不完全的信息推出某些结论,当人们得到更完全的信息后,可以改变甚至收回原来的结论.非单调逻辑可处理信息不充分情况下的推理.20世纪80年代,赖特的缺省逻辑、麦卡锡的限定逻辑、麦克德莫特和多伊尔建立的NML非单调逻辑推理系统、摩尔的自认知逻辑都是具有开创性的非单调逻辑系统.常识推理也是一种可能出错的不精确的推理,即容错推理.

此外,多值逻辑和模糊逻辑也已经被引入到人工智能中来处理模糊性和不完全性信息的推理.多值逻辑的三个典型系统是克林、卢卡西维兹和波克万的三值逻辑系统.模糊逻辑的研究始于20世纪20年代卢卡西维兹的研究.1972年,扎德提出了模糊推理的关系合成原则,现有的绝大多数模糊推理方法都是关系合成规则的变形或扩充.

4人工智能――当代逻辑发展的动力

现代逻辑创始于19世纪末叶和20世纪早期,其发展动力主要来自于数学中的公理化运动.21世纪逻辑发展的主要动力来自哪里?笔者认为,计算机科学和人工智能将至少是21世纪早期逻辑学发展的主要动力源泉,并将由此决定21世纪逻辑学的另一幅面貌.由于人工智能要模拟人的智能,它的难点不在于人脑所进行的各种必然性推理,而是最能体现人的智能特征的能动性、创造性思维,这种思维活动中包括学习、抉择、尝试、修正、推理诸因素.例如,选择性地搜集相关的经验证据,在不充分信息的基础上做出尝试性的判断或抉择,不断根据环境反馈调整、修正自己的行为,由此达到实践的成功.于是,逻辑学将不得不比较全面地研究人的思维活动,并着重研究人的思维中最能体现其能动性特征的各种不确定性推理,由此发展出的逻辑理论也将具有更强的可应用性.

5结语

人工智能的产生与发展和逻辑学的发展密不可分.

一方面我们试图找到一个包容一切逻辑的泛逻辑,使得形成一个完美统一的逻辑基础;另一方面,我们还要不断地争论、更新、补充新的逻辑.如果二者能够有机地结合,将推动人工智能进入一个新的阶段.概率逻辑大都是基于二值逻辑的,目前许多专家和学者又在基于其他逻辑的基础上研究概率推理,使得逻辑学尽可能满足人工智能发展的各方面的需要.就目前来说,一个新的泛逻辑理论的发展和完善需要一个比较长的时期,那何不将“百花齐放”与“一统天下”并行进行,各自发挥其优点,为人工智能的发展做出贡献.目前,许多制约人工智能发展的因素仍有待于解决,技术上的突破,还有赖于逻辑学研究上的突破.在对人工智能的研究中,我们&# 21482;有重视逻辑学,努力学习与运用并不断深入挖掘其基本内容,拓宽其研究领域,才能更好地促进人工智能学科的发展.

类似论文

呼唤逻辑学

我读大学时,教逻辑学的是陈教授 他个子瘦高,眼镜闪亮,每次进教室,照例夹着本讲义,捏着两根粉笔 上课一面滔滔演说,一面奋笔疾书,例题。
更新日期:2024-9-3 浏览量:14048 点赞量:3542

人工智能文摘要河北

京教函〔2016〕276号北京市教育委员会关于举办2016年北京市大学生英语演讲比赛等7项学科竞赛的通知各普通高等学校:为落实市教委&。
更新日期:2024-5-18 浏览量:67996 点赞量:15000

机械电子工程与人工智能的关系探究

摘 要近年来,世界各个发达国家竞相发展机械电子工程,以提高本国的成产力水平,机械电子工程也不断向智能化、网络。
更新日期:2024-6-22 浏览量:83273 点赞量:18846

逻辑学的用处等

有个学生请教爱因斯坦逻辑学有什么用 爱因斯坦问他:“两个人从烟囱里爬出去,一个满脸烟灰,一个干干净净,你认为哪。
更新日期:2024-4-6 浏览量:9092 点赞量:2778

人工智能课程全英文教学改革

摘 要:通过现状调查分析,指出当前国内高校人工智能课程全英文教学中存在的亟待解决的共性问。
更新日期:2024-8-23 浏览量:106954 点赞量:23348

人工智能文摘要目录

目录摘 要等等等等等等等等等等等等等等等等ⅠAbstract等等等等等等等等等等等等等等等等等等Ⅱ第1章绪论等等等等等等等等等等等等等等等1。
更新日期:2024-9-13 浏览量:116443 点赞量:24809