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 条
  • [41] SAT-Based Learning of Computation Tree Logic
    Pommellet, Adrien
    Stan, Daniel
    Scatton, Simon
    AUTOMATED REASONING, IJCAR 2024, PT I, 2024, 14739 : 366 - 385
  • [42] Softlock Detection for Super Metroid with Computation Tree Logic
    Mawhorter, Ross
    Smith, Adam
    PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON THE FOUNDATIONS OF DIGITAL GAMES, FDG 2021, 2021,
  • [43] Bounded model checking for probabilistic computation tree logic
    Zhou, Cong-Hua
    Liu, Zhi-Feng
    Wang, Chang-Da
    Ruan Jian Xue Bao/Journal of Software, 2012, 23 (07): : 1656 - 1668
  • [44] One-pass tableaux for computation tree logic
    Abate, Pietro
    Gore, Rajeev
    Widmann, Florian
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2007, 4790 : 32 - +
  • [45] COMPUTATION TREE LOGIC AND REGULAR OMEGA-LANGUAGES
    THOMAS, W
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 354 : 690 - 713
  • [46] Open computation tree logic for formal verification of modules
    Dasgupta, P
    Chakrabarti, A
    Chakrabarti, PP
    ASP-DAC/VLSI DESIGN 2002: 7TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE AND 15TH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS, 2002, : 735 - 740
  • [47] Decision Tree Classification Implementation with Fuzzy Logic
    Suryawanshi, Renuka D.
    Thakore, D. M.
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2012, 12 (10): : 93 - 97
  • [48] Applying fuzzy logic to tree bucking control
    Kivinen, VP
    Uusitalo, J
    FOREST SCIENCE, 2002, 48 (04) : 673 - 684
  • [49] Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems
    Li, Xia
    Ma, Zhanyou
    Mian, Zhibao
    Liu, Ziyuan
    Huang, Ruiqi
    He, Nana
    CMC-COMPUTERS MATERIALS & CONTINUA, 2024, 78 (03): : 4129 - 4152
  • [50] Application of fuzzy logic to fault tree and event tree analysis of the risk for cargo liquefaction on board ship
    Akyuz, Emre
    Arslan, Ozcan
    Turan, Osman
    APPLIED OCEAN RESEARCH, 2020, 101 (101)
12345