河南省自然科学基金(0611055200)

作品数：5被引量：11H指数：2
导出分析报告
相关作者：闫林魏雁天刘延王全蕊张聪品更多>>
相关机构：河南师范大学华中科技大学更多>>
相关期刊：《模式识别与人工智能》《广西师范大学学报（自然科学版）》《计算机研究与发展》《计算机科学》更多>>
相关主题：语义分析语义粒计算基于语义逻辑公式更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
反优势函数实现属性约简的粒计算分析与证明被引量：1
《广西师范大学学报（自然科学版）》2008年第3期104-109,共6页魏雁天 刘慧 闫林 庞善起 
国家自然科学基金资助项目(10571045);河南省自然科学基金资助项目(0611055200)
把基于逻辑公式的粒计算方法用于优势关系下反优势函数的理论分析。首先证明反优势函数对应的粒等于所有反优势关系的并,然后对反优势函数以及等价转换成的最简合取范式两者所产生粒之间的运算进行讨论。特别通过对合取范式中合取项所...
关键词：优势关系 反优势函数 反优势属性子集 析取范式 合取范式 
粒空间中基于粒计算的粒语义推理
《模式识别与人工智能》2008年第4期462-468,共7页闫林 张学栋 魏雁天 何建仓 
河南省自然科学基金资助项目(No.0611055200)
在论域上定义公式,并因其与粒相对应,使得粒空间得以形成.在粒空间中由粒之间的关系确定出粒语义推理,并对此进行讨论.通过粒计算,证得粒语义推理满足命题逻辑自然推理系统的每一推理规则,因此粒空间上的可靠性成立,这表明形式推理蕴涵...
关键词：粒空间 粒语义推理 推理规则 
语义桌面环境下的一种索引排序方法被引量：2
《计算机科学》2007年第12期219-221,共3页李胜 张新明 胡和平 卢正鼎 
河南省自然科学基金"粒逻辑语义推理和语法推理研究"(No0611055200)
个人计算机技术的不断发展使得传统的桌面检索和排序方式越来越不能满足用户的需求。本文给出了一种语义桌面环境下的桌面资源索引排序模型,并在PageRank和数据库的权威度传递图理论基础上提出了一种索引排序算法。与传统的检索排序方...
关键词：语义桌面 桌面搜索 权威度传递图 
模态逻辑公理的粗糙真语义分析被引量：4
《计算机研究与发展》2006年第11期1999-2004,共6页闫林 张聪品 
河南省自然科学基金项目(0611055200)
粗糙真是Pawlak粗糙逻辑的5个逻辑值之一,介于真与假之间.通过对论域Un上所有近似空间相互关系的讨论,构造了一类代数结构——格,这类格形成了特殊的克里普克语义模型.其目的就是要在这种模型中,对模态逻辑形式推理系统的公理进行语义分...
关键词：粗糙真 语义 粗糙真有效 粗糙真公理 
Rongh逻辑公式的语义分析及基于语义分析推理的研究被引量：5
《模式识别与人工智能》2006年第4期433-438,共6页闫林 王全蕊 刘延 
河南省自然科学基金(No.0611055200)
在粗糙集理论的近似空间M=(U,R)中展开讨论,其目的是要把Pawlak粗糙逻辑中的公式进行推广,将其所涉及的论域从与U有关扩展到n个U的笛卡尔积U^n之上,并对这些推广的n元公式进行研究,讨论以Paw-lak粗糙逻辑中的5种逻辑值为基础,并在n元公...
关键词：近似空间 粗糙真 粗糙假 等价关系 划分 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部