透過您的圖書館登入
IP:3.135.219.166
  • 期刊

A Hierarchical Classification of First-Order Recurrent Neural Networks

並列摘要


We provide a decidable hierarchical classification of first-order recurrent neural networks made up of McCulloch and Pitts cells. This classification is achieved by proving an equivalence result between such neural networks and deterministic Büuchi automata, and then translating the Wadge classification theory from the abstract machine to the neural network context. The obtained hierarchy of neural networks is proved to have width 2 and height ω+1, and a decidability procedure of this hierarchy is provided. Notably, this classification is shown to be intimately related to the attractive properties of the considered networks.

參考文獻


McCulloch, W.S. and Pitts, W. A logical calculus of the ideas immanent in nervous activity. Bull. Math. Biophys. 5: 115-133, 1943.
Duparc, J.(2001).Wadge hierarchy and Veblen hierarchy Part I: Borel sets of finite rank.J. Symb. Log..66,56-86.
Duparc, J.(2003).A hierarchy of deterministic context-free ω-languages.Theor. Comput. Sci..290,1253-1300.
Duparc, J.,Finkel, O.,Ressayre, J.-P.(2001).Computer science and the fine structure of Borel sets.Theor. Comput. Sci..257,85-105.
Finkel, O.(2001).An effective extension of the Wagner hierarchy to blind counter automata.Lect. Notes Comput. Sci..2142,369-383.

延伸閱讀