Questo articolo vuol essere un'esposizione aggiornata, benché necessariamente parziale, dello stato dell'arte della ricerca relativa all'integrazione modulare di procedure di decisione nella logica elementare. Nello specifico, date due teorie $T_1$ e $T_2$ il cui frammento universale è decidibile, si è interessati ad individuare quali siano le condizioni che permettono di trasferire tale decidibilità alla teoria ottenuta dall'unione di $T_1$ e $T_2$. Allo scopo di dare un quadro il più possibile completo ed approfondito delle ricerche in questo campo, vengono presentati anche risultati sulla possibilità di trasferire alla teoria unione la decidibilità del problema della parola e viene descritto un ambiente di ordine superiore in cui esprimere svariati problemi di combinazione. Infine, viene fornita la descrizione ad alto livello di alcune delle tecniche più comunemente utilizzate nell'implementazione di efficienti sistemi per la combinazione.
Recent Advances in Combined Decision Problems / S. Ghilardi, E. Nicolini, D. Zucchelli - In: Logic and Philosophy in Italy : Trends and Perspectives / [a cura di] E. Ballo, M. Franchella. - Milano : Polimetrica, 2006 Apr. - ISBN 8876990275. - pp. 87-104
Recent Advances in Combined Decision Problems
S. GhilardiPrimo
;E. NicoliniSecondo
;D. ZucchelliUltimo
2006
Abstract
Questo articolo vuol essere un'esposizione aggiornata, benché necessariamente parziale, dello stato dell'arte della ricerca relativa all'integrazione modulare di procedure di decisione nella logica elementare. Nello specifico, date due teorie $T_1$ e $T_2$ il cui frammento universale è decidibile, si è interessati ad individuare quali siano le condizioni che permettono di trasferire tale decidibilità alla teoria ottenuta dall'unione di $T_1$ e $T_2$. Allo scopo di dare un quadro il più possibile completo ed approfondito delle ricerche in questo campo, vengono presentati anche risultati sulla possibilità di trasferire alla teoria unione la decidibilità del problema della parola e viene descritto un ambiente di ordine superiore in cui esprimere svariati problemi di combinazione. Infine, viene fornita la descrizione ad alto livello di alcune delle tecniche più comunemente utilizzate nell'implementazione di efficienti sistemi per la combinazione.Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.