Artificial Intelligence
Automatic refinement of expert system knowledge bases
Automatic refinement of expert system knowledge bases
An inference engine for representing multiple theories
Knowledge representation and organization in machine learning
Refining a relational theory with multiple faults in the concept and subconcepts
ML92 Proceedings of the ninth international workshop on Machine learning
Building problem solvers
Concept Formation During Interactive Theory Revision
Machine Learning - Special issue on evaluating and changing representation
Automated Refinement of First-Order Horn-Clause Domain Theories
Machine Learning
Supporting Start-to-Finish Development of Knowledge Bases
Machine Learning
Machine Learning
Knowledge Refinement for a Design System
EKAW '97 Proceedings of the 10th European Workshop on Knowledge Acquisition, Modeling and Management
Rerepresenting and restructuring domain theories: a constructive induction approach
Journal of Artificial Intelligence Research
Ontology-guided knowledge discovery in databases
Proceedings of the 1st international conference on Knowledge capture
Theory revision with queries: horn, read-once, and parity formulas
Artificial Intelligence
Optimal refinement of rule bases
AI Communications
Optimal refinement of rule bases
AI Communications
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
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
Subgroup mining for interactive knowledge refinement
AIME'05 Proceedings of the 10th conference on Artificial Intelligence in Medicine
Hi-index | 0.00 |
This paper presents the STALKER knowledge base refinementsystem. Like its predecessor KRUST, STALKER proposes many alternativerefinements to correct the classification of each wrongly classifiedexample in the training set. However, there are two principaldifferences between KRUST and STALKER. Firstly, the range ofmisclassified examples handled by KRUST has been augmented by theintroduction of inductive refinement operators. Secondly,STALKER‘s testing phase has been greatly speeded up by using a TruthMaintenance System (TMS). The resulting system is moreeffective than other refinement systems because it generates manyalternative refinements. At the same time, STALKER is very efficientsince KRUST‘s computationally expensive implementation and testing ofrefined knowledge bases has been replaced by a TMS-based simulator.