Search the World's Largest Database of Information Science & Technology Terms & Definitions
InfInfoScipedia LogoScipedia
A Free Service of IGI Global Publishing House
Below please find a list of definitions for the term that
you selected from multiple scholarly research resources.

What is Automatic Theory Revision

Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches
Automatic debugging approach that also changes the rule base to remove a fault.
Published in Chapter:
The Debugging of Rule Bases
Valentin Zacharias (Forschungszentrum Informatik FZI, Germany)
DOI: 10.4018/978-1-60566-402-6.ch013
Abstract
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.
Full Text Chapter Download: US $37.50 Add to Cart
eContent Pro Discount Banner
InfoSci OnDemandECP Editorial ServicesAGOSR