Programming expert systems in OPS5: an introduction to rule-based programming
Programming expert systems in OPS5: an introduction to rule-based programming
Artificial Intelligence
Refinement of expert system knowledge bases: a metalinguistic framework for heuristic analysis
Refinement of expert system knowledge bases: a metalinguistic framework for heuristic analysis
Theory of linear and integer programming
Theory of linear and integer programming
Introduction to operations research, 4th ed.
Introduction to operations research, 4th ed.
Integer and combinatorial optimization
Integer and combinatorial optimization
Automatic knowledge base refinement for classification systems
Artificial Intelligence
Automatic refinement of expert system knowledge bases
Automatic refinement of expert system knowledge bases
SALT: a knowledge acquisition language for propose-and-revise systems
Artificial Intelligence
Knowledge base refinement and theory revision
Proceedings of the sixth international workshop on Machine learning
Judging knowledge-base quality
Validation, verification and test of knowledge-based systems
An approach to repairing and evaluating first-order theories containing multiple concepts and negation
Automated Refinement of First-Order Horn-Clause Domain Theories
Machine Learning
Effective and Efficient Knowledge Base Refinement
Machine Learning
Propositional Logic: Deduction and Algorithms
Propositional Logic: Deduction and Algorithms
Knowledge-Based Systems in Artificial Intelligence: 2 Case Studies
Knowledge-Based Systems in Artificial Intelligence: 2 Case Studies
IEEE Expert: Intelligent Systems and Their Applications
A concurrent processing framework for the set partitioning problem
Computers and Operations Research
The XUMA Expert System "Enviromental Hazards from Contamined Sites"
Proceedings of the IFIP 12th World Computer Congress on Education and Society - Information Processing '92 - Volume 2 - Volume 2
Incorporating Backtracking Search with Knowledge Refinement
EUROVAV '99 Collected papers from the 5th European Symposium on Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice
VERITAS - A Verification Tool for Real-Time Applications in Power System Control Centers
Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference
Higher Order Refinement Heuristics for Rule Validation
Proceedings of the Fifteenth International Florida Artificial Intelligence Research Society Conference
Fallbezogene Revision und Validierung von regelbasiertem Expertenwissen für die Altlastenbeurteilung
Informatik für den Umweltschutz, 5. Symposium
Informatik für den Umweltschutz, 5. Symposium
Ein wissensbasiertes, verteiltes Rechnersystem zur Fehlerdiagnose am schnellen Brüter
Prozeßrechnersysteme '88, Automatisierungstechnik, Leittechnik, Informations- und Kommunikationstechnik
Solving Real-World Linear Programs: A Decade and More of Progress
Operations Research
Extending the practicality of theory revision systems through the revision of production system rulebases
Applications of rule-base coverage measures to expert system evaluation
Applications of rule-base coverage measures to expert system evaluation
Knowledge maintenance: the state of the art
The Knowledge Engineering Review
Refinement of uncertain rule bases via reduction
International Journal of Approximate Reasoning
Optimal case-based refinement of adaptation rule bases for engineering design
ICCBR'03 Proceedings of the 5th international conference on Case-based reasoning: Research and Development
Hi-index | 0.00 |
This article presents a formal analysis of the rule refinement selection problem. There is no satisfactory methodical standard for the optimal refinement of rule bases. Current refinement systems select the best overall rule base refinements out of a set of normal, conflicting, and alternative ones, not by exact optimization procedures but rather by using local greedy heuristics. Within the last decade different research prototypes have demonstrated scientific progress in the development of rule base validation systems. In particular, several rule refinement generators have been tested. However, the optimal refinement of rule bases is an unsolved problem. This paper describes a novel global Operations Research approach to the selection of optimal rule refinements. The problem analysis and the formal description of the optimization are carried out using a well-defined example which is developed in three steps. First, conflicting rule refinements are analyzed. Next, simple alternatives are considered. Then also the optimization with regard to alternative refinement heuristics yielding combinatorial effects termed subsumption and synergy is formalized. The mathematical analysis of the rule refinement selection problem leads to the conclusion that the introduction of a special binary relation termed ONE-OF DISJUNCTION and the use of so-called EITHER-OR CONSTRAINTS enables the formulation of a binary linear maximization problem to be solved by an appropriate Operations Research procedure. Finally, it will be explored how to come up with weighted objective functions and a suitable multi-criteria validation gain calculation. This global optimization of rule base refinement GRSP holds for every refinement selection problem and will yield a more powerful generation of rule refinement systems so that the development time for large and complex rule bases will be shortened.