Learning Constrained Atoms

Jr., C. David Page; Frisch, Alan M.

doi:10.1016/B978-1-55860-200-7.50088-X

Learning Constrained Atoms

C. David Page Jr., Alan M. Frisch

ICML 1991 pp. 427-431

doi:10.1016/B978-1-55860-200-7.50088-X /icml/1991/jr1991icml-learning/

Abstract

This paper studies the generalization of atomic formulas, or atoms, that are augmented with constraints on or among their terms. The atoms may also be viewed as definite clauses whose antecedents express the constraints. Atoms are generalized relative to a body of background information about the constraints. The paper develops an algorithm for the generalization task and discusses algorithm complexity. The paper also presents semantic properties of the generalizations computed by the algorithm. We have shown elsewhere that these properties are useful in problems such as abduction, induction, analogical reasoning, and knowledge base vivification. This paper emphasizes the application to induction and presents a pac-learning result for constrained atoms.

ICML Semantic Scholar

Cite

Text

Jr. and Frisch. "Learning Constrained Atoms." International Conference on Machine Learning, 1991. doi:10.1016/B978-1-55860-200-7.50088-X

Markdown

[Jr. and Frisch. "Learning Constrained Atoms." International Conference on Machine Learning, 1991.](https://mlanthology.org/icml/1991/jr1991icml-learning/) doi:10.1016/B978-1-55860-200-7.50088-X

BibTeX

@inproceedings{jr1991icml-learning,
  title     = {{Learning Constrained Atoms}},
  author    = {Jr., C. David Page and Frisch, Alan M.},
  booktitle = {International Conference on Machine Learning},
  year      = {1991},
  pages     = {427-431},
  doi       = {10.1016/B978-1-55860-200-7.50088-X},
  url       = {https://mlanthology.org/icml/1991/jr1991icml-learning/}
}