逻辑学与人工智能整理.pdfVIP

逻辑学与人工智能 摘要：人工智能的产生与发展和逻辑学的发展密不可分。 逻辑学为人工智能的研 究提供了根本观点与方法， 而逻辑方法则是人工智能研究中的主要形式化 工具。笔者从逻辑学为人工智能的研究提供理论基础出发，讨论了经典逻 辑和非经典逻辑在人工智能中的应用， 以及人工智能在逻辑学发展方向上 的影响与作用。 关键词：人工智能，经典逻辑，非经典逻辑 人工智能主要研究用人工方法模拟和扩展人的智能， 最终实现机器智能。 人 工智能研究与对人的思维研究密切相关。 逻辑学始终是人工智能研究中的基础科 学问题，它为人工智能研究提供了根本观点与方法。 一、人工智能学科的诞生 智能和逻辑是同源的， 它们从不同的侧面研究同一个问题， 因而人工智能的 诞生与逻辑学的发展是密不可分的。 12 世纪末 13 世纪初，西班牙逻辑学家罗门·卢乐提出了制造可解决各种问 题的通用逻辑机，初步揭示了人类思