邻域值信息表上的邻域逻辑及其数据推理

被引：12

作者：

刘清

机构：

[1] 南昌大学计算机科学工程系!南昌

来源：

计算机学报 | 2001年 / 04期

关键词：

邻域值信息表; 邻域逻辑; 公式的语义模型; 数据推理; 邻域拓扑内点; 邻域拓扑闭包;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引入了一种基于邻域值信息表的邻域逻辑 ,它是用邻域拓扑内点和邻域拓扑闭包作为逻辑算子的一种逻辑 .其内点和闭包是先经二元关系定义了邻域系统 ,然后用这种邻域系统来定义它 .这种逻辑被定义在信息表上 ,其表上的每个个体关于属性不是取单独一个值 ,而是扩充到取一个值的邻域 .公式的真值被扩充为一个区间或邻域 ,因此讨论一个公式可满足性的三种类型 :邻域内点可满足、邻域闭包可满足和邻域可满足 ,即将公式的真值扩充为多值 ,并讨论了这种真值关于逻辑联结词的运算和公式的语义模型 .最后还给出了这种逻辑的数据推理 .

引用

页码：405 / 410

页数：6

共 4 条

[1] Rough逻辑及其在数据约简中的应用 [J].