NEITHER is a "theory refinement" algorithm designed to automatically modify propositional rule bases. NEITHER is currently able to employ a variety of revisions to modify a propositional theory. Some of these generalize the theory, while others specialize the theory. |