基于回答集语义的约束逻辑程序设计
基本信息
批准号：60573009
项目类别：面上项目
资助金额：26.00
负责人：张明义
学科分类：
依托单位：贵州科学院
批准年份：2005
结题年份：2008
起止时间：2006-01-01 - 2008-12-31
项目状态： 已结题
项目参与者：犹嘉槐,杨静,王以松,陈武,汪慎文,甘敏,张颖,马新强,章衡
关键词：
约束逻辑程序设计回答集修正程序
结项摘要
上世纪八十年代后期发展起来的基于回答集语义的逻辑程序理论，开辟了非单调逻辑程序领域的新研究方向，成为计算机科学和人工智能研究的一个热点。允许经典否定、否定即失败(negation as failure)和嵌套表达式(nested expression)出现在规则中以及可计算回答集软件系统的出现，极大地扩大了逻辑程序表示不完全知识和推理的能力。用逻辑形式化数据库的概念和技术导致一个重要的研究方向-
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
针对弱边缘信息的左心室图像分割算法
针对弱边缘信息的左心室图像分割算法
DOI：10.3778/j.issn.1002-8331.1911-0012
发表时间：2020
2
基于直觉模糊二元语义交互式群决策的技术创新项目选择
基于直觉模糊二元语义交互式群决策的技术创新项目选择
DOI：10.12005/orms.2019.0029
发表时间：2019
3
土体约束对海底管道整体屈曲的影响机理研究
土体约束对海底管道整体屈曲的影响机理研究
DOI：10.11759/hykx20170605001
发表时间：2018
4
WMTL-代数中的蕴涵滤子及其应用
WMTL-代数中的蕴涵滤子及其应用
DOI：10.11897/SP.J.1016.2018.00886
发表时间：2018
5
一类正则化参数自由的线性约束凸优化问题的预测一校正算法
一类正则化参数自由的线性约束凸优化问题的预测一校正算法
DOI：
发表时间：2020
张明义的其他基金
批准号：51872068
批准年份：2018
资助金额：60.00
项目类别：面上项目
批准号：19861002
批准年份：1998
资助金额：7.50
项目类别：地区科学基金项目
批准号：41171060
批准年份：2011
资助金额：25.00
项目类别：面上项目
批准号：51778312
批准年份：2017
资助金额：60.00
项目类别：面上项目
批准号：10161005
批准年份：2001
资助金额：14.00
项目类别：地区科学基金项目
批准号：51278261
批准年份：2012
资助金额：80.00
项目类别：面上项目
批准号：90718009
批准年份：2007
资助金额：50.00
项目类别：重大研究计划
批准号：50678086
批准年份：2006
资助金额：28.00
项目类别：面上项目
批准号：40601023
批准年份：2006
资助金额：30.00
项目类别：青年科学基金项目
批准号：51501171
批准年份：2015
资助金额：22.00
项目类别：青年科学基金项目
批准号：41471063
批准年份：2014
资助金额：94.00
项目类别：面上项目
批准号：51078196
批准年份：2010
资助金额：45.00
项目类别：面上项目
批准号：51402076
批准年份：2014
资助金额：25.00
项目类别：青年科学基金项目
相似国自然基金
1
基于回答集语义的观点挖掘方法研究
批准号：61702279
批准年份：2017
负责人：刘倩
学科分类：F0211
资助金额：25.00
项目类别：青年科学基金项目
2
带函数的回答集程序设计研究与实现
批准号：60963009
批准年份：2009
负责人：王以松
学科分类：F06
资助金额：20.00
项目类别：地区科学基金项目
3
抽象约束回答集程序关键问题及在语义Web中的应用研究
批准号：60970045
批准年份：2009
负责人：沈一栋
学科分类：F0201
资助金额：31.00
项目类别：面上项目
4
约束归纳逻辑程序设计的研究
批准号：69883001
批准年份：1998
负责人：刘椿年
学科分类：F0203
资助金额：12.00
项目类别：专项基金项目