论文信息 - First-Order Theory Revision

First-Order Theory Revision

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.

Raymond J. Mooney | Bradley L. Richards | R. Mooney | B. Richards

[1] Jude Shavlik,et al. Refinement ofApproximate Domain Theories by Knowledge-Based Neural Networks , 1990, AAAI.

[2] Michael J. Pazzani,et al. A Knowledge-intensive Approach to Learning Relational Concepts , 1991, ML.

[3] Stephen Muggleton,et al. Machine Invention of First Order Predicates by Inverting Resolution , 1988, ML.

[4] Raymond J. Mooney,et al. Changing the Rules: A Comprehensive Approach to Theory Refinement , 1990, AAAI.

[5] Stephen Muggleton,et al. Duce, An Oracle-based Approach to Constructive Induction , 1987, IJCAI.

[6] Allen Ginsberg,et al. Theory Reduction, Theory Revision, and Retranslation , 1990, AAAI.