非命题化的回答集程序推理算法、系统实现以及典型应用研究
基本信息
批准号：60673103
项目类别：面上项目
资助金额：29.00
负责人：沈一栋
学科分类：
依托单位：中国科学院软件研究所
批准年份：2006
结题年份：2009
起止时间：2007-01-01 - 2009-12-31
项目状态： 已结题
项目参与者：周能法,犹嘉槐,苏柏,沈志勇,杜剑峰,孙军
关键词：
回答集程序设计逻辑程序推理程序命题化
结项摘要
回答集程序设计（ASP）是近年来人工智能知识表达和说明性程序设计中发展最快的一个研究领域，其理论意义和应用前景已为学术界所公认。国际上现有的代表性ASP推理算法和系统都基于程序命题化，它们需要把一个ASP程序变换成一个不含变量的命题程序，然后计算这个命题程序的回答集。基于程序命题化的ASP算法存在的主要问题是可扩展性差，难以处理规模较大的程序，而且不能处理函数符号。因此探索新的ASP推理算法使其具
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
面向云工作流安全的任务调度方法
面向云工作流安全的任务调度方法
DOI：10.7544/issn1000-1239.2018.20170425
发表时间：2018
2
TGF-β1-Smad2/3信号转导通路在百草枯中毒致肺纤维化中的作用
TGF-β1-Smad2/3信号转导通路在百草枯中毒致肺纤维化中的作用
DOI：10.13692/ j.cnki.gywsy z yb.2016.03.002
发表时间：2016
3
生物炭用量对东北黑土理化性质和溶解有机质特性的影响
生物炭用量对东北黑土理化性质和溶解有机质特性的影响
DOI：10.19336/j.cnki.trtb.2020112601
发表时间：2021
4
煤/生物质流态化富氧燃烧的CO_2富集特性
煤/生物质流态化富氧燃烧的CO_2富集特性
DOI：10.11949/j.issn.0438-1157.20180900
发表时间：2018
5
聚酰胺酸盐薄膜的亚胺化历程研究
聚酰胺酸盐薄膜的亚胺化历程研究
DOI：10.3969/j.issn.1005-5770.2022.09.012
发表时间：2022
沈一栋的其他基金
批准号：61379043
批准年份：2013
资助金额：76.00
项目类别：面上项目
批准号：69883009
批准年份：1998
资助金额：12.00
项目类别：专项基金项目
批准号：60970045
批准年份：2009
资助金额：31.00
项目类别：面上项目
批准号：60373052
批准年份：2003
资助金额：24.00
项目类别：面上项目
批准号：69483006
批准年份：1994
资助金额：7.00
项目类别：专项基金项目
相似国自然基金
1
带函数的回答集程序设计研究与实现
批准号：60963009
批准年份：2009
负责人：王以松
学科分类：F06
资助金额：20.00
项目类别：地区科学基金项目
2
命题公式有效推理的特殊变元集及算法研究
批准号：60863005
批准年份：2008
负责人：许道云
学科分类：F0201
资助金额：26.00
项目类别：地区科学基金项目
3
通用型回答集程序关键问题研究
批准号：61379043
批准年份：2013
负责人：沈一栋
学科分类：F0201
资助金额：76.00
项目类别：面上项目
4
抽象约束回答集程序关键问题及在语义Web中的应用研究
批准号：60970045
批准年份：2009
负责人：沈一栋
学科分类：F0201
资助金额：31.00
项目类别：面上项目