期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到4篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
数独基于规则的逐步枚举算法设计 被引量：15
1
作者 肖华勇 田铮 马雷 《计算机工程与设计》 CSCD 北大核心 2010年第5期1035-1037,1113,共4页
给出了数独(Sudoku)的6条性质,并在此基础上提出了6条推理规则,然后结合空格填写的一个一组,两个一组及更多个一组的枚举算法,在枚举中进行推理。使推理和枚举结合起来,对有唯一解的数独问题,其求解速度比回溯法快得多,同时也能完成许... 给出了数独(Sudoku)的6条性质,并在此基础上提出了6条推理规则,然后结合空格填写的一个一组,两个一组及更多个一组的枚举算法,在枚举中进行推理。使推理和枚举结合起来,对有唯一解的数独问题,其求解速度比回溯法快得多,同时也能完成许多数独软件无法进行推理计算的数独难题。用两个数独难题进行验证,表明该方法十分有效。 展开更多
关键词 数独 智力游戏 推理规则 逐步枚举 唯一解
下载PDF
基于嵌入式SQL的Datalog演绎规则解释器的设计 被引量：1
2
作者 胡虚怀 《计算机工程与应用》 CSCD 北大核心 2006年第3期168-171,174,共5页
文章提出了一个建立在传统关系数据库基础上的能支持ANSISQL与嵌入式SQL的演绎规则解释器。利用这个解释器,用户能够定义一个蕴含关系并可以像在演绎数据库中使用Datalog规则一样来提出查询。其方法是把演绎规则和查询翻译成嵌入式SQL程... 文章提出了一个建立在传统关系数据库基础上的能支持ANSISQL与嵌入式SQL的演绎规则解释器。利用这个解释器,用户能够定义一个蕴含关系并可以像在演绎数据库中使用Datalog规则一样来提出查询。其方法是把演绎规则和查询翻译成嵌入式SQL程序,该程序在执行查询时能被调用。这个解释器可以被认为是扩充RDBMS演绎查询功能的一个前端工具。 展开更多
关键词 演绎规则 递归查询 DATALOG 嵌入式SQL 解译器
下载PDF
否定表达的商业广告语用推理研究
3
作者 张燕 《齐齐哈尔大学学报（哲学社会科学版）》 2010年第6期131-133,共3页
本文从关联理论出发研究理解否定表达的商业广告的推理过程。研究表明,商业广告是一种明示推理交际,理解否定表达的商业广告的本质是"额外的处理努力带来额外的认知效果",将具体的演绎规则运用到否定表达的商业广告理解过程中... 本文从关联理论出发研究理解否定表达的商业广告的推理过程。研究表明,商业广告是一种明示推理交际,理解否定表达的商业广告的本质是"额外的处理努力带来额外的认知效果",将具体的演绎规则运用到否定表达的商业广告理解过程中,提出了以下理解过程:明示刺激—关联不合适—演绎推理—结论。 展开更多
关键词 关联理论 非论证式推理 明示-推理交际 演绎规则 关联不合适
下载PDF
粒空间中基于粒计算的粒语义推理
4
作者 闫林 张学栋 +1 位作者 魏雁天 何建仓 《模式识别与人工智能》 EI CSCD 北大核心 2008年第4期462-468,共7页
在论域上定义公式,并因其与粒相对应,使得粒空间得以形成.在粒空间中由粒之间的关系确定出粒语义推理,并对此进行讨论.通过粒计算,证得粒语义推理满足命题逻辑自然推理系统的每一推理规则,因此粒空间上的可靠性成立,这表明形式推理蕴涵... 在论域上定义公式,并因其与粒相对应,使得粒空间得以形成.在粒空间中由粒之间的关系确定出粒语义推理,并对此进行讨论.通过粒计算,证得粒语义推理满足命题逻辑自然推理系统的每一推理规则,因此粒空间上的可靠性成立,这表明形式推理蕴涵粒语义推理.尽管粒空间上的完备性不成立,但结果表明粒语义推理是各经典推理模式的扩充,所以粒语义推理既拓宽推理研究的范围,又引进粒计算的研究方法,促成粒计算与逻辑推理的进一步融合. 展开更多
关键词 粒空间 粒语义推理 推理规则
原文传递
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部