Horn query learning with multiple refinement
Visualitza/Obre
archivo con el contenido del artículo (388,1Kb) (Accés restringit)
Sol·licita una còpia a l'autor
Què és aquest botó?
Aquest botó permet demanar una còpia d'un document restringit a l'autor. Es mostra quan:
- Disposem del correu electrònic de l'autor
- El document té una mida inferior a 20 Mb
- Es tracta d'un document d'accés restringit per decisió de l'autor o d'un document d'accés restringit per política de l'editorial
10.1007/978-3-540-89694-4_51
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/10845
Tipus de documentArticle
Data publicació2008
Condicions d'accésAccés restringit per política de l'editorial
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
In this paper we try to understand the heuristics that underlie the decisions made by the Horn query learning algorithm proposed in [1]. We take advantage of our explicit representation of such heuristics
in order to present an alternative termination proof for the algorithm, as well as to justify its decisions by showing that they always guarantee that the negative examples in the sequence maintained by the algorithm violate different clauses in the target formula. Finally, we propose a new
algorithm that allows multiple refinement when we can prove that such a refinement does not affect the independence of the negative examples in the sequence maintained by the algorithm.
CitacióSierra, J.; Santibáñez, J. Horn query learning with multiple refinement. "Lecture notes in computer science", 2008, vol. 5361, p. 503-513.
ISSN0302-9743
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
53610503.pdf | archivo con el contenido del artículo | 388,1Kb | Accés restringit |