Quale evento del 1956 è considerato il momento fondativo dell'Intelligenza Artificiale come disciplina formale?