A Logical Framework of the Evidence Function Approximation Associated with Relevance Vector Machine. (28th March 2020)