抽象约束回答集程序关键问题及在语义Web中的应用研究

项目名称： 抽象约束回答集程序关键问题及在语义Web中的应用研究

项目编号： No.60970045

项目类型： 面上项目

立项/批准年度： 2010

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

项目作者： 沈一栋

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

项目金额： 31万元

中文摘要： 回答集程序设计（ASP）特别适用于组合搜索问题的表达和推理，是目前人工智能知识表达和说明性程序设计中最有影响且发展最快的一个研究领域。为使ASP具有更强的表达能力以适应更多的应用需求，最近几年，国际学术界将注意力转到研究带抽象约束的ASP程序。抽象约束具有非常强的表达能力，用它可以表达很多有限值域的约束，包括在数据库中大量使用的聚集函数等。特别是，最新研究表明抽象约束还可用于语义Web中的规则与本体集成，后者是语义Web领域目前一个很热门的研究方向。本项研究的目标是建立抽象约束ASP程序的语义模型，并将其应用到语义Web以建立"规则+本体"集成知识库的语义模型。这是目前ASP和语义Web领域具有挑战性的研究课题，主要内容包括：抽象约束ASP程序的语义模型研究，语义Web规则与本体的集成方法研究，抽象约束的存储结构研究，以及抽象约束ASP程序和语义Web集成知识库的推理算法与实现技术研究。

中文关键词： 回答集程序设计；逻辑程序设计；知识表达；语义web；人工智能

英文摘要：

英文关键词： answer set programming；logic programming；knowledge representation；semantic web；artificial intelligence