摘要
首先给出直觉模糊S-粗集的基本概念,在直觉模糊S-粗集基本运算的基础上,引入两个典型的作用于直觉模糊S-粗集的时态逻辑算子"□(always)"和"◇(sometimes)",重点研究了直觉模糊S-粗集在时态逻辑算子作用下的若干扩展运算及其性质。最后将这些性质归结为定理,并给出详细的证明过程。
typical temporal logic operators,＂□ （always）＂ and ＂◇（ sometimes）＂, acting on intuitionistic fuzzy singular rough sets were first introduced on the basis of studying on fundamental operations on intuitionistie fuzzy singular rough sets. Then, some extended operations on intuitionistic fuzzy singular rough sets were exposed under the actions of intuitionistic fuzzy singular rough sets temporal logic operators with an emphasis on investigating their operational properties. Finally,the operational properties were generalized into a set of theorems with the detailed courses of theorem proving.
出处
《计算机科学》
CSCD
北大核心
2009年第6期196-198,209,共4页
Computer Science
基金
国家自然科学基金(60773209)
陕西省自然科学基金(2006F18)资助
关键词
直觉模糊集合
直觉模糊奇异集合
直觉模糊S-粗集
时态逻辑算子
Intuitionistie fuzzy sets, Intuitionistic fuzzy singular sets, Intuitionistic fuzzy singular rough sets, Temporal logic operators
