项目名称: 抽象约束回答集程序关键问题及在语义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

成为VIP会员查看完整内容
0

相关内容

【经典书】全局优化算法:理论与应用,820页pdf
专知会员服务
146+阅读 · 2021年11月10日
逆优化: 理论与应用
专知会员服务
35+阅读 · 2021年9月13日
专知会员服务
122+阅读 · 2021年6月12日
专知会员服务
43+阅读 · 2021年5月24日
专知会员服务
29+阅读 · 2021年4月12日
专知会员服务
30+阅读 · 2021年2月7日
专知会员服务
191+阅读 · 2020年10月14日
专知会员服务
33+阅读 · 2020年9月25日
专知会员服务
86+阅读 · 2020年8月2日
专知会员服务
41+阅读 · 2020年7月29日
KoPL: 面向知识的推理问答编程语言
学术头条
1+阅读 · 2021年11月10日
干货 | 知识图谱的技术与应用
深度学习与NLP
17+阅读 · 2018年6月15日
领域应用 | 知识图谱的技术与应用
开放知识图谱
17+阅读 · 2018年6月14日
【知识图谱】医学知识图谱构建技术与研究进展
产业智能官
44+阅读 · 2017年11月16日
漆桂林 | 知识图谱的应用
开放知识图谱
37+阅读 · 2017年9月26日
国家自然科学基金
9+阅读 · 2017年12月31日
国家自然科学基金
1+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
国家自然科学基金
1+阅读 · 2008年12月31日
Arxiv
0+阅读 · 2022年4月20日
Arxiv
0+阅读 · 2022年4月19日
Arxiv
100+阅读 · 2020年3月4日
Arxiv
11+阅读 · 2018年4月25日
小贴士
相关VIP内容
【经典书】全局优化算法:理论与应用,820页pdf
专知会员服务
146+阅读 · 2021年11月10日
逆优化: 理论与应用
专知会员服务
35+阅读 · 2021年9月13日
专知会员服务
122+阅读 · 2021年6月12日
专知会员服务
43+阅读 · 2021年5月24日
专知会员服务
29+阅读 · 2021年4月12日
专知会员服务
30+阅读 · 2021年2月7日
专知会员服务
191+阅读 · 2020年10月14日
专知会员服务
33+阅读 · 2020年9月25日
专知会员服务
86+阅读 · 2020年8月2日
专知会员服务
41+阅读 · 2020年7月29日
相关资讯
KoPL: 面向知识的推理问答编程语言
学术头条
1+阅读 · 2021年11月10日
干货 | 知识图谱的技术与应用
深度学习与NLP
17+阅读 · 2018年6月15日
领域应用 | 知识图谱的技术与应用
开放知识图谱
17+阅读 · 2018年6月14日
【知识图谱】医学知识图谱构建技术与研究进展
产业智能官
44+阅读 · 2017年11月16日
漆桂林 | 知识图谱的应用
开放知识图谱
37+阅读 · 2017年9月26日
相关基金
国家自然科学基金
9+阅读 · 2017年12月31日
国家自然科学基金
1+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
国家自然科学基金
1+阅读 · 2008年12月31日
微信扫码咨询专知VIP会员