关键词: 模糊时态, 决策过程, 广义可能性测度, 计算树逻辑, 模型检测

Abstract: In order to enhance the expression ability of computation tree logic in time series, this paper studies model checking of generalized possibilistic fuzzy-time computation tree logic with decision process based on generalized possibilistic measures, decision process and computation tree logic. First, generalized possibilistic decision process is introduced as the system model; the fuzzy-time temporal operator is used to construct fuzzy-time computing tree logic and its semantics under generalized possibilistic measure are given. Then the new generalized possibilistic fuzzy-time computation tree logic is presented for describing system properties. Finally, in generalized possibilistic scheduling, the calculation methods of fuzzy-time temporal operators such as “soon, within, last, nearly” are discussed through fuzzy matrix operation, and the corresponding model checking algorithm is presented. It is proven that generalized possibilistic fuzzy-time computation tree logic is an extension of generalized possibilistic computation tree logic in fuzzy-time series and has stronger expression ability.

Key words: fuzzy-time temporal, decision process, generalized possibilistic measures, computation tree logic, model checking