{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,19]],"date-time":"2023-05-19T21:10:38Z","timestamp":1684530638680},"reference-count":10,"publisher":"World Scientific Pub Co Pte Ltd","issue":"05","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Patt. Recogn. Artif. Intell."],"published-print":{"date-parts":[[2008,8]]},"abstract":"<jats:p>This paper presents the implementation of ARQ-PROP II, a limited-depth propositional neural reasoner based on the Resolution Principle. The SATyrus platform was used in the synthesis of Energy functions from a set of pseudo-Boolean constraints specifying ARQ-PROP II architectures for different inferencing depths. Global minima of the Energy functions produced by SATyrus are associated to SATisfiability of a formula and, in the case of ARQ-PROP II, are associated to Resolution-based refutations. This allows for simplified abduction, prediction and planning to be unified with deduction in a goal-driven style, i.e. there is no need for presetting a reasoning style upon a target set of clauses. Experimental results on deduction with ARQ-PROP II using different propositional depth settings are presented together with a correction of Gadi Pinkas' mapping of SATisfiability into Energy minima.<\/jats:p>","DOI":"10.1142\/s0218001408006673","type":"journal-article","created":{"date-parts":[[2008,9,2]],"date-time":"2008-09-02T11:01:05Z","timestamp":1220353265000},"page":"1031-1043","source":"Crossref","is-referenced-by-count":2,"title":["LOGICAL REASONING VIA SATISFIABILITY MAPPED INTO ENERGY FUNCTIONS"],"prefix":"10.1142","volume":"22","author":[{"given":"PRISCILA M. V.","family":"LIMA","sequence":"first","affiliation":[{"name":"Department of Electronics and Computer Engineering, Universidade Federal do Rio de Janeiro, P.O. Box 68564, 21941-972, Rio de Janeiro, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. MARIELA M.","family":"MORVELI-ESPINOZA","sequence":"additional","affiliation":[{"name":"Departament d'Inform\u00e0tica, Universitat Aut\u00f2noma de Barcelona, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"GLAUCIA C.","family":"PEREIRA","sequence":"additional","affiliation":[{"name":"CIEMAT, Departamento de Tecnolog\u00eda, Divisi\u00f3n de Electr\u00f3nica y Sensores, Unidade de F\u00edsica M\u00e9dica, Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"TALITA O.","family":"FERREIRA","sequence":"additional","affiliation":[{"name":"LAM \u2013 Computer Architecture and Microelectronics Laboratory, COPPE \u2013 Systems Engineering and Computer Science Program, Universidade Federal do Rio de Janeiro, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"FELIPE M. G.","family":"FRAN\u00c7A","sequence":"additional","affiliation":[{"name":"Department of Electronics and Computer Engineering, Universidade Federal do Rio de Janeiro, P.O. Box 68564, 21941-972, Rio de Janeiro, Brazil"},{"name":"LAM \u2013 Computer Architecture and Microelectronics Laboratory, COPPE \u2013 Systems Engineering and Computer Science Program, Universidade Federal do Rio de Janeiro, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"key":"rf2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380201002"},{"key":"rf3","first-page":"193","volume":"21","author":"Dixon H. E.","journal-title":"J. Art. Intell. Res."},{"key":"rf4","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1613\/jair.1555","volume":"22","author":"Dixon H. E.","journal-title":"J. Artif. Intell. Res."},{"key":"rf5","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1613\/jair.1656","volume":"23","author":"Dixon H. E.","journal-title":"J. Artif. Intell. Res."},{"key":"rf6","first-page":"721","volume":"6","author":"Geman S.","journal-title":"IEEE Trans. Patt. Anal. Mach. Intell. PAMI"},{"key":"rf7","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.79.8.2554"},{"key":"rf8","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/BF00339943","volume":"52","author":"Hopfield J. J.","journal-title":"Biol. Cybern."},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1126\/science.220.4598.671"},{"key":"rf11","doi-asserted-by":"publisher","DOI":"10.1142\/S012906570100076X"},{"key":"rf17","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-006-5833-1"}],"container-title":["International Journal of Pattern Recognition and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218001408006673","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,19]],"date-time":"2023-05-19T20:41:47Z","timestamp":1684528907000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218001408006673"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,8]]},"references-count":10,"journal-issue":{"issue":"05","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2008,8]]}},"alternative-id":["10.1142\/S0218001408006673"],"URL":"https:\/\/doi.org\/10.1142\/s0218001408006673","relation":{},"ISSN":["0218-0014","1793-6381"],"issn-type":[{"value":"0218-0014","type":"print"},{"value":"1793-6381","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,8]]}}}