Leveraging the Manycore Architecture of the Loihi Spiking Processor to Perform Quasi-Complete Constraint Satisfaction
| Autor: | Tarek M. Taha, Nayim Rahman, Tanvir Atahary, Scott Douglass, Chris Yakopcic |
|---|---|
| Rok vydání: | 2020 |
| Předmět: |
Artificial neural network
Computer science Process (computing) Solution set 02 engineering and technology Constraint satisfaction 020202 computer hardware & architecture 03 medical and health sciences 0302 clinical medicine Computer engineering 0202 electrical engineering electronic engineering information engineering Boolean satisfiability problem 030217 neurology & neurosurgery Constraint satisfaction problem |
| Zdroj: | IJCNN |
| DOI: | 10.1109/ijcnn48605.2020.9207419 |
| Popis: | In many cases, low power autonomous systems need to make decisions extremely efficiently. However, as a problem space becomes more complex, finding a solution quickly becomes nearly impossible using traditional computing methods. Thus, in this work we show that constraint satisfaction problems (CSPs) can be solved quickly and efficiently using spiking neural networks. Constraint satisfaction is a general problem solving technique that can be applied to a large number of different applications. To demonstrate the validity of this algorithm, we show successful execution of the Boolean satisfiability problem (SAT) on the Intel Loihi spiking neuromorphic research processor. In many cases, constraint satisfaction problems have solution sets as opposed to single solutions. Therefore, the manycore architecture of the Loihi chip is used to parallelize the solution finding process, leading to a quasi-complete solution set generated at extreme efficiency (dynamic energy as low as 8 micro joules per solution). Power consumption in this spiking processor is due primarily to the propagation of spikes, which are the key drivers of data movement and processing. Thus, the proposed SAT algorithm was customized for spiking neural networks to achieve the greatest efficiency gains. To the best of our knowledge, the work in this paper exhibits the first implementation of constraint satisfaction on a low power embedded neuromorphic processor capable of generating a solution set. In general, we show that embedded spiking neuromorphic hardware is capable parallelizing the constraint satisfaction problem solving process to yield extreme gains in terms of time, power, and energy. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|