Using the tree representation of terms t
โ
Carlos Mareco; Alberto Paccanaro
๐
Article
๐
1997
๐
Elsevier Science
๐
English
โ 682 KB
In this paper we investigate the use of neural networks to recognize the matching relation among First Order Logic (FOL) terms. Given n+l terms {ti, T with i=l, . . . . n}, the network should identify those trs which are matched by T or one of its subterms. One of the main issues is how to properly