Informatica e diritto, IV Annata, Vol. IV, 1978, n. 2, pp. 1-53

Antonio Anselmo Martino, Enrico Maretti, Costantino Ciampi

Modelli operativi di sistemi giuridici positivi. Guida alla lettura di "Logica, informatica, diritto"

I curatori del volume spiegano in questo saggio introduttivo i motivi, i criteri e i risultati dell'attivitą condotta per la redazione dei due tomi su "Logica, informatica, diritto". I due tomi, frutto di un'attiva collaborazione internazionale, raccolgono quattordici contributi di noti e qualificati esperti delle tre discipline oggetto di studio.
Gli articoli sono nati intorno ad un programma di lavoro interdisciplinare proposto dai coordinatori dell'iniziativa e volto a realizzare la costruzione di uno o pił "modelli" computerizzati d'un sistema di norme giuridiche.
I lavori pubblicati non sempre hanno rispettato strettamente il tema prescelto, ma tutti hanno contribuito, e in maniera spesso notevole, a facilitare il dialogo tra logici, informatici e giuristi e a far comprendere chiaramente quanto feconda possa essere l'applicazione dei risultati pił recenti della logica e delle tecniche informatiche allo studio e all'analisi formale del discorso giuridico.
Chiude il saggio introduttivo un'Appendice nella quale sono illustrati alcuni programmi elettronici, scritti in APL, che rappresentano un primo contributo all'automazione del calcolo logico formale.

vai al testo integrale / see full text