Representing problem-solving for knowledge refinement.

Craw, Susan; Boswell, Robin

Abstract

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.

Citation

CRAW, S. and BOSWELL, R. 1999. Representing problem-solving for knowledge refinement. In Proceedings of the 16th American Association for Artificial Intelligence national conference on artificial intelligence (AAAI-99), co-located with the 11th Annual conference on innovative applications of artificial intelligence (IAAI-99), 18-22 July 1999, Orlando, USA. Palo Alto: AAAI Press, pages 227-234.

• Conference Name: 16th American Association for Artificial Intelligence national conference on artificial intelligence (AAAI-99)
• Conference Location: Orlando, USA
• Start Date: Jul 18, 1999
• End Date: Jul 22, 1999
• Acceptance Date: Jan 27, 1999
• Online Publication Date: Dec 31, 1999
• Publication Date: Sep 30, 1999
• Deposit Date: Jun 8, 2007
• Publicly Available Date: Jun 8, 2007
• Publisher: Association for the Advancement of Artificial Intelligence
• Pages: 227-234
• ISBN: 9780262511063
• Keywords: Knowledge refinement; Knowledge based systems; Problem solving
• Public URL: http://hdl.handle.net/10059/67
• Publisher URL: https://dl.acm.org/citation.cfm?id=315282