A brief history of artificial intelligence