几种非单调逻辑系统的评述

几种非单调逻辑系统的评述 A COMPREHENSIVE REVIEW OF NONMONOTONIC LOGIC 周祥和 Zhou Xianghe 1 first-author 武汉大学计算机科学系 武汉大学计算机科学系 Department of Computer Science,Wuhan University Department of Computer Science,Wuhan University 随着人工智能方法和技术研究的深入,传统逻辑（数理逻辑）已不能满足人工智能应用的需要。近年来,非单调逻辑的研究越来越受到人工智能界、哲学界、心理学界理论工作者的广泛关注。本文综述了几种人工智能领域中有应用前景的非单调逻辑系统,即全域假设、模态逻辑、默认逻辑和约束逻辑。文章对这几种非单调逻辑系统的基本思想、存在问题及相互关系作了详细论述。 We present a comprehensive review of four kinds of formalisms of non- monotonic reasoning originally developed by Reiter,McCarthy and Doyle et al.Included are the closed world assumption（Reiter）,the default logic（Reiter）, the circumscription（McCarthy）and the modal logic（McDermott and Doyle）.The review incorporates some comparisons on the merits and the shortcomings of the four formalisms.The review has the serious purpose of emphasizing that the discovery of a single theory embracing all the seemingly disparate sett ings in AI where non monotonic reasoning arises would bea challenge problem for AI researchers. 非单调逻辑 非单调推理 全域假设 模态逻辑 默认逻辑 约束逻辑 non-monotonic logic non-monotonic reasoning closed world assumption（CWA） modal logic default logic circumscription 1990-01-01 2021-04-01 1