Modeling Neural Networks Training Process with Markov Decision Process

With the development of computer technology, statistics-based machine learning method has made great break-throughs, and also improved the development of artificial intelligence. Nevertheless, as a very influential model, neural networks are still treated as “black boxes”. The results of neural networks are extremely sensitive to the training samples, which lead to great challenges to the controllability of the algorithm. With the wide application of machine learning, demand for interpretability and controllability of neural networks algorithms is increasing. As a result, various scholars have tried to explain and verify neural networks algorithms based on formal methods in recent years. In this paper, a method (called MNNTP) is presented to model the training process of neural networks by using a Markov decision process (MDP). Through MNNTP, the neural networks are abstracted into the form of MDP, which makes notable contributions for verifying some mathematical properties of the neural networks.