Model Checking of Fuzzy Linear Temporal Logic Based on Generalized Possibility Measures

被引：0
作者：
Liang C.-J. [1 ,2 ]
Li Y.-M. [1 ]
机构：
[1] School of Mathematics and Information Science, Shaanxi Normal University, Xi'an, 710119, Shaanxi
[2] School of Mathematics and Statistics, Shangqiu Normal University, Shangqiu, 476000, Henan
来源：
Tien Tzu Hsueh Pao/Acta Electronica Sinica | 2017年 / 45卷 / 12期
关键词：
Fuzzy time temporal; Linear temporal logic; Possibility property; Threshold model checking; Time complexity;
D O I：
10.3969/j.issn.0372-2112.2017.12.020
中图分类号：
学科分类号：
摘要：
In this paper, firstly, the syntax and semantics of GPoFLTL(Generalized Possibilistic Fuzzy Linear Tempora Logic)are given, especially, both the path and language semantics of GPoFLTL are discussed. It is shown that GPoFLTL is the extension to GPoLTL(Generalized Possibilistic Linear Tempora Logic) with respect to fuzzy time, and that GPoFLTL has the stronger expression power than GPoLTL illustrated by some examples. Secondly, GPoFLTL model checking based on the generalized possibility measures is discussed using fuzzy matrix operator, which includes some fuzzy time temporal, “Soon”, “Nearly always”, etc. Finally, the necessity threshold model checking problem of fuzzy linear time properties with fuzzy time temporal is studied; furthermore, the algorithm of the necessity threshold model checking of GPoFLTL based on automata method is given, and the time complexity of this method is proved. © 2017, Chinese Institute of Electronics. All right reserved.
引用
收藏
页码：2971 / 2977
页数：6
相关论文
共 14 条
[11]  
Li Y.M., Li Y.N., Computation tree logic model checking based on possibility measures, Fuzzy Sets and Systems, 26, 2, pp. 44-59, (2015)
[12]  
Li Y.M., Ma Z.Y., Quantitative computation tree logic model checking based on generalized possibility measures, IEEE Transactions on Fuzzy Systems, 23, 6, pp. 2034-2047, (2015)
[13]  
Li Y.M., Quantitative model checking of linear-time properties based on generalized possibility measures, Fuzzy Sets and Systems, 320, 1, pp. 17-39, (2017)
[14]  
Frigeri A., Pasquale L., Spoletini P., Fuzzy time in linear temporal logic, ACM Transactions on Computational Logic, 15, 4, pp. 1-22, (2014)
12