基于回答集语义的约束逻辑程序设计
基本信息
批准号：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.19596/j.cnki.1001-246x.8419
发表时间：2022
2
Himawari-8/AHI红外光谱资料降水信号识别与反演初步应用研究
Himawari-8/AHI红外光谱资料降水信号识别与反演初步应用研究
DOI：
发表时间：2020
3
煤/生物质流态化富氧燃烧的CO_2富集特性
煤/生物质流态化富氧燃烧的CO_2富集特性
DOI：10.11949/j.issn.0438-1157.20180900
发表时间：2018
4
一类基于量子程序理论的序列效应代数
一类基于量子程序理论的序列效应代数
DOI：10.3969/j.issn.0583-1431.2020.06.010
发表时间：2020
5
基于体素化图卷积网络的三维点云目标检测方法
基于体素化图卷积网络的三维点云目标检测方法
DOI：10.3788/IRLA20200500
发表时间：2021
张明义的其他基金
批准号：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
项目类别：专项基金项目