Neural Networks in Maude
Gustavo Santos-Garc ́ ia, Miguel Palomino, Alberto Verdejo · 2008
In this work we study the representation of the computational model of artificial neural networks in rewriting logic, along the lines of several models of parallelism and concurrency that have already been mapped into it. We show how crucial is the right choice for the representation operations and the availability of strategies to guide the application of our rules. Finally, we also apply our specification to data used in the diagnosis of glaucoma.