内容摘要：20世纪中期以来，计算机科学以撼世惊人的速度不断向前发展。作为其核心分支的人工 智能研究亦取得了一次又一次的突破，并且以其不断逼近与挑战人类智能的姿态而引人注目。 在人工智能成就的背后，逻辑学是促其前行的最主要动力引擎之一。逻辑为人工智能提供了 根本性的观点与方法，并促成了人工智能研究中最主要派别——逻辑主义AI。而有着漫长学 科发展史的逻辑学本身也在与人工智能的结姻过程中获得了白数学公理化、形式化运动以来 的又一次全新发展契机。有论者认为“人工智能将是2l世纪逻辑学发展的主要动力源泉，并 且在很大程度上将决定21世纪逻辑学的面貌
关键词：人工智能;逻辑
作者简介：
