On average optimality for non-stationary Markov decision processes in Borel spaces

This paper studies Borel models of nonstationary Markov decision processes (MDPs) with average criteria. We establish a suitable fixed point theorem, which is used to show the existence of solutions to the average optimality equation (AOE), without using contractions. The existence of optimal policies follows from the obtained solutions to the AOE. Furthermore, we show that versions of the rolling horizon algorithm can be used to produce an optimal policy or an ϵ-optimal policy. Finally, we compare the optimality conditions imposed in this paper with the existing ones in the literature, and demonstrate that they can be satisfied while the previous ones are not.