Rule-base content verification using a digraph-based modelling approach

Ensuring that the content of a rule-base, which is being encoded, is free from problems of consistency, completeness, and conciseness, is necessary to avoid any performance errors that might occur during consultation sessions with the rule-based system. In this paper we have described, formally, content verification of a specific type of rule-base using a digraph-based modelling approach. Through analytic formulations it is demonstrated that problems in the rule-base lead to the existence of certain properties in the digraph and various rulebase model representations that have been devised in this work. These properties, in turn, as is also shown through an example, can be examined for rule-base content verification. 1999 Elsevier Science Ltd. All rights reserved.

• Type: Journal
• Year: 1999
• Where: AEI
• Authors: G. S. Gursaran, S. Kanungo, A. K. Sinha
• Keywords: AEI 1999, Content Verification, Digraph-based Modelling Approach, Rulebase Model Representations