Apprendimento Automatico e Logica Lineare