Neural networks and logical reasoning systems. A translation table
| dc.creator | Martins, Joao | |
| dc.creator | Mendes, R. Vilela | |
| dc.date | 1998-08-04 | |
| dc.date.accessioned | 2026-07-07T03:11:14Z | |
| dc.date.available | 2026-07-07T03:11:14Z | |
| dc.description | A correspondence is established between the elements of logic reasoning systems (knowledge bases, rules, inference and queries) and the hardware and dynamical operations of neural networks. The correspondence is framed as a general translation dictionary which, hopefully, will allow to go back and forth between symbolic and network formulations, a desirable step in learning-oriented systems and multicomputer networks. In the framework of Horn clause logics it is found that atomic propositions with n arguments correspond to nodes with n-th order synapses, rules to synaptic intensity constraints, forward chaining to synaptic dynamics and queries either to simple node activation or to a query tensor dynamics. | |
| dc.identifier | https://arxiv.org/abs/cond-mat/9808041 | |
| dc.identifier | http://arxiv.org/abs/cond-mat/9808041 | |
| dc.identifier | International Journal of Neural Systems 11 (2001) 179-186 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/28496 | |
| dc.subject | Disordered Systems and Neural Networks | |
| dc.title | Neural networks and logical reasoning systems. A translation table | |
| dc.type | text |