信息系统中逻辑公式的粗糙真研究及应用

摘要：

采用逻辑的方法在完备信息系统中展开讨论,通过对公式及公式语义的定义,引出了公式的语义在信息系统上均匀分布的概念.为了对此进行研究,利用Pawlak上近似定义了逻辑公式的粗糙真,其目的就是通过公式的粗糙真对公式语义的均匀分布进行分析.进而,得到了关于粗糙真的相应结论以及如何利用这些结论判定析取特征公式粗糙真的算法.在此基础上,通过信息系统的实例讨论了粗糙真在判定析取特征公式语义均匀分布的具体应用.

关键词：粗糙真、均匀分布、语义、公式

所属期刊栏目：42

分类号：TP18(自动化基础理论)

资助基金：国家自然科学基金0611055200

在线出版日期：2006-11-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：71-74