邻域系统上的Rough集及其被用于对公式可满足性的描述

摘要：

本文基于邻域系统定义了邻域拓扑内点(I)和邻域拓扑闭包(C),并由它定义了邻域系统上的Rough集.利用邻域拓扑内点和邻域拓扑闭包描述了一个公式可满足性的二种类型;邻域拓扑内点可满足和邻域拓扑闭包可满足.并讨论了带有I和C的Rough逻辑公式的语法和语义模型.最后还给出了由它们构造的数据推理规则.

关键词： 邻域系统 公式的语义模型 数据推理规则 公式可满足性

作者: 刘清 郑非

作者单位: 南昌大学计算机与信息学院(南昌)

会议类型: 国内会议

会议名称: 第六届中国人工智能职合学术会议

会议地点: 北京

会议语种:中文

页码: 41-44

在线出版日期: 2001-02-01（万方平台首次上网日期，不代表论文的发表时间）