正则无析取缺省理论  

作　　者：Xi-ShunZhao 

机构地区：[1]InstituteofLogicandCognition,SunYat-SenUniversity,Guangzhou510275,P.R.China

出　　处：《Journal of Computer Science & Technology》2004年第C00期18-18,共1页计算机科学技术学报（英文版）

摘　　要：知识表示和推理一直是人工智能领域中的一个非常重要的研究课题。早在1958年，McCharthy就提倡用逻辑方法来研究知识表示和推理以达到人工智能的目的。Reiter的缺省逻辑就是最有效的工具之一，这是因为它能够很好地刻画和处理不完全信息下的推理。然而，缺省逻辑并不是完美无缺的。首先，有的缺省理论没有扩充。这样的缺省理论是没有意义的。其次，缺省推理具有高难度。在一般情况下，缺省推理处在复杂性分层的第二层上。即使对于disjunction-free缺省逻辑，它的复杂性也是NP-完全的。

关 键 词：知识表示 人工智能 缺省推理 扩充 正则 复杂性 分层 NP-完全 刻画 逻辑 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程] O157.5[自动化与计算机技术—控制科学与工程]