Title :
Techniques for data and rule validation in knowledge based systems
Author_Institution :
Dept. of Electr. Eng., Florida Univ., Gainesville, FL, USA
Abstract :
A framework is proposed for the validation of data and rules in knowledge-based systems. This work involves three major tasks: (1) validation of data; (2) validation of rules; and (3) interaction between data and rule validation. These tasks are conducted on a rule set that specifies the dependencies of rule variables. Data validation is performed by using the enforcement of constraint rules. Constraint rules are also propagated for the overall database consistency. A scheme for rule validation is sketched. The completeness and consistency of rules are verified by a theorem-proving method. It is concluded that production rules should be restricted by constraint rules, whereas constraint rules can correct the inconsistency of data by reasoning production rules
Keywords :
knowledge based systems; program verification; completeness; consistency; constraint rules; data validation; database consistency; dependencies; knowledge based systems; production rules; rule set; rule validation; rule variables; theorem-proving; Constraint theory; Databases; Inference algorithms; Knowledge based systems; Production;
Conference_Titel :
Computer Assurance, 1989. COMPASS '89, 'Systems Integrity, Software Safety and Process Security', Proceedings of the Fourth Annual Conference on
Conference_Location :
Gaithersburg, MD
DOI :
10.1109/CMPASS.1989.76042
