计算机科学哲学与逻辑主义人工智能（人工智能逻辑）.docVIP

西南大学研究生 课程论文 课程名称 人工智能逻辑 院 、所、中心 计算机与信息科学学院 专 业 逻辑学 研究方向 现代逻辑 级 别 2011级博士研究生 学 年 2011-2012学年 学 期 第二学期 姓 名 王善侠 学 号 012011321000210 成 绩 2012年06月17日 计算机科学与逻辑主义人工智能 【摘要】随着计算机科学的飞速发展，作为其核心分支的人工智能研究亦取得了一次又一次的突破。本文从三个方面来说明分析计算机科学哲学问题、人工智能取得重要成就的动力来源以及人工智能与逻辑主义的互动发展。包括：计算机科学哲学的问题与发展、逻辑主义人工智能的定义、人工智能的逻辑方法。 【关键词】计算机科学，逻辑主义人工智能 计算机科学的诞生可以追溯到20世纪40年代，可以说它是一门年轻的学科。在过去的60多年里，计算机科学给人们提供了解释现象的各种方法，并以惊人的速度不断向前发展。在电子数字计算机短短的发展历史中，学科交叉使计算机科学的发展成为可能，但这个领域的迅速扩张使人们感到定义计算机科学的困难。例如，难以把握计算机科学最为本质的特征，甚至连计算机科学究竟是“科学”还是“技术”这个问题都存有很大的争议；另外，很难找到一组确定的规则来指导计算机科学的研究发展，计算机科学的研究包括系统体系结构、软件理论和应用技术等多个方向，涵盖系统科学、程序设计、逻辑学、自然语言处理、人工智能等多个领域[1]。伴随着计算机科学的发展，计算机科学哲学问题已引起人们的深入思考。在计算机科学所产生的一系列的特定问题中，什么是计算机科学哲学（PCS）是首要的问题。 计算机科学飞速发展，作为其核心分支的人工智能研究领域亦取得一次又一次的突破，并且以其不断接近和挑战人类智能的姿态而引人注目。在人工智能成就的背后，有它重要的动力来源，那就是逻辑学。逻辑为人工智能的发展提供了根本的观点和方法，并促成了人工智能研究中的最主要的派别—人工智能逻辑主义[2]。在人工智能方面的科学哲学可以称之为人工智能哲学。有着漫长发展史的逻辑学在与人工智能研究的互动中获得了自数学公理化、形式化以来的又一次全新发展契机。人工智能将是21世纪逻辑学发展的主要动力源泉，并在很大程度上决定21世纪逻辑学的面貌[3]。 1计算机科学哲学的问题及发展 大致说来，计算机科学研究有三个传统，即数学传统、工程学传统、经验科学传统。计算机科学的哲学问题包括这三个传统引发的哲学问题以及计算机对社会的影响问题[1]。 （1）数学传统。1936-1969年间，现代计算机科学主要研究“机械结构解释的广度和局限”。早期的计算“科学家”是发展自动理论、探究可计算性、研究计算基础及符号化得数学家。理论的计算机科学把计算机程序看做是数学客体。“计算机程序是数学表达式”。“计算机程序的建立就像解决微分方程一样是数学问题”。早期的程序语言是用来解决数学分析和符号处理中的问题的。 （2）工程学传统。自从软件危机爆发后，计算机科学的研究焦点转向可靠、高效、可持续的软件工程。计算机工程师把软件看成人工产品。“第三代”程序语言把注意力集中在与工程相关的领域，包括模件、可靠性和再利用。 （3）经验科学传统。软件科学是把计算机科学看成关于“自然类”的学科，虽然它认可数学模型的分析方法，但它把计算机程序看成“自然现象”，而不是数学客体。软件科学包括观察、分析、检测和经验证实的科学方法。软件科学的成就程序语言和范式、形式方法和程序验证、软件进化定律、软件复杂性等。 由计算机科学引出的哲学问题大致包括以下几类[4]： （1）对存在论的挑战。一般意义上的存在论是关于事物实在性的研究，他企图把真实的（或实际存在的）与不真实的（如假冒的、幻觉的）东西区别开来。但是在计算机虚拟现实（VR）情境下，“虚拟的‘现实’是你能够触摸和感受的一种实在，就像我们用真实的感官来看和听一样。”[5]如果真是这样，那么存在就必须面对如下问题：首先，什么是实在或实体？传统概念要么指物质实在（如人之外的自然物），要么是指精神实在（如弗洛伊德的“潜意思”），但是随着虚拟现实问题的提出，实在概念是不是必须发生根本变化？实在概念要不要包括“虚拟物”和以及虚拟世界中具有代理软件功能的专家系统。其