Metrics on Terms and Clauses
Abstract
In the subject of machine learning, a “concept” is a description of a cluster of the concept's instances. In order to invent a new concept, one has to discover such a cluster. The necessary tool for clustering is a metric, or pseudo-metric. Here are presented families of pseudometrics which seem well suited to such tasks. On terms and literals, we construct a new kind of metric from the substitutions which arise through subsumption. From these, it is easy to form metrics on clauses, by a technique due to F.Hausdorff. They will be applicable to generalization from sets of ground clauses, to discovery of heuristic guidance for theorem proving, and to inductive logic programming.
Cite
Text
Hutchinson. "Metrics on Terms and Clauses." European Conference on Machine Learning, 1997. doi:10.1007/3-540-62858-4_78Markdown
[Hutchinson. "Metrics on Terms and Clauses." European Conference on Machine Learning, 1997.](https://mlanthology.org/ecmlpkdd/1997/hutchinson1997ecml-metrics/) doi:10.1007/3-540-62858-4_78BibTeX
@inproceedings{hutchinson1997ecml-metrics,
title = {{Metrics on Terms and Clauses}},
author = {Hutchinson, Alan},
booktitle = {European Conference on Machine Learning},
year = {1997},
pages = {138-145},
doi = {10.1007/3-540-62858-4_78},
url = {https://mlanthology.org/ecmlpkdd/1997/hutchinson1997ecml-metrics/}
}