通用型回答集程序关键问题研究

项目名称： 通用型回答集程序关键问题研究

项目编号： No.61379043

项目类型： 面上项目

立项/批准年度： 2013

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

项目作者： 沈一栋

作者单位： 中国科学院软件研究所

项目金额： 76万元

中文摘要： 回答集程序设计（ASP）是目前人工智能知识表达和说明性程序设计中最为活跃的一个研究领域，它特别适用于组合搜索问题的表达和推理。为使ASP满足更广泛的应用需求，近年来，国际学术界开始研究表达能力更强的ASP程序，称为通用型ASP程序，它允许规则中含有一阶逻辑公式、抽象约束、外部知识源查询等。这些复杂表达式的引入使得原有的ASP语义模型和推理算法不再可用，并且引出了多个挑战性问题。对通用型ASP程序，现有方法不能正确处理缺省否定算子（会产生不正确回答集），不能正确处理if-then规则算子（会产生循环论证回答集），不能有效处理抽象约束（难于区分什么解答需要极小化，什么解不能被极小化），并且只能处理简单ASP程序与外部多知识源的集成。本项研究的目标是解决通用型ASP程序目前存在的这些关键问题，我们将提出新的语义模型和推理算法，分析它们的计算复杂性，研究系统实现技术，并应用到国际主流ASP系统中。

中文关键词： 回答集程序设计；知识表示与推理；人工智能；；

英文摘要： Answer set programming (ASP) is one of the most active research areas in knowledge representation and declarative programming in artificial intelligence; it is particularly suitable for representing and reasoning with combinatorial search problems. To mee

英文关键词： Answer set programming；Knowledge representation and reasoning；Artificial intelligence；；