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 条
  • [1] A Survey of Belief Rule-Base Expert System
    Zhou, Zhi-Jie
    Hu, Guan-Yu
    Hu, Chang-Hua
    Wen, Cheng-Lin
    Chang, Lei-Lei
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2021, 51 (08): : 4944 - 4958
  • [2] ADAPTING THE RULE-BASE
    FOGARTY, TC
    PROCEEDINGS OF THE 28TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-3, 1989, : 761 - 766
  • [3] A Self Evolutionary Rule-Base
    Khattak, A. M.
    Pervez, Z.
    Khan, W. A.
    Lee, S. Y.
    Lee, Y. K.
    U- AND E-SERVICE, SCIENCE AND TECHNOLOGY, 2011, 264 : 1 - 9
  • [4] Rule-base content verification using a digraph-based modelling approach
    Gursaran, GS
    Kanungo, S
    Sinha, AK
    ARTIFICIAL INTELLIGENCE IN ENGINEERING, 1999, 13 (03): : 321 - 336
  • [5] Fixpoint semantics for rule-base anomalies
    Zhang, D
    ICCI 2005: Fourth IEEE International Conference on Cognitive Informatics - Proceedings, 2005, : 10 - 17
  • [6] Dynamic rule adjustment approach for optimizing belief rule-base expert system
    Wang, Ying-Ming
    Yang, Long-Hao
    Fu, Yang-Geng
    Chang, Lei-Lei
    Chin, Kwai-Sang
    KNOWLEDGE-BASED SYSTEMS, 2016, 96 : 40 - 60
  • [7] A rule-base for the specification of manufacturing planning and control system activities
    Howard, A
    Kochhar, A
    Dilworth, J
    INTERNATIONAL JOURNAL OF OPERATIONS & PRODUCTION MANAGEMENT, 2002, 22 (01) : 7 - 29
  • [8] Construction of Fuzzy Control System Rule-Base with Predefined Specificity
    Adilova, Nigar E.
    13TH INTERNATIONAL CONFERENCE ON THEORY AND APPLICATION OF FUZZY SYSTEMS AND SOFT COMPUTING - ICAFS-2018, 2019, 896 : 901 - 904
  • [9] Applications of rule-base coverage measures to expert system evaluation
    Barr, V
    KNOWLEDGE-BASED SYSTEMS, 1999, 12 (1-2) : 27 - 35
  • [10] A method of rule-base optimization based on evaluation
    张春祥
    李生
    杨沐昀
    赵铁军
    时晓升
    Journal of Harbin Institute of Technology(New series), 2009, 16 (05) : 708 - 712
12345