Show Reference: "From Simple Associations to Systematic Reasoning: a Connectionist Representation of Rules, Variables and Dynamic Bindings Using Temporal Synchrony"

From Simple Associations to Systematic Reasoning: a Connectionist Representation of Rules, Variables and Dynamic Bindings Using Temporal Synchrony Behavioral and Brain Sciences, Vol. 16 (1993), pp. 417-494 by Lokendra Shastri, Venkat Ajjanagadde
@article{shastri-and-ajjanagadde-1993,
    abstract = {Human agents draw a variety of inferences effortlessly, spontaneously, and with remarkable efficiency — as though these inferences are a reflex response of their cognitive apparatus. Furthermore, these inferences are drawn with reference to a large body of background knowledge. This remarkable human ability seems paradoxical given the results about the complexity of reasoning reported by researchers in artificial intelligence. It also poses a challenge for cognitive science and computational neuroscience: How can a system of simple and slow neuron-like elements represent a large body of systematic knowledge and perform a range of inferences with such speed? We describe a computational model that is a step toward addressing the cognitive science challenge and resolving the artificial intelligence paradox. We show how a connectionist network can encode millions of facts and rules involving n-ary predicates and variables, and perform a class of inferences in a few hundred msec. Efficient reasoning requires the rapid representation and propagation of dynamic bindings. Our model achieves this by i) representing dynamic bindings as the synchronous firing of appropriate nodes, ii) rules as interconnection patterns},
    author = {Shastri, Lokendra and Ajjanagadde, Venkat},
    journal = {Behavioral and Brain Sciences},
    pages = {417--494},
    posted-at = {2011-08-11 14:24:15},
    priority = {2},
    title = {From Simple Associations to Systematic Reasoning: a Connectionist Representation of Rules, Variables and Dynamic Bindings Using Temporal Synchrony},
    url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.117.543},
    volume = {16},
    year = {1993}
}

See the CiteULike entry for more info, PDF links, BibTex etc.