A Formal Framework for Knowledge Acquisition: Going beyond Machine Learning