An investigation has been carried out into performing resolution, an i
nference step usually associated with symbolic inference systems. Dist
ributed representations are generated by a neural network. A variable
binding process, unification, is carried out on these representations
and then a resolution step is performed. (C) 1998 Elsevier Science B.V
. All rights reserved.