Aus Aifbportal
(Weitergeleitet von Inproceedings605/en)
Wechseln zu:Navigation, Suche

A Bidirectional ILP Algorithm

A Bidirectional ILP Algorithm

Published: 1996 August
Herausgeber: W. Dilger, M. Schlosser, J. Zeidler und A. Ittner
Buchtitel: Beiträge zum 9. Fachgruppentreffen Maschinelles Lernen der GI Fachgruppe 1.1.3, Chemnitz, August 1996, Chemnitzer Informatik-Berichte CSR-96-06, Fakultät für Informatik, Technische Universität Chemnitz-Zwickau
Seiten: 118-123

Referierte Veröffentlichung


The paper presents an approach for using a bidirectional search strategy for inductively learning clauses in a restricted first-order language. The learning target is to find a set of goal clauses that describe the true ground facts of a given target predicate. In our example setting we further assume that the background knowledge is also given in the form of true (and false) ground facts of each background predicate. By fixing the number of variables allowed in the derived clauses we show that no explicit negative goal facts are needed in the case of the closed-world assumption since the rules are evaluated from the premise to the head rather than binding the variables of the goal literal first. As a consequence we get an efficient ILP algorithm that tries to minimize the tuples of variable substitutions stored at each step of our covering approach.