Modellazione automatica di norme giuridiche
Il 16/04/2026 ore 11.00 - 13.00
Istituto di Informatica Giuridica e Sistemi Giudiziari
Via de' Barucci 20, Firenze
Il seminario, che si svolge in modalità ibrida, si concentrerà sulla costruzione di modelli computabili del diritto, permette di rappresentare e ragionare su norme giuridiche in modo formale e automatizzato.
La creazione di modelli formali, spesso in linguaggi logici o ontologie, richiede una notevole quantità di lavoro manuale da parte di esperti del dominio, che devono estrarre il significato da testi normativi per produrne rappresentazioni formali. D'altro canto, la recente diffusione di modelli di linguaggio di grandi dimensioni (LLM) ha dimostrato la capacità di manipolare e generare testo rapidamente. Viene naturale pensare che tali modelli possano essere integrati nel processo di estrazione e modellazione di testi normativi, riducendo significativamente il lavoro manuale richiesto.Tuttavia, LLM possono produrre output plausibili, ma non accurati o coerenti. Ciò rende necessaria una fase di validazione prima dell'integrazione in un sistema di ragionamento.
In questo contesto, proponiamo una pipeline per integrare LLM nel processo di modellazione di ontologie giuridiche, conservando al contempo un approccio rigoroso di validazione sintattica e semantica.
Organizzato da:
Istituto di Informatica Giuridica e Sistemi Giudiziari
Referente organizzativo:
Massimo Cristofaro
CNR - Istituto di Informatica Giuridica e Sistemi Giudiziari
Via de' Barucci 20, Firenze
segreteriaeventi.igsg@cnr.it
Modalità di accesso: ingresso libero
La partecipazione è libera, ma è obbligatorio registrarsi:
o scrivendo a segreteriaeventi.igsg@cnr.it in caso di partecipazione in presenza
o registrandosi al link presente in locandina in caso di partecipazione da remoto
Vedi anche: