刘延
- 作品数：2 被引量：6H指数：2
- 供职机构：河南师范大学计算机与信息技术学院更多>>
- 发文基金：河南省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 信息系统中逻辑公式的粗糙真研究及应用被引量：2
- 2006年
- 采用逻辑的方法在完备信息系统中展开讨论,通过对公式及公式语义的定义,引出了公式的语义在信息系统上均匀分布的概念。为了对此进行研究,利用Pawlak上近似定义了逻辑公式的粗糙真,其目的就是通过公式的粗糙真对公式语义的均匀分布进行分析。进而,得到了关于粗糙真的相应结论以及如何利用这些结论判定析取特征公式粗糙真的算法。在此基础上,通过信息系统的实例讨论了粗糙真在判定析取特征公式语义均匀分布的具体应用。
- 闫林刘延王全蕊
- 关键词：均匀分布语义
- Rongh逻辑公式的语义分析及基于语义分析推理的研究被引量：5
- 2006年
- 在粗糙集理论的近似空间M=(U,R)中展开讨论,其目的是要把Pawlak粗糙逻辑中的公式进行推广,将其所涉及的论域从与U有关扩展到n个U的笛卡尔积U^n之上,并对这些推广的n元公式进行研究,讨论以Paw-lak粗糙逻辑中的5种逻辑值为基础,并在n元公式上对此进行推广定义,针对这些关于n元公式的粗糙逻辑值,从语义出发,研究n元公式之间的逻辑推理关系,其结果是经典逻辑中的一些逻辑推理的结论对于某些粗糙逻辑值仍然成立,但自然也增添新的性质。
- 闫林王全蕊刘延
- 关键词：等价关系
