The Debugging of Rule Bases

This chapter presents an overview of the issues affecting and the tools used for the debugging of rule bases. It describes the challenges in debugging rules, presents a classification of the debugging methods developed in academia and the tools currently used in practice. This chapter explains the main debugging paradigms for rule based systems: Procedural Debugging, Explanations, Why-Not Explanations, Algorithmic Debugging, Explorative Debugging, Automatic Theory Revision and Automatic Knowledge Refinement.

[1]  Nicola Fanizzi,et al.  Multistrategy Theory Revision: Induction and Abduction in INTHELEX , 2004, Machine Learning.

[2]  Filippo Neri,et al.  Multistrategy learning and theory revision , 1993, Machine Learning.

[3]  Tok Wang Ling,et al.  Advanced Applications and Structures in Xml Processing: Label Streams, Semantics Utilization and Data Query Technologies , 2010 .

[4]  A. C. Scott,et al.  Evaluating the performance of a computer-based consultant. , 1979, Computer programs in biomedicine.

[5]  Richard J. Lipton,et al.  Hints on Test Data Selection: Help for the Practicing Programmer , 1978, Computer.

[6]  Paolo Mancarella,et al.  Abductive Logic Programming , 1992, LPNMR.

[7]  David C. Wilkins,et al.  Knowledge Base Refinement as Improving an Incorrect, Inconsistent and Incomplete Domain Theory , 1989, ML.

[8]  James C. Lester,et al.  Developing and Empirically Evaluating Robust Explanation Generators: The KNIGHT Experiments , 1997, Comput. Linguistics.

[9]  Randall Davis.  Interactive Transfer of Expertise , 2005 .

[10]  Eric Pardede,et al.  Open and Novel Issues in XML Database Applications: Future Directions and Advanced Technologies , 2009 .

[11]  Lee Naish.  Declarative diagnosis of missing answers , 2009, New Generation Computing.

[12]  Maria Luisa Sapino,et al.  XML Data Integration: Merging, Query Processing and Conflict Resolution , 2010 .

[13]  William J. Clancey,et al.  The Epistemology of a Rule-Based Expert System - A Framework for Explanation , 1981, Artif. Intell..

[14]  William R. Swartout,et al.  XPLAIN: A System for Creating and Explaining Expert Consulting Programs , 1983, Artif. Intell..

[15]  Mark T. Maybury,et al.  Communicative Acts for Explanation Generation , 1992, Int. J. Man Mach. Stud..

[16]  Mireille Ducassé,et al.  Logic Programming Environments: Dynamic Program Analysis and Debugging , 1994, J. Log. Program..

[17]  Paul Brna,et al.  An overview of Prolog debugging tools , 1991 .

[18]  Keng Siau,et al.  Unified modeling language : systems analysis, design and development issues , 2001 .

[19]  Steffen Staab,et al.  Project Halo: Towards a Digital Aristotle , 2004, AI Mag..

[20]  Randall Davis,et al.  Interactive Transfer of Expertise: Acquisition of New Inference Rules , 1993, IJCAI.

[21]  Andreas Rausch,et al.  Extension of the Unified Modeling Language for Mobile Agents , 2001, Unified Modeling Language: Systems Analysis, Design and Development Issues.

[22]  S. G. Axline,et al.  Computer-based consultations in clinical therapeutics: explanation and rule acquisition capabilities of the MYCIN system. , 1975, Computers and biomedical research, an international journal.

[23]  Markus Stumptner,et al.  A Survey of Intelligent Debugging , 1998, AI Commun..