Static verification of active rule-base system

Proceedings of the 10th IASTED International Conference on Software Engineering and Applications, SEA 2006

Volumn , Issue , 2006, Pages 282-287

  Chavarría Báez, Lorena ^a   Li, Xiaoou ^a  

^a DEPARTAMENTO DE FÍSICA   (Mexico)

Author keywords

Active rules (ECA rules); Knowledge based system; Petri nets; Verification

Indexed keywords

ERRORS CONCEPTIONS; INITIAL MARKINGS;

COMPUTER SOFTWARE; ERROR ANALYSIS; ERROR DETECTION; KNOWLEDGE BASED SYSTEMS; PETRI NETS; VERIFICATION;

LOGIC PROGRAMMING;

EID: 38049143866     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (8)

1. N. Paton, O. Díaz, "Active Database Systems", ACM Computing Surveys, 31(1), 62-103, 1999.
2. X. He, W. Chu, H.Yang, "A New Approach to Verify Rule-Based Systems Using Petri Nets", Inf. and Soft. Tech., vol. 45, no. 10, pp. 663-670, 2003
3. J. A. González, D. Dankel, The Engineering of Knowledge-Based Systems. Prentice Hall, 1993
4. X. Li, J. Medina-Marin, S. Chapa, "Applying Petri nets on active database systems", IEEE Trans. on System, Man, and Cybernetics, Part C: Applications and Reviews, accepted for publication (2005).
5. M. Ramaswamy, S. Sarkar, and Y.S. Chen, "Using Directed Hypergraphs to Verify Rule-Based Expert Systems," IEEE Trans. on Knowledge and Data Engineering, vol. 9, no. 2, 1997, 221-237.
6. S. Yang, "Fuzzy Rule Base Systems Verification Using High-Level Petri Nets", IEEE Trans. on Knowledge and Data Engineering, vol. 15, no. 2, 2003, 457-473.
7. C. Wu and s. Lee, "A Token-Flow Paradigm for Verification of Rule-Based Expert Systems", IEEE Trans. on Systems, Man and Cybernetics- Part B: Cybernetics, vol. 30, no. 4, 2000, 616-624
8. S. Comani, L. Tanca. "Termination and Confluence by Rule Prioritization", IEEE Trans. on Knowl. and Data Eng., 15(2), 257-270, 2003