逻辑学在人工智能中的应用及其前景研究综述.pdfVIP

本文为网络收集精选范文、公文、论文、和其他应用文档，如需本文，请下载 逻辑学在人工智能中的应用及其前景研 究综述 本文从网络收集而来，上传到平台为了帮到更多的人，如果您需要使用本文档， 请点击下载按钮下载本文档（有偿下载），另外祝您生活愉快，工作顺利，万事 如意！ 一、人工智能科学诞生的逻辑渊源 1.“思维与计算”同一的思想是人工智能科学兴起 的重要的思想根源自从电子计算机面世，人工智能的 研究就有了强力的支撑。追溯它的历史，我们发现历 史上一些伟大的科学家和思想家为今天人工智能的研 究作了充分的准备。古希腊伟大的哲学家、思想家亚 里士多德开始采用符号组合的方法表示逻辑推演，并 为形式逻辑奠定了基础。12世纪末 13世纪初西班牙 神学家和逻辑学家赖蒙德•卢里 （RaymondLull)试图得 到一种逻辑演算他设计了历史上第一台能把基本概念 组合成各种命题的原始逻辑机。这种逻辑机是以机械 方式来模拟和表达人类思维的一次大胆的尝试，它已 初步揭示了人类把思维和计算看作是同一的思想的重 要性。17世纪，随着生产力的发展，自然科学特别是 数学得到了长足的进步。因而一些思想家试图用数学 方法来研究思维，把思维过程转换成数学的计算。法 国哲学家笛卡尔就试图把几何学、代数学和逻辑学三 本文为网络收集精选范文、公文、论文、和其他应用文档，如需本文，请下载 本文为网络收集精选范文、公文、论文、和其他应用文档，如需本文，请下载 门学科的优点统一于一体从而提出了普遍数学方法的 逻辑。法国物理学家、数学家巴斯制成了世界第一台 会演算的机械加法器。英国哲学家霍布斯把思维解释 为一些特殊的数学推演的总和。这些表明，人们对于 “思维与计算’的认识更加深刻、清晰和明确化。到了 18世纪，德国数学家、哲学家莱布尼茨继承了思维可 计算的思想，提出了建立理性演算的设想，他称为“通 用代数”。他提出，在这样的演算中，一切推理的正确 性将归于计算。他还改进了巴斯卡的加法数字计算器， 作出了能做四则运算的手摇计算器。这些成果是计算 机模拟人类思维过程走向成功的第一步。它深刻地揭 示了逻辑与计算机的内在联系，拉开了逻辑与人工智 能科学相结合的序幕。 2.布尔代数是电子计算机诞生和发展的逻辑基础 布尔代数又称逻辑代数，是英国逻辑学家布尔把 代数的方法应用于逻辑学研究所得的逻辑成果。可以 说，没有这一成果，就没有现代的电子计算机的诞生。 布尔代数是逻辑史上第一个逻辑演算。它是关于 0 和 1两个数的逻辑代数。布尔把它解释为类演算和 命题演算并给出对类或命题作合取、析取和否定三种 运算形式。对于类和命题，1和 0 分别对应于“ ”与 “空”、“真”与“假”。这样，布尔逻辑代数被解释成二 本文为网络收集精选范文、公文、论文、和其他应用文档，如需本文，请下载 本文为网络收集精选范文、公文、论文、和其他应用文档，如需本文，请下载 值代数系统。布尔的二值逻辑思想对于计算机硬件的 设计具有重要意义。这主要表现在它仅有两个数值 0 和 1。只要能够设法区别两个状态（如高压和低压， 正向电流和负向电流，通和不通）便可指定其中一种 表示0，另一种表示1，这样就可以利用二进制来表示 一切数了。 同时计算机硬件的工作原理也是应用布尔的二值 逻辑思想。计算机中的主要硬件如运算器、控制器等 都是运用一些逻辑电路构成的。逻辑电路中，最基本 的电路是门电路，门电路与布尔代数中的各种逻辑运 算有着惊人的同构性。门电路共有“与”、“或”、“非” 三种，分别完成合取、析取和否定三种逻辑运算。此 外，由这三种电路还可以组成各种复合电路。 3.形式系统的建立是计算机科学、人工智能科学 发展的强大动力形式化、形式系统这两个逻辑术语， 对于计算机科学、人工智能科学的发展，始终有着巨 大的影响。正是对“计算”这一概念的形式化研究，导 致了第一个计算模型一图灵机的诞生，同时为专家系 统与知识工程的建立、为知识的形式表示及定理的机 器证明铺平了道路；X-演算系统为第一个人工智能语 言LISP奠定了逻辑基础；目前很受一些人青睐、甚至 被推举为第五代计算机程序设计语言的PROLOG，就 本文为网络收集精选范文、公文、论文、和其他应用文档，如需本文，请下载 本文为网络收集精选范文、公文、论文、和其他应用文档，如需本文，请下载 是一个典型的符号逻辑形式系统。 形式系统的建立有助于提高一个理论的严格性