A Structured Connectionist Unification Algorithm
Abstract
A connectionist unification algorithm is presented. It utilizes the fact that the most general unifier of two terms corresponds to a finest valid equivalence relation defined on a occurrence-label representation of the unification problem. The algorithm exploits the maximal parallelism inherent in the computation of such a finest valid equivalence relation while using only computational features of connectionism. It can easily be restricted to solve special forms of the unification problem such as the word problem, the matching problem, or the unification problem over infinite trees.
Cite
Text
Hölldobler. "A Structured Connectionist Unification Algorithm." AAAI Conference on Artificial Intelligence, 1990.Markdown
[Hölldobler. "A Structured Connectionist Unification Algorithm." AAAI Conference on Artificial Intelligence, 1990.](https://mlanthology.org/aaai/1990/holldobler1990aaai-structured/)BibTeX
@inproceedings{holldobler1990aaai-structured,
title = {{A Structured Connectionist Unification Algorithm}},
author = {Hölldobler, Steffen},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {1990},
pages = {587-593},
url = {https://mlanthology.org/aaai/1990/holldobler1990aaai-structured/}
}