析取逻辑程序，命题缺省逻辑及其它相同复杂度问题的研究

项目名称： 析取逻辑程序，命题缺省逻辑及其它相同复杂度问题的研究

项目编号： No.61173010

项目类型： 面上项目

立项/批准年度： 2012

项目学科： 自动化技术、计算机技术

项目作者： 陈寅

作者单位： 华南师范大学

项目金额： 52万元

中文摘要： 析取逻辑程序和命题缺省逻辑是非单调推理领域的两个重要分支。基于析取逻辑程序回答集语义和基于命题缺省逻辑扩充的推理问题的计算复杂度都处在复杂度的多项式分层的第二层。与上述问题的计算复杂度相同的标准逻辑问题是2QBF。 本项目计划研究析取逻辑程序，命题缺省逻辑以及2QBF问题之间的联系，以此为基础研究析取逻辑程序和命题缺省逻辑的求解和计算，并进一步考虑这些结果在人工智能和知识表示与推理领域的其它相同复杂度的问题中的应用。

中文关键词： 回答集逻辑程序；缺省逻辑；析取逻辑程序；；

英文摘要：

英文关键词： answer set logic program；default logic；disjunctive logic program；；