Rapprocher la logique des machines de la logique humaine