摘要
首先在考察Atanassov直觉模糊集的基本运算的基础上,引入两个典型的作用于直觉模糊集的时态逻辑算子“□(always)”和“◇(sometimes)”,重点研究了直觉模糊集在直觉模糊时态逻辑算子作用下的若干扩展运算及其性质。最后,将这些运算性质归结为一组定理,并给出详细的证明过程。
Two typical temporal logic operators, '□(always)' and '◇(sometimes)',acting on Atanassov Intuitionis- tic Fuzzy Sets are first introduced on the basis of observing and studying on fundamental operations on IFSs. Then, some extended operations on IFSs are exposed under the actions of intuitionistic fuzzy temporal logic operators with an emphasis on investigating their operational properties. Finally,the operational properties are generalized into a set of theorems with the detailed courses of theorem proving.
出处
《计算机科学》
CSCD
北大核心
2005年第2期180-181,205,共3页
Computer Science
基金
国防科技预研基金(51406030104DZ0120)
国家教育部高等学校骨干教师资助计划项目(GG-810-90039-1003)