{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,26]],"date-time":"2024-03-26T12:04:44Z","timestamp":1711454684141},"reference-count":26,"publisher":"IGI Global","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,7,1]]},"abstract":"<p>Probabilistic programming allows artificial systems to better operate with uncertainty, and stochastic arithmetic provides a way to carry out approximate computations with few resources. As such, both are plausible models for natural cognition. The authors' work on the automatic design of probabilistic machines computing soft inferences, with an arithmetic based on stochastic bitstreams, allowed to develop the following compilation toolchain: given a high-level description of some general problem, formalized as a Bayesian Program, the toolchain automatically builds a low-level description of an electronic circuit computing the corresponding probabilistic inference. This circuit can then be implemented and tested on reconfigurable logic. This paper describes two circuits as validating examples. The first one implements a Bayesian filter solving the problem of Pseudo Noise sequence acquisition in telecommunications. The second one implements decision making in a sensorimotor system: it allows a simple robot to avoid obstacles using Bayesian sensor fusion.<\/p>","DOI":"10.4018\/ijssci.2017070103","type":"journal-article","created":{"date-parts":[[2017,9,26]],"date-time":"2017-09-26T12:03:08Z","timestamp":1506427388000},"page":"37-58","source":"Crossref","is-referenced-by-count":2,"title":["Cognitive Computation"],"prefix":"10.4018","volume":"9","author":[{"given":"Marvin","family":"Faix","sequence":"first","affiliation":[{"name":"CNRS, Montbonnot-Saint-Martin, France"}]},{"given":"Emmanuel","family":"Mazer","sequence":"additional","affiliation":[{"name":"CNRS, Montbonnot-Saint-Martin, France"}]},{"given":"Rapha\u00ebl","family":"Laurent","sequence":"additional","affiliation":[{"name":"Probayes, Montbonnot-Saint-Martin, France"}]},{"given":"Mohamad Othman","family":"Abdallah","sequence":"additional","affiliation":[{"name":"Probayes, Montbonnot-Saint-Martin, France"}]},{"given":"Ronan","family":"Le Hy","sequence":"additional","affiliation":[{"name":"Probayes, Montbonnot-Saint-Martin, France"}]},{"given":"Jorge","family":"Lobo","sequence":"additional","affiliation":[{"name":"ISR - Institute of Systems and Robotics, Department of Electrical and Computer Engineering, University of Coimbra, Coimbra, Portugal"}]}],"member":"2432","reference":[{"key":"IJSSCI.2017070103-0","first-page":"92","article-title":"Survey of stochastic computing.","author":"A.Alaghi","year":"2013","journal-title":"ACM Transactions on Embedded Computing Systems"},{"key":"IJSSCI.2017070103-1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-79007-5"},{"key":"IJSSCI.2017070103-2","doi-asserted-by":"crossref","DOI":"10.1201\/b16111","author":"P. M.Bessi\u00e8re","year":"2013","journal-title":"Bayesian programming"},{"key":"IJSSCI.2017070103-3","author":"C. M.Bishop","year":"2006","journal-title":"Pattern recognition and machine learning."},{"key":"IJSSCI.2017070103-4","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.243978"},{"key":"IJSSCI.2017070103-5","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/978-3-642-40349-1_11","article-title":"A very high speed true random number generator with entropy assessment.","volume":"2013","author":"A. F.Cherkaoui","year":"2013","journal-title":"Cryptographic Hardware and Embedded Systems-CHES"},{"key":"IJSSCI.2017070103-6","doi-asserted-by":"crossref","unstructured":"Esser, S. A. (2013). Cognitive computing systems: Algorithms and applications for networks of neurosynaptic cores. In Proceedings of the 2013 International Joint Conference on Neural Networks.","DOI":"10.1109\/IJCNN.2013.6706746"},{"key":"IJSSCI.2017070103-7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-02006-8"},{"key":"IJSSCI.2017070103-8","doi-asserted-by":"crossref","unstructured":"Gaines, B. (1969). Stochastic computing systems. Advances in information systems science, 37--172.","DOI":"10.1007\/978-1-4899-5841-9_2"},{"key":"IJSSCI.2017070103-9","unstructured":"Goodman, N. M. (2008). Church: A language for generative models."},{"key":"IJSSCI.2017070103-10","doi-asserted-by":"crossref","unstructured":"Houillon, A. B. (2010). The probabilistic cell: implementation of a probabilistic inference by the biochemical mechanisms of phototransduction. Acta biotheoretica, 58 (2-3), 103-120.","DOI":"10.1007\/s10441-010-9104-y"},{"key":"IJSSCI.2017070103-11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511790423"},{"key":"IJSSCI.2017070103-12","author":"E.Jonas","year":"2014","journal-title":"Stochastic architectures for probabilistic computation"},{"key":"IJSSCI.2017070103-13","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2012.6378656"},{"key":"IJSSCI.2017070103-14","author":"V.Mansinghka","year":"2009","journal-title":"Natively probabilistic computation"},{"key":"IJSSCI.2017070103-15","doi-asserted-by":"crossref","unstructured":"Mekhnacha, K. A. (2007). Exact and approximate inference in ProBT. In Revue d'intelligence artificielle (pp. 295-331).","DOI":"10.3166\/ria.21.295-332"},{"key":"IJSSCI.2017070103-16","doi-asserted-by":"crossref","unstructured":"Milch, B. M. (2007). BLOG: Probabilistic Models with Unknown Objects. Statistical relational learning, 373.","DOI":"10.7551\/mitpress\/7432.003.0015"},{"key":"IJSSCI.2017070103-17","author":"J.Pearl","year":"1988","journal-title":"Probabilistic reasoning in intelligent systems: networks of plausible inference"},{"key":"IJSSCI.2017070103-18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21295-6_2"},{"key":"IJSSCI.2017070103-19","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2010.202"},{"key":"IJSSCI.2017070103-20","author":"M. O.Simon","year":"1994","journal-title":"Spread spectrum communications handbook"},{"key":"IJSSCI.2017070103-21","doi-asserted-by":"crossref","unstructured":"Tehrani, S. M. (2007). Survey of stochastic computation on factor graphs. In Proceedings of the 37th International Symposium on Multiple-Valued Logic ISMVL \u201807.","DOI":"10.1109\/ISMVL.2007.53"},{"key":"IJSSCI.2017070103-22","doi-asserted-by":"crossref","unstructured":"Tenenbaum, J. K. (2011). How to grow a mind: Statistics, structure, and abstraction. Science, 331(6022), 1279-1285.","DOI":"10.1126\/science.1192788"},{"key":"IJSSCI.2017070103-23","author":"S. a.Thrun","year":"2005","journal-title":"Probabilistic Robotics"},{"key":"IJSSCI.2017070103-24","author":"B.Vigoda","year":"2003","journal-title":"Analog logic: Continuous-Time analog circuits for statistical signal processing"},{"key":"IJSSCI.2017070103-25","doi-asserted-by":"crossref","unstructured":"Von Neumann, J. (1956). Probabilistic logics and the synthesis of reliable organisms from unreliable components. Automata studies, 34, 43-98.","DOI":"10.1515\/9781400882618-003"}],"container-title":["International Journal of Software Science and Computational Intelligence"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=190317","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,26]],"date-time":"2023-08-26T10:54:56Z","timestamp":1693047296000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/IJSSCI.2017070103"}},"subtitle":["An Exact Bayesian Inference Stochastic Machine"],"short-title":[],"issued":{"date-parts":[[2017,7,1]]},"references-count":26,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2017,7]]}},"URL":"https:\/\/doi.org\/10.4018\/ijssci.2017070103","relation":{},"ISSN":["1942-9045","1942-9037"],"issn-type":[{"value":"1942-9045","type":"print"},{"value":"1942-9037","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,7,1]]}}}