Recent learning systems have combined explanation-based and inductive learning techniques to revise propositional domain theories (e.g. EITHER, RTLS, KBANN). Inductive systems working in first order logic have also been developed (e.g. CIGOL, FOIL, FOCL). This paper presents a theory revision system, Forte, that merges these two developments. Forte provides theory revision capabilities similar to those of the propositional systems, but works with domain theories stated in first-order logic.

PDF

In Proceedings of the Eighth International Machine Learning Workshop, pp. pp. 447-451, Evanston, IL, June 1991.

@InProceedings{richards:icml91, title={First-Order Theory Revision}, author={Bradley L. Richards and Raymond J. Mooney}, booktitle={Proceedings of the Eighth International Machine Learning Workshop}, month={June}, address={Evanston, IL}, pages={pp. 447-451}, url="http://www.cs.utexas.edu/users/ai-lab?richards:icml91", year={1991} }