作者：黄志鑫逻辑学人工智能逻辑主义逻辑方法
摘要：20世纪中期以来,计算机科学以撼世惊人的速度不断向前发展.作为其核心分支的人工智能研究亦取得了一次又一次的突破,并且以其不断逼近与挑战人类智能的姿态而引人注目.在人工智能成就的背后,逻辑学是促其前行的最主要动力引擎之一.逻辑为人工智能提供了根本性的观点与方法,并促成了人工智能研究中最主要派别--逻辑主义AI.而有着漫长学科发展史的逻辑学本身也在与人工智能的结姻过程中获得了自数学公理化、形式化运动以来的又一次全新发展契机.有论者认为"人工智能将是21世纪逻辑学发展的主要动力源泉,并且在很大程度上将决定21世纪逻辑学的面貌".[1]
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
