Euristiche abduttive per la scoperta