I processi dominio-dipendenti e dominio specifici nel ragionamento induttivo