Inductive logic programming from machine learning to software engineering

Although Inductive Logic Programming (ILP) is generally thought of as a research area at the intersection of machine learning and computational logic, Bergadano and Gunetti propose that most of the research in ILP has in fact come from machine learning, particularly in the evolution of inductive rea...

Full description

Bibliographic Details
Main Author: Bergadano, Francesco
Other Authors: Gunetti, Daniele
Format: eBook
Language:English
Published: Cambridge, Mass. MIT Press 1996
Series:Logic programming
Subjects:
Online Access:
Collection: MIT Press eBook Archive - Collection details see MPG.ReNa
LEADER 02131nmm a2200289 u 4500
001 EB002070699
003 EBX01000000000000001210789
005 00000000000000.0
007 cr|||||||||||||||||||||
008 220922 ||| eng
020 |a 9780262288422 
020 |a 0262288427 
050 4 |a QA76.63 
100 1 |a Bergadano, Francesco 
245 0 0 |a Inductive logic programming  |h Elektronische Ressource  |b from machine learning to software engineering  |c Francesco Bergadano and Daniele Gunetti 
260 |a Cambridge, Mass.  |b MIT Press  |c 1996 
300 |a vii, 240 pages  |b illustrations 
653 |a COGNITIVE SCIENCES/General 
653 |a Logic programming 
700 1 |a Gunetti, Daniele 
041 0 7 |a eng  |2 ISO 639-2 
989 |b MITArchiv  |a MIT Press eBook Archive 
490 0 |a Logic programming 
028 5 0 |a 10.7551/mitpress/3731.001.0001 
856 4 0 |u https://doi.org/10.7551/mitpress/3731.001.0001?locatt=mode:legacy  |x Verlag  |3 Volltext 
082 0 |a 005.1/1 
520 |a Although Inductive Logic Programming (ILP) is generally thought of as a research area at the intersection of machine learning and computational logic, Bergadano and Gunetti propose that most of the research in ILP has in fact come from machine learning, particularly in the evolution of inductive reasoning from pattern recognition, through initial approaches to symbolic machine learning, to recent techniques for learning relational concepts. In this book they provide an extended, up-to-date survey of ILP, emphasizing methods and systems suitable for software engineering applications, including inductive program development, testing, and maintenance. Inductive Logic Programming includes a definition of the basic ILP problem and its variations (incremental, with queries, for multiple predicates and predicate invention capabilities), a description of bottom-up operators and techniques (such as least general generalization, inverse resolution, and inverse implication), an analysis of top-down methods (mainly MIS and FOIL-like systems), and a survey of methods and languages for specifying inductive bias Logic Programming series