«What is Artificial Intelligence?» by John McCarthy