Symbolic Verification of Fuzzy Logic Models

被引：0
|
作者：
Zhao, Siang [1 ,2 ]
Li, Zhongyang [1 ,2 ]
Chen, Zhenbang [1 ,2 ]
Wang, Ji [1 ,3 ]
机构：
[1] Natl Univ Def Technol, Coll Comp, Changsha, Peoples R China
[2] Natl Univ Def Technol, Key Lab Software Engn Complex Syst, Changsha, Peoples R China
[3] Natl Univ Def Technol, State Key Lab High Performance Comp, Changsha, Peoples R China
来源：
2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE | 2023年
基金：
国家重点研发计划;
关键词：
fuzzy logic model; verification; symbolic execution; SMT;
D O I：
10.1109/ASE56229.2023.00087
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Fuzzy logic is widely applied in various applications. However, verifying the correctness of fuzzy logic models can be difficult. This extended abstract presents our ongoing work on verifying fuzzy logic models. We treat a fuzzy logic model as a program and propose a verification method based on symbolic execution for fuzzy logic models. We have developed and implemented the environment models for the common functions and the inference rules in fuzzy logic models. Our preliminary evaluation shows the potential of our verification method.
引用
收藏
页码：1787 / 1789
页数：3
相关论文
共 50 条
  • [1] Verification of fuzzy UML models with fuzzy Description Logic
    Zhang, Fu
    Cheng, Jingwei
    [J]. APPLIED SOFT COMPUTING, 2018, 73 : 134 - 152
  • [2] SYMBOLIC LOGIC REPRESENTATION SPEEDS DESIGN VERIFICATION
    DMALINIAK, L
    [J]. ELECTRONIC DESIGN, 1994, 42 (19) : 58 - &
  • [3] VERIFICATION OF SYNCHRONOUS CIRCUITS BY SYMBOLIC LOGIC SIMULATION
    BRYANT, RE
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 408 : 14 - 24
  • [4] Symbolic Verification of Multiagent Graphical Decision Models
    Zeng, Yifeng
    Poh, Kim-leng
    [J]. INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2008, 23 (11) : 1177 - 1195
  • [5] Security Protocol Verification: Symbolic and Computational Models
    Blanchet, Bruno
    [J]. PRINCIPLES OF SECURITY AND TRUST, POST 2012, 2012, 7215 : 3 - 29
  • [6] An Online Tool for Unfolding Symbolic Fuzzy Logic Programs
    Moreno, Gines
    Antonio Riaza, Jose
    [J]. ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2019, PT II, 2019, 11507 : 475 - 487
  • [7] CTL Symbolic Model Checking Based on Fuzzy Logic
    Nie, Pengzhan
    Jiang, Jiulei
    Ma, Zhanyou
    [J]. 2020 IEEE INTL CONF ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, INTL CONF ON PERVASIVE INTELLIGENCE AND COMPUTING, INTL CONF ON CLOUD AND BIG DATA COMPUTING, INTL CONF ON CYBER SCIENCE AND TECHNOLOGY CONGRESS (DASC/PICOM/CBDCOM/CYBERSCITECH), 2020, : 380 - 385
  • [8] On models in fuzzy propositional logic
    Mattila, Jorma K.
    [J]. KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 3, PROCEEDINGS, 2006, 4253 : 358 - 365
  • [9] Fuzzy logic in economic models
    Carles Ferrer-Comalat, Joan
    Corominas-Coll, Dolors
    Linares-Mustaros, Salvador
    [J]. JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2020, 38 (05) : 5333 - 5342
  • [10] On witnessed models in fuzzy logic
    Hajek, Petr
    [J]. MATHEMATICAL LOGIC QUARTERLY, 2007, 53 (01) : 66 - 77
12345