La Logica delle Ipotesi Unifica gli Approcci di Integrazione Neurosimbolica

Un nuovo articolo introduce la Logica delle Ipotesi (LoH), un linguaggio che unifica due filoni dell'integrazione neurosimbologica (NeSy): l'iniezione di regole artigianali nei modelli neurali e l'induzione di regole simboliche dai dati. LoH estende la logica proposizionale con un operatore di scelta dotato di parametri apprendibili, che consente di selezionare sottoformule da un pool. Utilizzando la logica fuzzy di Gödel e il trucco di Gödel, le formule LoH si compilano in grafi computazionali differenziabili, permettendo l'apprendimento tramite retropropagazione. Il framework sussume i modelli NeSy esistenti, consentendo gradi arbitrari di specificazione della conoscenza. L'articolo è disponibile su arXiv (2509.21663v2).