Epistemologia dell'Artificiale e Informatica Teorica