DROPS

Document

Kernels on Prolog Proof Trees:Statistical Learning in the ILP Setting

Authors: Andrea Passerini, Paolo Frasconi, and Luc De Raedt

Published in: Dagstuhl Seminar Proceedings, Volume 5051, Probabilistic, Logical and Relational Learning - Towards a Synthesis (2006)

Abstract

An example-trace is a sequence of steps taken by a program on a given example input. Different approaches exist in order to exploit example-traces for learning, all explicitly inferring a target program from positive and negative traces. We generalize such idea by developing similarity measures betweeen traces in order to learn to discriminate between positive and negative ones. This allows to combine the expressiveness of inductive logic programming in representing knowledge to the statistical properties of kernel machines. Logic programs will be used to generate proofs of given visitor programs which exploit the available background knowledge, while kernel machines will be employed to learn from such proofs.

Cite as

Andrea Passerini, Paolo Frasconi, and Luc De Raedt. Kernels on Prolog Proof Trees:Statistical Learning in the ILP Setting. In Probabilistic, Logical and Relational Learning - Towards a Synthesis. Dagstuhl Seminar Proceedings, Volume 5051, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)

Copy BibTex To Clipboard

@InProceedings{passerini_et_al:DagSemProc.05051.8,
  author =	{Passerini, Andrea and Frasconi, Paolo and De Raedt, Luc},
  title =	{{Kernels on Prolog Proof Trees:Statistical Learning in the ILP Setting}},
  booktitle =	{Probabilistic, Logical and Relational Learning - Towards a Synthesis},
  pages =	{1--20},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5051},
  editor =	{Luc De Raedt and Thomas Dietterich and Lise Getoor and Stephen H. Muggleton},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05051.8},
  URN =		{urn:nbn:de:0030-drops-4171},
  doi =		{10.4230/DagSemProc.05051.8},
  annote =	{Keywords: Proof Trees, Logic Kernels, Learning from Traces}
}

Search Results

Documents authored by Frasconi, Paolo

Kernels on Prolog Proof Trees:Statistical Learning in the ILP Setting

Abstract

Cite as

Thanks for your feedback!

Could not send message