Division of Informatics
Forrest Hill & 80 South Bridge

Research Paper #731
Title:	Reasoning with Limited Unification in a Connectionist Rule-Based System
Authors:	Park,N; Robertson,DS; gardner,K
Date:	Jan 1995
Presented:	Accepted for the ICLP 94 Workshop on "Logic and Reasoning with Neural Networks"
Keywords:
Abstract:	At the intersection between symbolic inference and connectionism, there is interest in producing systems constructed from connectionist components which perform types of inference comparable to symbolic systems. The attraction of such systems is that, under restricted conditions, they may be capable of very fast, "reactive" responses to external stimuli. A major open question in this field is the extent to which a connectionist architecture can accommodate basic concepts of symbolic inference, such as unification of terms. One of the current leaders in this are is the rule-based system proposed by Shastri and Ajjanagadde (1993). We demonstrate that the mechanism for variable binding which they advocate is fundamentally limited and show how a reinterpretation of the primitive components of their system can extend the range of inference which can be supported.
Download:	POSTSCRIPT COPY

Division of InformaticsForrest Hill & 80 South Bridge