带Rough相等关系词的Rough逻辑系统及其推理

• 作者: 刘斓 刘清 江娟 郑非
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: Rough相等关系 Rough集 Rough逻辑 演绎推理
• 年，卷（期）: 2003,（1）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 39-44
• 页数: 6页
• 分类号: TP301
• 字数: 5987字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2003.01.006

摘要

以公式的定义域集的下和上近似分别相等方法,定义了两个Rough逻辑公式Rough相等,并以此定义了Rough相等关系词"=R",它不仅比等值词"←→"运算有更多的直观性,而且既考虑了可定义的公式,也包含了那些在边界线上不可定义或可能可定义的公式.所以,经典逻辑中的隐含式φ→ψ被移至Rough逻辑中应当解释为R*(d(φ)) R*(d(ψ))∧R*(d(φ)) R*(d(ψ)).经典逻辑中的等值式φ←→ψ被移至Rough逻辑中应当解释为R*(d(φ))=R*(d(ψ))∧R*(d(φ))=R*(d(ψ)),其中d(F)是公式F的定义区域,它可能是可定义集,也可能是不可定义集或Rough集.这是Rough逻辑与经典逻辑或其它非标准逻辑的重要区别之一,将这种Rough相等词"=R,,引入Rough逻辑中,因而得到了一些相关的性质和相关的推理规则.文中建立了带Rough相等关系词"=R"的Rough逻辑推理系统,并在这个系统下用演绎推理方法证明了几个具体的实例.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘清	南昌大学计算机科学系	40	765	12.0	27.0
2	刘斓	南昌大学计算机科学系	15	88	5.0	9.0
3	江娟	杭州电子工学院计算机系	4	26	2.0	4.0
4	郑非	南昌大学计算机科学系	2	159	2.0	2.0