Creative Commons Attribution 4.0 license (CC BY 4.0)when quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.05051.8
URN: urn:nbn:de:0030-drops-4171
URL: https://drops.dagstuhl.de/opus/volltexte/2006/417/
Passerini, Andrea ; Frasconi, Paolo ; De Raedt, Luc
Kernels on Prolog Proof Trees:Statistical Learning in the ILP Setting
| pdf-format: |
|
Abstract
An example-trace is a sequence of steps taken by a program ona 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.
BibTeX - Entry
@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/opus/volltexte/2006/417},
URN = {urn:nbn:de:0030-drops-4171},
doi = {10.4230/DagSemProc.05051.8},
annote = {Keywords: Proof Trees, Logic Kernels, Learning from Traces}
}
| Keywords: | Proof Trees, Logic Kernels, Learning from Traces | |
| Seminar: | 05051 - Probabilistic, Logical and Relational Learning - Towards a Synthesis | |
| Issue date: | 2006 | |
| Date of publication: | 19.01.2006 |
