论文部分内容阅读
本文在Rough集上定义模态逻辑。并将这种逻辑的真值解释在Rough集上,使得古典模态逻辑的必然和可能真值统一为Roughly真值。文章还阐述了这种真值在近似推理中的应用。
基于Rough集的模态逻辑及其近似推理
【摘 要】
：
本文在Rough集上定义模态逻辑。并将这种逻辑的真值解释在Rough集上,使得古典模态逻辑的必然和可能真值统一为Roughly真值。文章还阐述了这种真值在近似推理中的应用。
【机 构】
：
南昌大学计算机科学与工程系
【出 处】
：
计算机应用与软件
【发表日期】
：
1999年04期
【基金项目】
：
国家自然科学基金的资助(编号:69773001))
其他文献
Fe3＋对固定于聚氯乙烯（PVC）膜中四甲氧基硫杂杯[4]芳烃有荧光猝灭作用,研制成测定光化学传感器,传感器敏感膜的最佳化学组成为：50 mg PVC粉、100 mg DOS和2.5 mg杯芳烃.在最佳pH
众所周知，实体－关系（Ｅ－Ｒ）方法是数据库概念模式设计中的一种非常实用的方法，它具有图形表示、分析容易、抽象性好、易读等优点。本文给出了一个基于Ｅ－Ｒ方法的时态数据模型，即时态实体－关系
本文引入模糊控制机制，对文献「１」的具有正态模型网络参数的前馈式模糊神经网络学习算法进行改进，提出了一种效率更好的Ｆ－ＢＰ学习算法。在此算法中，采用近似模糊推理技术来确定网络的
多目标优化问题是目前遗传算法应用研究的一个重点。本文针对经典遗传算法在多目标优化计算中，难以获得足够的比较均匀的Ｐａｒｅｔｏ优集的不足，提出一种热力学遗传算法，研究热力学中熵和温
随着软件的大规模化,其复杂性增大的同时,质量的提高也变得越来越重要。为此,各种各样的软件设计法被提出和应用,但得出的结构容易依赖于设计者的主观因素,这也是阻碍软件复用的原因之一。 本文考察机械制图原理并扩展到软件设计中,用功能数据关连表描述软件,再应用数量化理论3类进行结构化,提出了基于数量化理论3类的软件结构设计法。
文章从语用的角度探讨了公关言语领会的问题,提出了必须以具体的言语成品为依据,按照公众语言的具体规范理解话语文章以及充分利用言语环境完成公关言语领会的原则.
本文介绍了平面中线的思想来源及中线提取的基本原理，提出了一种解决平面中线提取的新方法，探讨了中线提取在有限元网格剖分中的应用。本文最后给出了平面多边形中线提取及其应