A history of AI in four books