Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Neural networks and logical reasoning systems. A translation table   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.

23
The categories of this paper are: solv-int
30
The categories of this paper are: q-alg
27
The categories of this paper are: comp-gas
2
The categories of this paper are: math
17
The categories of this paper are: q-fin
6
The categories of this paper are: astro-ph
34
The categories of this paper are: chem-ph
1
The categories of this paper are: cs
24
The categories of this paper are: dg-ga
7
The categories of this paper are: hep-th
33
The categories of this paper are: plasm-ph
16
The categories of this paper are: stat
8
The categories of this paper are: hep-ex
21
The categories of this paper are: adap-org
19
The categories of this paper are: eess
18
The categories of this paper are: econ