非命题化的回答集程序推理算法、系统实现以及典型应用研究
基本信息
批准号：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：
发表时间：
2
针对弱边缘信息的左心室图像分割算法
针对弱边缘信息的左心室图像分割算法
DOI：10.3778/j.issn.1002-8331.1911-0012
发表时间：2020
3
基于综合治理和水文模型的广西县域石漠化小流域区划研究
基于综合治理和水文模型的广西县域石漠化小流域区划研究
DOI：10.14050/j.cnki.1672-9250.2017.02.014
发表时间：2017
4
非牛顿流体剪切稀化特性的分子动力学模拟
非牛顿流体剪切稀化特性的分子动力学模拟
DOI：10.7498/aps.70.20202116
发表时间：2021
5
中国出口经济收益及出口外资渗透率分析--基于国民收入视角
中国出口经济收益及出口外资渗透率分析--基于国民收入视角
DOI：10.12011/setp2020-2080
发表时间：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
项目类别：面上项目