从人工智能看当代逻辑学的发展.pdfVIP

从人工智能看当代逻辑学的发展 陈波 3-27 ◣◣◣从人工智能看当代逻辑学的发展◢◢◢ ［摘要］ 本文认为， 计算机科学和人工智能将是 21 世纪逻辑学发展 的主要动力源泉，并且在很大程度上将决定 21 世纪逻辑学的面貌。 至少在 21 世纪早期，逻辑学将重点关注下列论题： （1）如何在逻辑 中处理常识推理的弗协调、非单调和容错性因素？（ 2）如何使机器 人具有人的创造性智能， 如从经验证据中建立用于指导以后行动的可 错的归纳判断？（ 3）如何进行知识表示和知识推理，特别是基于已 有的知识库以及各认知主体相互之间的知识而进行的推理？（ 4 ）如 何结合各种语境因素进行自然语言理解和推理， 使智能机器人能够用 人的自然语言和人进行成