文档介绍：逻辑学发展研究论文
［摘要］本文认为，计算机科学和人工智能将是21世 纪逻辑学发展的主要动力源泉，并且在很大程度上将决定21 世纪逻辑学的面貌。至少在21世纪早期，逻辑学将重点关 注下列论题：如何在逻辑中处理常识推理的弗协调、非单调 和容错性因素？如何使机器人具有人的创造性智能，如从经 验证据中建立用于指导以后行动的可错的归纳判断？如何 进行知识表示和知识推理，特别是基于已有的知识库以及各 认知主体相互之间的知识而进行的推理？如何结合各种语 境因素进行自然语言理解和推理，使智能机器人能够用人的 自然语言与人进行成功的交际？等等。
［关键词］人工智能，常识推理，归纳逻辑，广义内 涵逻辑，认知逻辑，自然语言逻辑
现代逻辑创始于19世纪末叶和20世纪早期，其发展 动力主要来自于数学中的公理化运动。当时的数学家们试图 即从少数公理根据明确给出的演绎规则推导出其他的数学 定理，从而把整个数学构造成为…个严格的演绎大厦，然后 用某种程序和方法一劳永逸地证明数学体系的可靠性。为此 需要发明和锻造严格、精确、适用的逻辑工具。这是现代逻 辑诞生的主要动力。由此造成的后果就是20世纪逻辑研究 的严重数学化，其表现在于：一是逻辑专注于在数学的形式
化过程中提出的问题；二是逻辑采纳了数学的方法论，从事 逻辑研究就意味着象数学那样用严格的形式证明去解决问 题。由此发展出来的逻辑被恰当地称为“数理逻辑”，它增 强了逻辑研究的深度，使逻辑学的发展继古希腊逻辑、欧洲 111世纪逻辑之后进入第三个高峰期，并且对整个现代科学特 别是数学、哲学、语言学和计算机科学产生了非常重要的影 响。
本文所要探讨的问题是：21世纪逻辑发展的主要动力 将来自何处？大致说来将如何发展？我个人的看法是：计算 机科学和人工智能将至少是21世纪早期逻辑学发展的主要 动力源泉，并将由此决肚21世纪逻辑学的另一幅而貌。由 丁人工智能耍模拟人的智能，它的难点不在于人脑所进行的 各种必然性推理，而是最能体现人的智能特征的能动性、创 造性思维，这种思维活动中包括学****抉择、尝试、修正、 推理诸因素，例如选择性地搜集相关的经验证据，在不充分 信息的基础上作出尝试性的判断或抉择，不断根据环境反馈 调整、修正自己的行为，……由此达到实践的成功。于是， 逻辑学将不得不比较全面地研究人的思维活动，并着重研究 人的思维中最能体现其能动性特征的各种不确定性推理，由 此发展出的逻辑理论也将具有更强的可应用性。
实际上，在20世纪中后期，就已经开始了现代逻辑与 人工智能之间的相互融合和渗透。例如，哲学逻辑所研究的 许多课题在理论计算机和人工智能屮具有重要的应用价值。
AI从认知心理学、社会科学以及决策科学中获得了许多资 源，但逻辑在AI中发挥了特别突出的作用。某些原因促使 哲学逻辑家去发展关于非数学推理
的理论；基于几乎同样的理由，AI研究者也在进行类 似的探索，这两方而的研究正在相互接近、相互借鉴，甚至 在逐渐融合在一起。例如，AI特别关心下述课题：
・效率和资源有限的推理；
•感知；
•做计划和计划再认；
•关于他人的知识和信念的推理；
・各认知主体之间相互的知识；
・自然语言理解；
・知识表示；
・常识的精确处理；
•对不确是性的处理，容错推理；
・关于时间和因果性的推理；
•解释或说明；
•对归纳概括以及概念的学****
1世纪的逻辑学也应该关注这些问题，并对之进行研究。 为了做到这一点，逻辑学家们有必要熟悉AI的要求及其相 关进展，使其研究成果在AI中具有可应用性。
我认为，至少是21世纪早期，逻辑学将会重点关注下
述几个领域，并且有可能在这些领域出现具有重大意义的成 果：如何在逻辑中处理常识推理中的弗协调、非单调和容错 性因素？如何使机器人具有人的创造性智能，如从经验证据 小建立用于指导以后行动的归纳判断？如何进行知识表示 和知识推理，特别是基于已有的知识库以及各认知主体相互 之间的知识而进行的推理？如何结合各种语境因素进行自 然语言理解和推理，使智能机器人能够用人的自然语言与人 进行成功的交际？等等。
、非单调和容错性因素
AI研究的一个目标就是用机器智能模拟人的智能，它 选择各种能反映人的智能特征的问题进行实践，希望能做出 各种具有智能特征的软件系统。AI研究基于计算途径，因此 要建立具有可操作性的符号模型。一般而言，AI关丁•智能系 统的符号模型可描述为：由一个知识载体和一组加载在KB 上的足以产生智能行为的过程构成。经过20世纪70年代包 括专家系统的发展，AI研究者逐步取得共识，认识到知识在 智能系统中力量，即一般的智能系统事实上是一种基于知识 的系统，而知识包括专门性知识和常识性知识，前者亦可看