{"pk":31402,"title":"A Connectionist Solution to the Multiple Instantiation Problem Using Temporal Synchrony","subtitle":null,"abstract":"Shastri and Ajjanagadde have described a neurally plausible system for knowledge representation and reasoning that can represent systematic knowledge involving n-ary predicates and variables, and perform a broad class of reasoning with extreme efficiency. The system maintains and propagates variable bindings using temporally synchronous—i.e., in-phase — firing of appropriate nodes. This paper extends the reasoning system to incorporate multiple instantiation of predicates, so that any predicate can be instantiated up to k times, k being a system parameter. The ability to accommodate multiple instantiations of a predicate allows the system to handle a much broader class of rules, including bounded transitivity and recursion. The time and space requirements increase only by a constant factor, and the extended system can still answer queries in time proportional to the length of the shortest derivation of the query.","language":"eng","license":{"name":"","short_name":"","text":null,"url":""},"keywords":[],"section":"Posters","is_remote":true,"remote_url":"https://escholarship.org/uc/item/05p5532d","frozenauthors":[{"first_name":"D.","middle_name":"R.","last_name":"Mani","name_suffix":"","institution":"University of Pennsylvania","department":""},{"first_name":"Lokendra","middle_name":"","last_name":"Shastri","name_suffix":"","institution":"University of Pennsylvania","department":""}],"date_submitted":null,"date_accepted":null,"date_published":"1992-01-01T18:00:00Z","render_galley":null,"galleys":[{"label":"PDF","type":"pdf","path":"https://journalpub.escholarship.org/cognitivesciencesociety/article/31402/galley/22471/download/"}]}