The History of Artificial Intelligence (to 2020)