Formal neural network specification and its implications on standardization

摘要

This paper introduces a formal framework for describing and specifying neural networks and discusses several important issues with implications for neural network standardization. In particular, a neural network definition and two tools for graphical description and formal specification are introduced. Issues such s the theoretical impossibil- ity of canonical description, or the need for complete specification (including global algorithms) are discussed. Several examples, making sue of the developed tools, illustrate these discussions.