Algorithmic Learning for Knowledge-Based Systems