Combining principles of biological cognition and machine learning to devise, empirically test and prove novel algorithms that can achieve general intelligence.