人工智能与现今逻辑学的进展 ［摘要］本文认为，计算机科学和人工智能将是 21 世纪逻辑学进展的主要动力源泉，并且在很大程度上将决定 21 世纪逻辑学的面貌。至少在 21 世纪早期，逻辑学将重点关注下列论题：如何在逻辑中处理常识推理的弗协调、非单调和容错性因素？如何使机器人具有人的制造性智能，如从经验证据中建立用于指导以后行动的可错的归纳推断？如何进行知识表示和知识推理，特别是基于已有的知识库以及各认知主体相互之间的知识而进行的推理？如何结合各种语境因素进行自然语言理解和推理，使智能机器人能够用人的自然语言与人进行成功的交际？等等。［关键词］人工智能，常识推理，归纳逻辑，广义内涵逻辑，认知逻辑，自然语言逻辑现代逻辑创始于 19 世纪末叶和 20 世纪早期，其进展动力主要来自于数学中的公理化运动。当时的数学家们试图即从少数公理根据明确给出的演绎规则推导出其他的数学定理，从而把整个数学构造成为一个严格的演绎大厦，然后用某种程序和方法一劳永逸地证明数学体系的可靠性。为此需要发明和锻造严格、精确、适用的逻辑工具。这是现代逻辑诞生的主要动力。由此造成的后果就是 20 世纪逻辑讨论的严重数学化，其表现在于：一是逻辑专注于在数学的形式化过程中提出的问题；二是逻辑采纳了数学的方法论，从事逻辑讨论就意味着象数学那样用严格的形式证明去解决问题。由此进展出来的逻辑被恰当地称为“数理逻辑”，它增强了逻辑讨论的深度，使逻辑学的进展继古希腊逻辑、欧洲中世纪逻辑之后进入第三个高峰期，并且对整个现代科学特别是数学、哲学、语言学和计算机科学产生了非常重要的影响。本文所要探讨的问题是：21 世纪逻辑进展的主要动力将来自何处？大致说来将如何进展？我个人的看法是：计算机科学和人工智能将至少是 21 世纪早期逻辑学进展的主要动力源泉，并将由此决定 21 世纪逻辑学的另一幅面貌。由于人工智能要模拟人的智能，它的难点不在于人脑所进行的各种必定性推理，而是最能体现人的智能特征的能动性、制造性思维，这种思维活动中包括学习、抉择、尝试、修正、推理诸因素，例如选择性地搜集相关的经验证据，在不充分信息的基础上作出尝试性的推断或抉择，不断根据环境反馈调整、修正自己的行为，……由此达到实践的成功。于是，逻辑学将不得不比较全面地讨论人的思维活动，并着重讨论人的思维中最能体现其能动性特征的各种不确定性推理，由此进展出的逻辑理论也将具有更强的可应...
