An Axiomatic Approach to Feature Term Generalization
Abstract
This paper presents a missing link between Plotkin’s least general generalization formalism and generalization on the Order Sorted Feature (OSF) foundation. A feature term (or Ψ-term ) is an extended logic term based on ordered sorts and is a normal form of an OSF-term. An axiomatic definition of Ψ-term generalization is given as a set of OSF clause generalization rules and the least generality of the axiomatic definition is proven in the sense of Plotkin’s least general generalization (lgg). The correctness of the definition is given on the basis of the axiomatic foundation. An operational definition of the least general generalization of clauses based on Ψ-terms is also shown as a realization of the axiomatic definition.
Cite
Text
Aït-Kaci and Sasaki. "An Axiomatic Approach to Feature Term Generalization." European Conference on Machine Learning, 2001. doi:10.1007/3-540-44795-4_1Markdown
[Aït-Kaci and Sasaki. "An Axiomatic Approach to Feature Term Generalization." European Conference on Machine Learning, 2001.](https://mlanthology.org/ecmlpkdd/2001/aitkaci2001ecml-axiomatic/) doi:10.1007/3-540-44795-4_1BibTeX
@inproceedings{aitkaci2001ecml-axiomatic,
title = {{An Axiomatic Approach to Feature Term Generalization}},
author = {Aït-Kaci, Hassan and Sasaki, Yutaka},
booktitle = {European Conference on Machine Learning},
year = {2001},
pages = {1-12},
doi = {10.1007/3-540-44795-4_1},
url = {https://mlanthology.org/ecmlpkdd/2001/aitkaci2001ecml-axiomatic/}
}