The history of artificial intelligence