{"pk":30801,"title":"Efficient Inference with Multi-Place Predicates and Variables in a Connectionist System","subtitle":null,"abstract":"The ability to represent structured knowledge and use that knowledge in a systematic way is a very important ingredient of cognition. A n often heard criticism of connection ism is that connectionists ystems cannot possess that ability. The work reported in this paper demonstrates that a connectionist system can not only represent structured knowledge aind display systematic behavior, but can also do so with extreme efficiency. The paper describes a connectionist system that can represent knowledge expressed as rules and fads involving muhi-place predicates, and draw limited,but sound, inferences based on this knowledge.The system is extremely efficient - in fact, optimal,as it draws conclusions in time proportion alto the length of the proof. Central to this ability of the system is a solution to the variable binding problem. The solution makes use of the notion of a phased clock and exploits the time dimension to create and propagate variable bindings.","language":"eng","license":{"name":"","short_name":"","text":null,"url":""},"keywords":[],"section":"Paper Presentations","is_remote":true,"remote_url":"https://escholarship.org/uc/item/7gh9s2w5","frozenauthors":[{"first_name":"Venkat","middle_name":"","last_name":"Ajjanagadde","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":"1989-01-01T21:00:00+03:00","render_galley":null,"galleys":[{"label":"PDF","type":"pdf","path":"https://journalpub.escholarship.org/cognitivesciencesociety/article/30801/galley/20650/download/"}]}