Pre-elaborazione logica riduce lo spazio delle ipotesi per ILP
I ricercatori introducono un metodo che pre-elabora logicamente la conoscenza di base per ridurre lo spazio delle ipotesi prima che i sistemi di programmazione logica induttiva (ILP) lo esplorino. L'approccio identifica regole che non possono far parte di un'ipotesi ottimale indipendentemente dagli esempi di addestramento—come 'i numeri pari non possono essere dispari'—e rimuove le regole violanti. Implementato utilizzando la programmazione di insiemi di risposta, è stato testato su domini di ragionamento visivo e di gioco, riducendo sostanzialmente i tempi di apprendimento mantenendo l'accuratezza predittiva. Il lavoro è dettagliato in arXiv:2506.06739.
Fatti principali
- 1. La programmazione logica induttiva (ILP) è una forma di apprendimento automatico logico.
- 2. L'obiettivo è cercare uno spazio delle ipotesi per un'ipotesi che generalizzi esempi di addestramento e conoscenza di base.
- 3. Il nuovo approccio riduce lo spazio delle ipotesi prima che un sistema ILP lo esplori.
- 4. Utilizza la conoscenza di base per trovare regole che non possono essere in un'ipotesi ottimale indipendentemente dagli esempi di addestramento.
- 5. Esempio: 'i numeri pari non possono essere dispari' e 'i numeri primi maggiori di 2 sono dispari'.
- 6. L'implementazione utilizza la programmazione di insiemi di risposta.
- 7. Esperimenti su domini di ragionamento visivo e di gioco mostrano una riduzione sostanziale dei tempi di apprendimento.
- 8. Le accuratezze predittive sono mantenute.
- 9. ID del documento: arXiv:2506.06739.
Entità
—