Acquiring search-control knowledge via static analysis
Artificial Intelligence
Theory refinement combining analytical and empirical methods
Artificial Intelligence
Automated Refinement of First-Order Horn-Clause Domain Theories
Machine Learning
Using Ontologies for Defining Tasks, Problem-Solving Methods and their Mappings
EKAW '97 Proceedings of the 10th European Workshop on Knowledge Acquisition, Modeling and Management
The Tower-of-Adapter Method for Developing and Reusing Problem-Solving Methods
EKAW '97 Proceedings of the 10th European Workshop on Knowledge Acquisition, Modeling and Management
Knowledge Refinement to Debug and Maintain a Tablet Formulation System
ICTAI '97 Proceedings of the 9th International Conference on Tools with Artificial Intelligence
MDS: An Integrated Architecture for Associational and Model-Based Diagnosis
Applied Intelligence
Experiences with a Generic Refinement Toolkit (Short Paper)
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
Informed Selection of Training Examples for Knowledge Refinement
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
Validation and verification of knowledge-based systems: report on EUROVAV99
The Knowledge Engineering Review
On automatic knowledge validation for Bayesian knowledge bases
Data & Knowledge Engineering
Hi-index | 0.00 |
Knowledge refinement tools seek to correct faulty knowledge based systems (KBSs) by identifying and repairing potentially faulty rules. The goal of the KRusTWorks project is to provide a source of refinement components from which specialised refinement tools tailored to the needs of a range of KBSs are built. A core refinement algorithm reasons about the knowledge that has been applied, but this approach demands general knowledge structures to represent the reasoning of a particular problem solving episode. This paper investigates some complex forms of rule interaction and defines a knowledge structure encompassing these. The approach has been applied to KBSs built in four shells and is demonstrated on a small example that incorporates some of the complexity found in real applications.