## Unification by Error-Correction

by
Ekaterina Komendantskaya

Citations: | 1 - 1 self |

### BibTeX

@MISC{Komendantskaya_unificationby,

author = {Ekaterina Komendantskaya},

title = {Unification by Error-Correction},

year = {}

}

### OpenURL

### Abstract

The paper formalises the famous algorithm of first-order unification by Robinson by means of the error-correction learning in neural networks. The significant achievement of this formalisation is that, for the first time, the first-order unification of two arbitrary first-order atoms is performed by finite (two-neuron) network.