Unification neural networks: unification by error-correction learning

Logic Journal of the IGPL 19 (6):821-847 (2011)
  Copy   BIBTEX


We show that the conventional first-order algorithm of unification can be simulated by finite artificial neural networks with one layer of neurons. In these unification neural networks, the unification algorithm is performed by error-correction learning. Each time-step of adaptation of the network corresponds to a single iteration of the unification algorithm. We present this result together with the library of learning functions and examples fully formalised in MATLAB Neural Network Toolbox



    Upload a copy of this work     Papers currently archived: 89,491

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Some Neural Networks Compute, Others Don't.Gualtiero Piccinini - 2008 - Neural Networks 21 (2-3):311-321.
Unification and explanation.Erik Weber & Maarten Van Dyck - 2002 - Synthese 131 (1):145 - 154.
On the structure of explanatory unification: the case of geographical economics.Uskali Mäki & Caterina Marchionni - 2009 - Studies in History and Philosophy of Science Part A 40 (2):185-195.
Newton’s notion and practice of unification.Steffen Ducheyne - 2005 - Studies in History and Philosophy of Science Part A 36 (1):61-78.
Unification in modal and description logics.Franz Baader & Silvio Ghilardi - 2011 - Logic Journal of the IGPL 19 (6):705-730.
Highly constrained unification grammars.Daniel Feinstein & Shuly Wintner - 2008 - Journal of Logic, Language and Information 17 (3):345-381.
Neural Network Learning as an Inverse Problem.Věra Kůrková - 2005 - Logic Journal of the IGPL 13 (5):551-559.
Explanatory Unification: Double and Doubtful.Uskali Mäki - 2001 - Philosophy of the Social Sciences 31 (4):488-506.


Added to PP

8 (#1,125,187)

6 months
6 (#198,304)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references