Static verification of active rule-base system

被引：0
|
作者：
Chavarria-Baez, Lorena
Li, Xiaoou
机构：
来源：
PROCEEDINGS OF THE 10TH IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND APPLICATIONS | 2006年
关键词：
active rules (ECA rules); Petri nets; knowledge based system; verification;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Active rules are a mechanism to provide reactive behavior to software system. Determining if a rule set is free of errors is an important process for both rule base design and maintenance. In this paper, we extend the errors conceptions which are adopted generally in production rule base to active rule base. Then a Petri net based method is proposed for error detection. The advantage of our approach is that the detection is independent on initial markings of the Petri net model.
引用
收藏
页码：282 / 287
页数：6
相关论文
共 50 条
  • [31] Reduced Rule-Base Fuzzy-Neural Networks
    Terziyska, Margarita
    Todorov, Yancho
    ADVANCED COMPUTING IN INDUSTRIAL MATHEMATICS, 2017, 681 : 199 - 214
  • [32] A Fix-Point Semantics for Rule-Base Anomalies
    Zhang, Du
    INTERNATIONAL JOURNAL OF COGNITIVE INFORMATICS AND NATURAL INTELLIGENCE, 2007, 1 (04) : 14 - 25
  • [33] Applying rule-base anomalies to KADS inference structures
    van Harmelen, F
    DECISION SUPPORT SYSTEMS, 1997, 21 (04) : 271 - 280
  • [34] A Redundancy Measure for Efficient Fuzzy Rule-Base Reduction
    Dutu, Liviu-Cristian
    Tissot, Jean-Marc
    Dabic, Stephanie
    Mauris, Gilles
    Bolon, Philippe
    2017 IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND VIRTUAL ENVIRONMENTS FOR MEASUREMENT SYSTEMS AND APPLICATIONS (CIVEMSA), 2017, : 147 - 152
  • [35] Belief rule-base expert system with multilayer tree structure for complex problems modeling
    Yang, Long-Hao
    Ye, Fei-Fei
    Liu, Jun
    Wang, Ying-Ming
    EXPERT SYSTEMS WITH APPLICATIONS, 2023, 217
  • [36] Development of a cause analysis system for a CPCS trip by using the rule-base deduction method
    Park, Je-Yun
    Koo, In-Soo
    Sohn, Chang-Ho
    Kim, Jung-Seon
    Cho, Gi-Ho
    Park, Hee-Seok
    ISA TRANSACTIONS, 2009, 48 (03) : 362 - 369
  • [37] A Forex trading expert system based on a new approach to the rule-base evidential reasoning
    Dymova, Ludmila
    Sevastjanov, Pavel
    Kaczmarek, Krzysztof
    EXPERT SYSTEMS WITH APPLICATIONS, 2016, 51 : 1 - 13
  • [38] A new approach to the rule-base evidential reasoning: Stock trading expert system application
    Dymova, L.
    Sevastianov, P.
    Bartosiewicz, P.
    EXPERT SYSTEMS WITH APPLICATIONS, 2010, 37 (08) : 5564 - 5576
  • [39] Highly explainable cumulative belief rule-based system with effective rule-base modeling and inference scheme
    Yang, Long-Hao
    Liu, Jun
    Ye, Fei-Fei
    Wang, Ying-Ming
    Nugent, Chris
    Wang, Hui
    Martinez, Luis
    KNOWLEDGE-BASED SYSTEMS, 2022, 240
  • [40] Approach to Develop Ship Design Evaluation Rule-Base
    Soman, R. R.
    Andrus, M.
    Bosworth, M.
    Leonard, I.
    Steurer, M.
    2015 IEEE ELECTRIC SHIP TECHNOLOGIES SYMPOSIUM (ESTS), 2015, : 193 - 200
12345