带函数的回答集程序设计研究与实现

项目名称： 带函数的回答集程序设计研究与实现

项目编号： No.60963009

项目类型： 地区科学基金项目

立项/批准年度： 2010

项目学科： 金属学与金属工艺

项目作者： 王以松

作者单位： 贵州大学

项目金额： 20万元

中文摘要： 人工智能研究的核心问题之一就是知识表示与推理。回答集程序设计（ASP）提供了一种有效的模型化非单调知识表示及搜索方法的机制，并在包括常识推理、智能规划、智能诊断等领域得到广泛的应用。一般地，ASP语言并不包含一般的函数符号，从而可以通过Herbrand基将其转化到命题情形。尽管从语义上讲，允许函数符号并不会增强其语言的表达能力，但它的存在使得用逻辑语言描述问题更加简单。因此，研究带函数的回答集程序成为急需解决的重要课题。我们已经在正规逻辑程序中引入了一般的函数符号，提出了允许函数的回答集以及完备化与环公式概念。从理论上将这些结果推广到更一般的逻辑程序（带析取头、嵌套，带权约束）并实现基于约束可满足问题（CSP）系统的新求解系统是非常有价值的。从2006年开展CSP求解器竞赛以来，各种有效的CSP求解器脱颖而出，实现这样的新求解方法，不仅对ASP自身，而且对CSP的发展都是重要补充。

中文关键词： 回答集程序设计；环与环公式；可计算函数；描述逻辑程序；缺省逻辑

英文摘要：

英文关键词： Answer set programming；Loops and Loop Formulas；Evaluable Functions；Description Logic Programs；Default Logic