Inducing Relational Concepts with Neural Networks via the LINUS System

This paper presents a method to induce relational concepts with neural networks using the inductive logic programming system LINUS. Some first-order inductive learning tasks taken from machine learning literature were applied successfully, thus confirming the quality of the hypothesis generated by neural networks.

[1]  Ah-Hwee Tan,et al.  Cascade ARTMAP: integrating neural computation and symbolic knowledge processing , 1997, IEEE Trans. Neural Networks.

[2]  J. R. Quinlan.  Learning Logical Definitions from Relations , 1990 .

[3]  Saso Dzeroski,et al.  Inductive Logic Programming: Techniques and Applications , 1993 .

[4]  P. Smolensky.  On the proper treatment of connectionism , 1988, Behavioral and Brain Sciences.

[5]  Sebastian Thrun,et al.  The MONK''s Problems-A Performance Comparison of Different Learning Algorithms, CMU-CS-91-197, Sch , 1991 .

[6]  Franz J. Kurfess,et al.  CHCL - A Connectionist Infernce System , 1990, Dagstuhl Seminar on Parallelization in Inference Systems.

[7]  Anders Krogh,et al.  Introduction to the theory of neural computation , 1994, The advanced book program.

[8]  Jude W. Shavlik,et al.  Knowledge-Based Artificial Neural Networks , 1994, Artif. Intell..

[9]  Saso Dzeroski,et al.  Background Knowledge and Declarative Bias in Inductive Concept Learning , 1992, AII.

[10]  Jude Shavlik.  An Overview of Research at Wisconsin on Knowledge-Based Neural Networks , 1996 .

[11]  John McCarthy,et al.  Epistemological challenges for connectionism , 1988, Behavioral and Brain Sciences.

[12]  Marvin Minsky,et al.  Logical vs. analogical or symbolic vs. connectionist or neat vs. scruffy , 1991 .

[13]  L. Shastri,et al.  From Simple Associations to Systemic Reasoning: A Connectionist Representation of Rules, Variables and Dynamic Bindings , 1990 .

[14]  Saso Dzeroski,et al.  Experiments In Learning Nonrecursive Definitions Of Relations With Linus , 1991 .

[15]  Gerson Zaverucha,et al.  A Penalty-Function Approach to Rule Extraction from Knowledge-Based Neural Networks , 1998, ICONIP.

[16]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[17]  Joachim Diederich,et al.  Survey and critique of techniques for extracting rules from trained artificial neural networks , 1995, Knowl. Based Syst..