-
题名邻域值信息表上的邻域逻辑及其数据推理
被引量：10
- 1
-
-
作者
刘清
-
机构
南昌大学计算机科学工程系
-
出处
《计算机学报》
EI
CSCD
北大核心
2001年第4期405-410,共6页
-
基金
国家自然科学基金! (6 97730 0 1)
江西省自然科学基金! (99110 2 7)资助
-
文摘
引入了一种基于邻域值信息表的邻域逻辑 ,它是用邻域拓扑内点和邻域拓扑闭包作为逻辑算子的一种逻辑 .其内点和闭包是先经二元关系定义了邻域系统 ,然后用这种邻域系统来定义它 .这种逻辑被定义在信息表上 ,其表上的每个个体关于属性不是取单独一个值 ,而是扩充到取一个值的邻域 .公式的真值被扩充为一个区间或邻域 ,因此讨论一个公式可满足性的三种类型 :邻域内点可满足、邻域闭包可满足和邻域可满足 ,即将公式的真值扩充为多值 ,并讨论了这种真值关于逻辑联结词的运算和公式的语义模型 .最后还给出了这种逻辑的数据推理 .
-
关键词
邻域值信息表
邻域逻辑
数据推理
专家系统
ROUGH集
-
Keywords
neighborhood valued information table, neighborhood logic, semantics model, data reasoning, neighborhood topological interior, neighborhood topological closure
-
分类号
TP182
[自动化与计算机技术—控制理论与控制工程]
-
