离散数学与计算机网络的关系,离散数学与人工智能的关系.pdf

离散数学与人工智能的关系.pdf

XUEKEYANJIU

离散数学与人工智能的关系

◆ 吉林师范大学应用工程学院 车 飞

摘【 要】人工智能是研制出具有智能行为的 应用在 “编译原理”、“数据结构”、“操作系 数理逻辑 (mathematicallogic)是用

计算机系统。要想让计算机具有智能，最根 统”、“数据库系统”、“算法的分析号设计”、 数学的方法来研究人类推理过程的一门数

本的和首要的是要计算机具有推理能力 “软件工程”、 “人工智能”、 “多媒体技术”、 学学科。其显著特征是符号化和形式化，即

而推理理论恰恰是离散数学的重要组成部 “计算机网络”等专业课程 以及 “信息管 把逻辑所涉及的 “概念、判断、推理”用符

分 。 理”、“信号处理”、“模式识别”、“数据加密” 号来表示，用公理体系来刻画，并基于符

关【键词】智能；人工智能；离散数学；关系 等相关课程中。它所提供的训练，十分有益 号串形式的演算来描述推理过程的一般规

于学生概括抽象能力、逻辑思维能力、归纳 律。数理逻辑又称符号逻辑、现代逻辑。命

1956 年，在著名计算机科学家 构造能力的提高；十分有益于学生严谨、完 题逻辑，也称命题演算，记为Ls。命题逻

McCarthy等人的倡议和组织下，于美国 整、规范的科学态度的培养。这些能力与态 辑是研究由命题为基本单位构成的前提和

Dartmouth大学召开世界上第一次人工智 度是一切软、硬件计算机科学工作者所不 结论之间的可推导关系。而谓词逻辑是在

能 (artificialintelligence，AI)研讨会，正式 可缺少的。离散数学课程所传授的思想和 命题逻辑的基础上更细化了，研究句子 内

宣布了人工智能的诞生。在五十多年的历 方法，广泛地体现在计算机科学技术及相 在的相互关系。可见离散数学与人工智能

程中，人工智能取得了举世瞩 目的发展。 关专业的诸领域，从科学计算到信息处理 ， 的密切关系。

暑期在吉林大学学习研究生课程时， 从理论计算机科学到计算机应用技术，从 再比如，在人工智能研究领域方面。离

人《工智能 就是很重要的一门课程。特别 计算机软件到计算机硬件，从人工智能到 散数学的思想、方法贯穿着人工智能整个

是通过孙吉贵教授的讲解使我对人工智能 分布式系统，无不与离散数学密切相关。 研究领域。包括定理机器证明与 自动推理、

有了更深入的了解，了解人工智能发展的 (例如：理论的和现实的可计算性研究，新 专家系统、自然语言的理解、感知系统、智

前沿及广阔的前景，更重要的是使我对我 的软件理论的发现和新的程序设计方法的 能机器人等等，处处体现要想让计算机具

讲授的 《离散数学》课程有了新的认识。 提出，人工智能系统的研制与新一代计算 有智能，就是要计算机具有推理能力，因为

智能是人们在处理复杂事物、解决困 机的探索等。)离散数学中很重要的思想、 推理是智能行为的核心。

难问题时所表现出来的智慧与能力，是头 方法及 内容都贯穿到人工智能整个学科， 总之，就像 20世纪30年代 (1936年)

脑中思维活动的具体体现。人工智能是研 它们之间有密切的关系。 图灵机的提出为现代计算机奠定基础一样，

制出具有智能行为的计算机系统。要想让 比如，在人工智能流派方面。人工智能 未来计算机系统的创新也取决于人类对离

计算机具有智能，最根本的和首要的是要 分为连接主义和符号主义两大流派。其中， 散结构、计算 (包括思维与推理)模型的研

计算机具有推理能力。而推理理论恰恰是 符号流派认为现实世界可以用符号串来表 究取得新的突破。计算机技术作为当今信

离散数学的重要组成部分。 示，即把我们的自然语言用符号的形式表示 息社会信息技术的核心，已经成为知识经

“离散数学课程”是介绍 “离散数学”各 出来。而语言的符号化正是数理逻辑研究的 济最强有力的技术支持，成为人们在工作、

分支的基本概念、基本理论和基本研究方 前提，也就是说只有把语言符号化后，计算 学习和生活中，获取信息、处理信息、运用

法、研究工具的基础课程，业已成为计算机 机才能真正进行推理，真正具有智能行为。 信息的重要工具。有