By Topic

Structural Error Verification in Active Rule-Based Systems using Petri Nets

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
2 Author(s)
Chavarria-Baez, L. ; CINVESTAV-IPN, Mexico ; XiaoOu Li

A knowledge base needs to be verified so that it works corretly. Up to date, approaches on production rule base verification have been reported adequately. However, active rule base verification cannot be found. In this paper, we primitively define structural errors in active rule base. Then, a verification approach is proposed based on Conditional Colored Petri Nets.

Published in:

Artificial Intelligence, 2006. MICAI '06. Fifth Mexican International Conference on

Date of Conference:

Nov. 2006