Nuova libreria Python CLGC genera sillogismi in notazioni di rappresentazione della conoscenza

È stata lanciata un'innovativa libreria Python open-source chiamata Common Logic Grammar Construction (CLGC), progettata per produrre automaticamente sillogismi in notazioni di Rappresentazione della Conoscenza (KR) e classificarli secondo SEF. Questa libreria fa parte di un progetto di ricerca che indaga come varie notazioni formali KR influenzino il ragionamento sillogistico nei modelli linguistici (LM). Lo studio arricchisce i dataset FOLIO e P-FOLIO, valutando modelli linguistici piccoli (SLM) in condizioni di Supervised Fine-Tuning (SFT) e Zero-Shot (ZS). I risultati suggeriscono che la scelta della notazione di input può raggiungere prestazioni paragonabili al linguaggio naturale, consentendo al contempo un'inferenza più rapida. Inoltre, viene introdotto un nuovo metodo di categorizzazione sillogistica (SEF) per migliorare i prompt Zero-Shot con definizioni logiche, migliorando il ragionamento nei modelli più piccoli. L'articolo è disponibile su arXiv con identificativo 2608.12374v1, segnando la libreria come la prima del suo genere.