La definición de IA y un programa que satisface esta definición