正则无析取缺省理论 |
| |
作者姓名: | Xi-ShunZhao |
| |
作者单位: | InstituteofLogicandCognition,SunYat-SenUniversity,Guangzhou510275,P.R.China |
| |
摘 要: | 知识表示和推理一直是人工智能领域中的一个非常重要的研究课题。早在1958年,McCharthy就提倡用逻辑方法来研究知识表示和推理以达到人工智能的目的。Reiter的缺省逻辑就是最有效的工具之一,这是因为它能够很好地刻画和处理不完全信息下的推理。然而,缺省逻辑并不是完美无缺的。首先,有的缺省理论没有扩充。这样的缺省理论是没有意义的。其次,缺省推理具有高难度。在一般情况下,缺省推理处在复杂性分层的第二层上。即使对于disjunction-free缺省逻辑,它的复杂性也是NP-完全的。
|
关 键 词: | 知识表示 人工智能 缺省推理 扩充 正则 复杂性 分层 NP-完全 刻画 逻辑 |
本文献已被 维普 等数据库收录! |
|