人工智能逻辑推理论文.doc.pdfVIP

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