浅谈逻辑在计算机科学中应用.docVIP

浅谈逻辑在计算机科学中应用 　　[摘 要]逻辑是计算机科学的灵魂。本文通过对逻辑和计算机科学的起源、联系的深入阐述，罗列出逻辑在计算机科学的应用和需要注意的问题，并对未来逻辑在计算机科学应用中的发展做出美好的展望 [关键词]逻辑 计算机科学 应用 发展 中图分类号：TM912 文献标识码：A 文章编号：1009-914X（2017）15-0121-02 引言：逻辑是一种理想抽象的思维，也在人类的不断进化中得到发展和提炼成一门专业的科学，作为计算机科学的理论基础，使计算机研究中的许多复杂问题得到了突破和解决。是以逻辑学为根基的，所以计算机的发展和智能化革命中瓶颈问题的突破有赖于逻辑学的发展和突破，因此研究逻辑学在计算机科学中的应用有重要的意义和积极的推动作用。例如现今通用的计算机语言如C、C++、VB、Java语言等，都是以数理逻辑作为理论的根基。对逻辑应用的思考和研究，有利于进一步推动计算机科学与技术的发展 1 逻辑和计算机的起源 逻辑从人类最初对世界的理性、客观的认知和解读到形成了一门成熟独立的知识学科，历经了全世界许多逻辑学家的辛苦钻研和无数科学家的一次次失败却不懈的尝试，归纳和创新。古希腊的亚里士多德是探索逻辑问题的第一人，他通过进行科学研究及总结当时的科学成就、科学研究方法，整理日常的思维形式，加以提炼，创立了以三段论为中心，包括论辩的、分析的、非分析的、归纳的本体论的逻辑学。亚里士多德建立了比较完整的逻辑学体系，使逻辑学成为一门独立的科学。而计算机的起源相对更为大家所熟悉，早在20 世纪30 年代，Godel、Church、Turing 等逻辑学家就得出了“可计算”的概念并于1936 年发明了世界上第一台用来帮助求解数学问题的通用数字计算机。从此，逻辑与计算机科学间的联系在各方面越来越紧密，而于1936年诞生的抽象计算机更是逻辑学在计算机方面的贡献。后来随着科技和人类思想的进步，数理逻辑正式成为了一门独立研究推理的逻辑学科，在计算机科学中用以推理和检验程序和计算机模型、软硬件设计、开发的正确性，联系也越来越紧密 2 数理逻辑在计算机科学中的作用 2.1 逻辑为计算机语言提供思想 我们都知道，人类有人类的沟通语言，计算机也有计算机的语言，即为基础的0、1的二进制。计算机语言的设计就是依赖于数理逻辑的思想。从前人们运用的古典逻辑推理方法在现今技术越来越发达的时代已经远远力不从心了，因此为了建立真正智能的知识系统，非经典的逻辑方法随之诞生，能够帮助人们在充满不定因素的信息环境下仍然保持着理想的思维进行有效的推理工作。计算机程序设计语言如C语言、C++、Java语言等就是以形式语言、自动机与形式语义学为理论基础的，因此数理逻辑的推理就给计算机程序设计语言提供了主要的思想和方法，也实现了语言内多种基础的如表达式赋值、函数计算等功能，优化了计算机编程 2.2 逻辑为计算机研究提供依据 数理逻辑分为命题逻辑和一阶逻辑两部分，而前者也是后者的特例。在研究某些推理问题时，一阶逻辑比命题逻辑更准确。数理逻辑中的可计算谓词和计算模型中的可计算函数是等价的，互相可以转化。例如某些自然语言的论证看上去很简单，直接就可以得出结论，但是通过数理逻辑中的两种符号化表达的结果却截然不同，让人们很难理解，这就为计算机的可计算性研究埋下伏笔。计算机的研究是复杂高深的，因此需要逻辑作为理论的依据，成功的推理可是简化计算机科学中的复杂计算，也增加研究的可读性和理解程度 3 逻辑的研究方法 3.1 归纳法 归纳法是逻辑学研究中常用的方法之一。顾名思义，它指的是从很多个别的单例中结合经验和分析，归纳总结出具有概括性的一般规则的一种抽丝剥茧的方法。归纳法注重的是从特殊到一般的事理归纳，从而找出逻辑的共性，这些是此方法的优点。可归纳法的缺点也正是因为容易犯以偏概全的错误，不能完全地概括出每一个事物，一旦出现特例，归纳法就不是最为有效的逻辑方法。且归纳法建模的周期长，成本高，是一种带有可能性的，容易得出超出前提预测的范围的结论。正如著名物理科学家卢瑟福的核式结构模型就是在阿尔法；例子散射实验的基础上进行多次的分析和归纳得出的正确结果，后来也受到了科学界的认可，让人类在物理学史上的探索有了里程碑式的进步意义. 3.2 演绎法 作为逻辑学研究上的另一个常用方法，演绎法与归纳法则刚好相反.它是通过从现有既定的普遍逻辑和具有一般性的事例出发，演绎推导出个别性结论的一种方法。是从特殊到一般，从大范围不断缩小到特定范围的方法。演绎法依赖于原有的根本规律进行逻辑严谨，的一步步递推，能体现出事物的特性的个别事例的特点。三段论就是演绎法的基本形式，包括已知的普遍原理和一般性假设为大前提；和大前提有关的对研究