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 条
  • [41] Belief rule-base inference methodology with incomplete input
    Yu M.
    Huang J.
    Kong J.
    Harbin Gongye Daxue Xuebao/Journal of Harbin Institute of Technology, 2019, 51 (04): : 51 - 59
  • [42] The automatic annotation algorithm design and system implementation Rule-base function word usage
    Yuan, Yingcheng
    Zan, Hongying
    Zhang, Kunli
    Zhou, Yihui
    11TH CHINESE LEXICAL SEMANTICS WORKSHOP (CKSW2010), 2010, : 165 - 171
  • [43] Construction and Reasoning Approach of Belief Rule-Base for Classification Base on Decision Tree
    Fu, Yanggeng
    Yin, Zefeng
    Su, Manna
    Wu, Yingjie
    Liu, Genggeng
    IEEE ACCESS, 2020, 8 : 138046 - 138057
  • [44] Extended Belief Rule-Base Optimization Base on Clustering Tree and Parameter Optimization
    Zhuang, Jinhui
    Ye, Jifeng
    Chen, Nannan
    Fang, Weijie
    Fan, Xuecheng
    Fu, Yanggeng
    IEEE ACCESS, 2021, 9 (09): : 12533 - 12544
  • [45] RULE-BASE STRUCTURE IDENTIFICATION IN AN ADAPTIVE-NETWORK-BASED FUZZY INFERENCE SYSTEM
    SUN, CT
    IEEE TRANSACTIONS ON FUZZY SYSTEMS, 1994, 2 (01) : 64 - 73
  • [46] Fractal simulation of coronary arteries based on bifurcate rule-base
    Wang, P
    Mou, XQ
    Hou, CJ
    Cai, YL
    VISUALIZATION AND OPTIMIZATION TECHNIQUES, 2001, 4553 : 157 - 161
  • [47] Rule-base reduction for a fuzzy human operator performance model
    Norris, W. R.
    Zhang, Q.
    Sreenivas, R. S.
    APPLIED ENGINEERING IN AGRICULTURE, 2006, 22 (04) : 611 - 618
  • [48] A Bayesian network and rule-base approach towards activity inference
    Osmani, Venet
    Balasubramaniam, Sasitharan
    Botvich, Dmitri
    2007 IEEE 66TH VEHICULAR TECHNOLOGY CONFERENCE, VOLS 1-5, 2007, : 254 - 258
  • [49] Rule-base generation via symbiotic evolution for a Mamdani-type fuzzy control system
    Mahfouf, M.
    Jamei, M.
    PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART I-JOURNAL OF SYSTEMS AND CONTROL ENGINEERING, 2004, 218 (I8) : 621 - 635
  • [50] Rule-base guided adaptation for mode detection in process control
    Filev, D
    JOINT 9TH IFSA WORLD CONGRESS AND 20TH NAFIPS INTERNATIONAL CONFERENCE, PROCEEDINGS, VOLS. 1-5, 2001, : 1068 - 1073
12345