论文部分内容阅读
随着人工智能方法和技术研究的深入,传统逻辑(数理逻辑)已不能满足人工智能应用的需要。近年来,非单调逻辑的研究越来越受到人工智能界、哲学界、心理学界理论工作者的广泛关注。本文综述了几种人工智能领域中有应用前景的非单调逻辑系统,即全域假设、模态逻辑、默认逻辑和约束逻辑。文章对这几种非单调逻辑系统的基本思想、存在问题及相互关系作了详细论述。