Robustness Analysis of Fuzzy Computation Tree Logic

被引：0
|
作者：
Li, Li [1 ]
Yuan, Hong-Juan [1 ]
Pan, Hai-Yu [1 ,2 ]
机构：
[1] Taizhou Univ, Coll Comp Sci & Technol, Taizhou 225300, Peoples R China
[2] Shaanxi Normal Univ, Coll Comp Sci, Xian 710062, Peoples R China
来源：
QUANTITATIVE LOGIC AND SOFT COMPUTING 2016 | 2017年 / 510卷
基金：
中国博士后科学基金; 中国国家自然科学基金;
关键词：
Temporal logic; Fuzzy computation tree logic; Model checking; Complete residuated lattices; Heyting algebra; MODEL CHECKING;
D O I：
10.1007/978-3-319-46206-6_12
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Fuzzy computation tree logic is an extension of classical temporal logic computation tree logic, which is used to specify the properties of systems with uncertain information content. This paper investigates the robustness of fuzzy computation tree logic. Robustness results are proved based on complete Heyting algebra and standard Lukasiewicz algebra.
引用
收藏
页码：113 / 121
页数：9
相关论文
共 50 条
  • [21] Cycle detection in computation tree logic
    Fontaine, Gaelle
    Mogavero, Fabio
    Murano, Aniello
    Perelli, Giuseppe
    Sorrentino, Loredana
    INFORMATION AND COMPUTATION, 2018, 262 : 265 - 279
  • [22] Exogenous Probabilistic Computation Tree Logic
    Baltazar, Pedro
    Mateus, Paulo
    Nagarajan, Rajagopal
    Papanikolaou, Nikolaos
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 190 (03) : 95 - 110
  • [23] COMPUTATION TREE LOGIC WITH DEADLOCK DETECTION
    van Glabbeek, Rob
    Luttik, Bas
    Trcka, Nikola
    LOGICAL METHODS IN COMPUTER SCIENCE, 2009, 5 (04) : 1 - 24
  • [24] COMPARATIVE ANALYSIS OF NOISE ROBUSTNESS OF TYPE 2 FUZZY LOGIC CONTROLLERS
    Ontiveros-Robles, Emanuel
    Melin, Patricia
    Castillo, Oscar
    KYBERNETIKA, 2018, 54 (01) : 175 - 201
  • [25] Model checking fuzzy computation tree logic of multi-agent systems based on fuzzy interpreted systems
    Ma, Zhanyou
    Li, Xia
    Liu, Ziyuan
    Huang, Ruiqi
    He, Nana
    FUZZY SETS AND SYSTEMS, 2024, 485
  • [26] Crane failure analysis using fault tree and fuzzy logic
    Wong, C.
    Hadipriono, F. C.
    Duane, J. W.
    Larew, R. E.
    Barker, D. H.
    Proceedings of The Seventh International Conference on the Application of Artificial Intelligence to Civil and Structural Engineering, 2003, : 57 - 58
  • [27] Robustness Analysis of Indirect Adaptive Model Predictive Control Supervised by Fuzzy Logic
    Mamboundou, Jerry
    Langlois, Nicolas
    2012 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), 2012, : 284 - 291
  • [28] Graded Computation Tree Logic with Binary Coding
    Bianco, Alessandro
    Mogavero, Fabio
    Murano, Aniello
    COMPUTER SCIENCE LOGIC, 2010, 6247 : 125 - 139
  • [29] VECTORIZED MODEL CHECKING FOR COMPUTATION TREE LOGIC
    HIRAISHI, H
    MEKI, S
    HAMAGUCHI, K
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 531 : 44 - 53
  • [30] Reasoning about Intuitionistic Computation Tree Logic
    Catta, Davide
    Malvone, Vadim
    Murano, Aniello
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, 391 : 42 - 48
12345