{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T07:43:48Z","timestamp":1767167028910,"version":"build-2238731810"},"reference-count":15,"publisher":"World Scientific Pub Co Pte Ltd","issue":"02","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Neur. Syst."],"published-print":{"date-parts":[[2001,4]]},"abstract":"<jats:p>A correspondence is established between the basic elements of logic reasoning systems (knowledge bases, rules, inference and queries) and the structure and dynamical evolution laws of neural networks. The correspondence is pictured as a translation dictionary which might allow to go back and forth between symbolic and network formulations, a desirable step in learning-oriented systems and multicomputer networks. In the framework of Horn clause logics, it is found that atomic propositions with n arguments correspond to nodes with nth order synapses, rules to synaptic intensity constraints, forward chaining to synaptic dynamics and queries either to simple node activation or to a query tensor dynamics.<\/jats:p>","DOI":"10.1142\/s0129065701000540","type":"journal-article","created":{"date-parts":[[2003,4,22]],"date-time":"2003-04-22T07:45:54Z","timestamp":1050997554000},"page":"179-186","source":"Crossref","is-referenced-by-count":7,"title":["NEURAL NETWORKS AND LOGICAL REASONING SYSTEMS: A TRANSLATION TABLE"],"prefix":"10.1142","volume":"11","author":[{"given":"JO\u00c3O","family":"MARTINS","sequence":"first","affiliation":[{"name":"Laborat\u00f3rio de Mecatr\u00f3nica, DEEC, IST, Av. Rovisco Pais, 1096 Lisboa Codex, Portugal"},{"name":"Escola Superior de Tecnologia, IPS, Rua do Vale de Chaves, Estefenilha, 2910 Set\u00fabal, Portugal"}]},{"given":"R. VILELA","family":"MENDES","sequence":"additional","affiliation":[{"name":"Laborat\u00f3rio de Mecatr\u00f3nica, DEEC, IST, Av. Rovisco Pais, 1096 Lisboa Codex, Portugal"},{"name":"Grupo de F\u00edsica-Matem\u00e1tica, Complexo Interdisciplinar, Univ. de Lisboa, Av. Gama Pinto 2, 1699 Lisboa Codex, Portugal"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"key":"p_1","doi-asserted-by":"publisher","DOI":"10.1145\/42372.42377"},{"key":"p_3","first-page":"71","volume":"13","author":"Towell G.","year":"1993","journal-title":"Machine Learning"},{"key":"p_4","doi-asserted-by":"publisher","DOI":"10.1109\/21.299696"},{"key":"p_5","doi-asserted-by":"publisher","DOI":"10.1016\/0167-8655(96)00069-4"},{"key":"p_7","doi-asserted-by":"publisher","DOI":"10.1080\/09540099208946607"},{"key":"p_12","doi-asserted-by":"publisher","DOI":"10.1515\/thli.1990.16.1.65"},{"key":"p_13","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90005-K"},{"key":"p_14","doi-asserted-by":"publisher","DOI":"10.1016\/0010-0277(88)90032-7"},{"key":"p_15","first-page":"153","volume":"42","author":"Farmer J. D.","year":"1990","journal-title":"Physica"},{"key":"p_16","doi-asserted-by":"publisher","DOI":"10.1088\/0954-898X\/7\/1\/008"},{"key":"p_17","doi-asserted-by":"publisher","DOI":"10.1016\/0893-6080(91)90070-L"},{"key":"p_18","doi-asserted-by":"publisher","DOI":"10.1016\/0893-6080(93)90009-L"},{"key":"p_21","doi-asserted-by":"publisher","DOI":"10.1007\/BF00249353"},{"key":"p_22","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(82)90041-8"},{"key":"p_23","doi-asserted-by":"publisher","DOI":"10.1007\/BF00244944"}],"container-title":["International Journal of Neural Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129065701000540","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T22:08:22Z","timestamp":1565129302000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0129065701000540"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,4]]},"references-count":15,"aliases":["10.1016\/s0129-0657(01)00054-0"],"journal-issue":{"issue":"02","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2001,4]]}},"alternative-id":["10.1142\/S0129065701000540"],"URL":"https:\/\/doi.org\/10.1142\/s0129065701000540","relation":{},"ISSN":["0129-0657","1793-6462"],"issn-type":[{"value":"0129-0657","type":"print"},{"value":"1793-6462","type":"electronic"}],"subject":[],"published":{"date-parts":[[2001,4]]}}}