论文信息 - RUTH: an ILP Theory Revision System

RUTH: an ILP Theory Revision System

We present the system RUTH (Revising and Updating THeories) which represents an incremental ILP approach to theory revision. The approach integrates intensional database updating and incremental concept-learning. RUTH uses a set of operators in order to make a given knowledge base consistent w.r.t. a user input integrity theory.

[1] Luc De Raedt,et al. Inductive Logic Programming: Theory and Methods , 1994, J. Log. Program..

[2] James Wogulis. Revising Relational Domain Theories , 1991, ML.

[3] Masamichi Shimura,et al. Refining a Relational Theory with Multiple Faults in the Concept and Subconcepts , 1992, ML.

[4] Michael J. Pazzani,et al. Detecting and correcting errors in rule-based expert systems: an integration of empirical and explanation-based learning , 1991 .

[5] Luc De Raedt,et al. Belief Updating from Integrity Constraints and Queries , 1992, Artif. Intell..

[6] Anthony Tomasic,et al. View Update Translation via Deduction and Annotation , 1988, ICDT.

[7] John Wylie Lloyd,et al. Foundations of Logic Programming , 1987, Symbolic Computation.

[8] Ehud Shapiro,et al. Algorithmic Program Debugging , 1983 .

[9] Richard E. Korf,et al. Depth-First Iterative-Deepening: An Optimal Admissible Tree Search , 1985, Artif. Intell..

[10] L. D. Raedt. Interactive theory revision: an inductive logic programming approach , 1992 .

[11] Raymond J. Mooney,et al. First-Order Theory Revision , 1991, ML.

[12] François Bry,et al. Intensional Updates: Abduction via Deduction , 1990, ICLP.