Summary
A general neural network model for rewriting logic is proposed. This model, in the form of a feedforward multilayer net, is represented in rewriting logic along the lines of several models of parallelism and concurrency that have already been mapped into it. By combining both a right choice for the representation operations and the availability of strategies to guide the application of our rules, a new approach for the classical backpropagation learning algorithm is obtained. An example, the diagnosis of glaucoma by using campimetric fields and nerve fibres of the retina, is presented to illustrate the performance and applicability of the proposed model.
Research supported by Spanish project DESAFIOS TIN2006–15660–C02–01 and by Comunidad de Madrid program PROMESAS S–0505/TIC/0407.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C. (eds.): All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007)
Eker, S., Martí-Oliet, N., Meseguer, J., Verdejo, A.: Deduction, strategies, and rewriting. In: Archer, M., de la Tour, T.B., Muñoz, C.A. (eds.) 6th International Workshop on Strategies in Automated Deduction, STRATEGIES 2006, Part of FLOC 2006, Seattle, Washington, August 16. Electronic Notes in Theoretical Computer Science, vol. 174(11), pp. 3–25. Elsevier, Amsterdam (2007)
Hernández Galilea, E., Santos-García, G., Franco Suárez-Bárcena, I.: Identification of glaucoma stages with artificial neural networks using retinal nerve fibre layer analysis and visual field parameters. In: Corchado, E., Corchado, J.M., Abraham, A. (eds.) Innovations in Hybrid Intelligent Systems, Advances in Soft Computing, pp. 418–424. Springer, Heidelberg (2007)
Lippman, R.P.: An introduction to computing with neural nets. IEEE ASSP Magazine, 4–22 (1987)
Martí-Oliet, N., Meseguer, J.: Rewriting logic as a logical and semantic framework. In: Gabbay, D. (ed.) Handbook of Philosophical Logic, 2nd edn., vol. 9, pp. 1–81. Kluwer Academic Press, Dordrecht (2002)
Martí-Oliet, N., Meseguer, J.: Rewriting logic: Roadmap and bibliography. Theoretical Computer Science 285(2), 121–154 (2002)
Meseguer, J.: Research directions in rewriting logic. In: Berger, U., Schwichtenberg, H. (eds.) Computational Logic: Marktoberdorf, Germany, July 29 – August 6, vol. 165, pp. 347–398. NATO Advanced Study Institute (1997)
Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science 96(1), 73–155 (1992)
Talcott, C.L.: An actor rewriting theory. In: Meseguer, J. (ed.) Workshop on Rewriting Logic and its Applications, WRLA 1996. Electronic Notes in Theoretical Computer Science, vol. 4, pp. 360–383. Elsevier, Amsterdam (1996)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Santos-García, G., Palomino, M., Verdejo, A. (2009). Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude. In: Corchado, J.M., Rodríguez, S., Llinas, J., Molina, J.M. (eds) International Symposium on Distributed Computing and Artificial Intelligence 2008 (DCAI 2008). Advances in Soft Computing, vol 50. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-85863-8_50
Download citation
DOI: https://doi.org/10.1007/978-3-540-85863-8_50
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-85862-1
Online ISBN: 978-3-540-85863-8
eBook Packages: EngineeringEngineering (R0)