河南省自然科学基金(0611055200)
- 作品数：5 被引量：11H指数：2
- 相关作者：闫林魏雁天刘延王全蕊张聪品更多>>
- 相关机构：河南师范大学华中科技大学更多>>
- 发文基金：河南省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 粒空间中基于粒计算的粒语义推理
- 2008年
- 在论域上定义公式,并因其与粒相对应,使得粒空间得以形成.在粒空间中由粒之间的关系确定出粒语义推理,并对此进行讨论.通过粒计算,证得粒语义推理满足命题逻辑自然推理系统的每一推理规则,因此粒空间上的可靠性成立,这表明形式推理蕴涵粒语义推理.尽管粒空间上的完备性不成立,但结果表明粒语义推理是各经典推理模式的扩充,所以粒语义推理既拓宽推理研究的范围,又引进粒计算的研究方法,促成粒计算与逻辑推理的进一步融合.
- 闫林张学栋魏雁天何建仓
- 模态逻辑公理的粗糙真语义分析被引量：4
- 2006年
- 粗糙真是Pawlak粗糙逻辑的5个逻辑值之一,介于真与假之间.通过对论域Un上所有近似空间相互关系的讨论,构造了一类代数结构——格,这类格形成了特殊的克里普克语义模型.其目的就是要在这种模型中,对模态逻辑形式推理系统的公理进行语义分析.这种分析不限于真与假的二值讨论,而主要对粗糙真进行重点研究.最终的结果表明模态逻辑形式系统的公理在这类特殊语义模型中基本都粗糙真有效.从而也得到了利用某些公理进行粗糙真形式推理的可靠性.
- 闫林张聪品
- 关键词：语义
- Rongh逻辑公式的语义分析及基于语义分析推理的研究被引量：5
- 2006年
- 在粗糙集理论的近似空间M=(U,R)中展开讨论,其目的是要把Pawlak粗糙逻辑中的公式进行推广,将其所涉及的论域从与U有关扩展到n个U的笛卡尔积U^n之上,并对这些推广的n元公式进行研究,讨论以Paw-lak粗糙逻辑中的5种逻辑值为基础,并在n元公式上对此进行推广定义,针对这些关于n元公式的粗糙逻辑值,从语义出发,研究n元公式之间的逻辑推理关系,其结果是经典逻辑中的一些逻辑推理的结论对于某些粗糙逻辑值仍然成立,但自然也增添新的性质。
- 闫林王全蕊刘延
- 关键词：等价关系
- 语义桌面环境下的一种索引排序方法被引量：2
- 2007年
- 个人计算机技术的不断发展使得传统的桌面检索和排序方式越来越不能满足用户的需求。本文给出了一种语义桌面环境下的桌面资源索引排序模型,并在PageRank和数据库的权威度传递图理论基础上提出了一种索引排序算法。与传统的检索排序方式相比,本方法能更好地反映查询与检索结果之间的相关程度以及结果的重要程度次序。实验表明,本方法在时间效率和空间占用方面均能适应目前普通个人计算机的处理能力。本方法在语义桌面以及桌面搜索等相关领域有着广泛的应用前景。
- 李胜张新明胡和平卢正鼎
- 关键词：语义桌面桌面搜索
- 反优势函数实现属性约简的粒计算分析与证明被引量：1
- 2008年
- 把基于逻辑公式的粒计算方法用于优势关系下反优势函数的理论分析。首先证明反优势函数对应的粒等于所有反优势关系的并,然后对反优势函数以及等价转换成的最简合取范式两者所产生粒之间的运算进行讨论。特别通过对合取范式中合取项所生成粒的研究,证明了与反优势函数等价的最简合取范式中所有的合取项就是信息系统属性集的全部约简,从而以粒计算为工具完成优势关系下对反优势函数实现信息系统属性约简的理论证明。
- 魏雁天刘慧闫林庞善起
- 关键词：析取范式合取范式
