直觉模糊集时态逻辑算子及扩展运算性质

被引：6

作者：

雷英杰

王宝树

机构：

[1] 西安电子科技大学计算机学院

来源：

基金：

高等学校骨干教师资助计划;

关键词：

模糊集合; 直觉模糊集合; 时态逻辑算子; 直觉模糊逻辑;

D O I：

暂无

中图分类号：

TP301.6 [算法理论];

学科分类号：

081202 ;

摘要：

首先在考察Atanassov直觉模糊集的基本运算的基础上,引入两个典型的作用于直觉模糊集的时态逻辑算子“□(always)”和“◇(sometimes)”,重点研究了直觉模糊集在直觉模糊时态逻辑算子作用下的若干扩展运算及其性质。最后,将这些运算性质归结为一组定理,并给出详细的证明过程。

引用

页码：180 / 181+205 +205

页数：3