%0 Generic
%D 2002
%T A Quasi-Metric for Machine Learning
%A Miguel A. Gutiérrez-Naranjo
%A José A. Alonso-Jiménez
%A Joaquín Borrego-Díaz
%C Amsterdam, The Netherlands
%I Springer
%P 193-203
%R 10.1007/3-540-36131-6_20
%U http://dx.doi.org/10.1007/3-540-36131-6_20
%V 2527
%X The subsumption relation is crucial in the Machine Learning systems based on a clausal representation. In this paper we present a class of operators for Machine Learning based on clauses which is a characterization of the subsumption relation in the following sense: The clause C1 subsumes the clause C2 iff C1 can be reached from C2 by applying these operators. In the second part of the paper we give a formalization of the closeness among clauses based on these operators and an algorithm to compute it as well as a bound for a quick estimation.
%@ 978-3-540-00131-7