The Rule Retranslation Problem and the Validation Interface

Current rule base maintenance is wasting refinement and inference performance. There are only few maintenance concepts, which enjoy both (1) formal rule refinement and (2) utilizing topical knowledge provided by experts within the refinement process. The current state of the art in rule base validation and refinement reveals that there is no generic validation interface and no optimal rule trace refinement. This paper characterizes two different retranslation approaches for reduced rule bases and proposes a two‐step validation process, which combines a case‐based approach with a rule trace validation approach.

[1]  Marc Ayel,et al.  Validation, verification and test of knowledge-based systems , 1991 .

[2]  Hans-Werner Kelbassa,et al.  Fallbezogene Revision und Validierung von regelbasiertem Expertenwissen für die Altlastenbeurteilung , 1990, Informatik für den Umweltschutz.

[3]  Hans-Werner Kelbassa,et al.  Selection of Optimal Rule Refinements , 2003, FLAIRS.

[4]  Rainer Knauf,et al.  Validating rule-based systems: a complete methodology , 1999, IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028).

[5]  Rainer Knauf,et al.  A framework for validation of rule-based systems , 2002, IEEE Trans. Syst. Man Cybern. Part B.

[6]  Alun Preece,et al.  State of the art in automated validation of knowledge-based systems☆ , 1994 .

[7]  Neli P. Zlatareva,et al.  A framework for verification, validation, and refinement of knowledge bases: The VVR system , 1994, Int. J. Intell. Syst..

[8]  Susan Craw,et al.  Judging knowledge-base quality , 1991 .

[9]  Derek H. Sleeman,et al.  Effective and Efficient Knowledge Base Refinement , 1999, Machine Learning.

[10]  Rainer Knauf,et al.  System Refinement in Practice - Using a Formal Method to Modify Real-Life Knowledge , 2002, FLAIRS.

[11]  Allen Ginsberg,et al.  Theory Reduction, Theory Revision, and Retranslation , 1990, AAAI.

[12]  Michael J. Pazzani,et al.  Revision of Production System Rule-Bases , 1994, ICML.

[13]  A. Kitchen,et al.  Knowledge based systems in artificial intelligence , 1985, Proceedings of the IEEE.

[14]  Allen Ginsberg,et al.  Automatic Refinement of Expert System Knowledge Bases , 1988 .

[15]  Allen Ginsberg.  Knowledge-Base Reduction: A New Approach to Checking knowledge Bases for Inconsistency and Redundancy , 1988, AAAI.

[16]  Allen Ginsberg,et al.  Theory Revision via Prior Operationalization , 1988, AAAI.

[17]  Susan Craw,et al.  Experiences with a Generic Refinement Toolkit (Short Paper) , 2000, EKAW.

[18]  Hans-Werner Kelbassa.  Context Refinement - Investigating the Rule Refinement Completeness of SEEK/SEEK2 , 2002, ECAI.

[19]  Gary S. Kahn,et al.  MORE: An Intelligent Knowledge Acquisition Tool , 1985, IJCAI.

[20]  Robin Alexander Bowsell.  Knowledge refinement for a formulation system , 1998 .