Theories and Methodologies for Cognitive Machine Learning based on Denotational Mathematics