200 likes | 385 Views
Ontologie giuridiche. Guido Boella. Ontologie. Wolff: distinguono cio’ che è essenziale da ciò che è contingente, la realtà dall’apparenza Gruber: specifica di una concettualizzazione Guarino: insieme di assiomi che descrivono il vocabolario di un certo dominio. Perché?.
E N D
Ontologie giuridiche Guido Boella
Ontologie • Wolff: distinguono cio’ che è essenziale da ciò che è contingente, la realtà dall’apparenza • Gruber: specifica di una concettualizzazione • Guarino: insieme di assiomi che descrivono il vocabolario di un certo dominio
Perché? • E’ impossibile rappresentare il mondo nella sua ricchezza di dettagli. Devo restringere attenzione solo a certi concetti che danno un significato adeguato ai miei scopi. • Commitment ontologico: insieme di oggetti e relazioni
Tre livelli ontologici • Top: esplicitazione dei commitment ontologici • Domain: descrizione del significato dei termini. Scopi: riusabilità, lavoro cooperativo, knowledge based systems. • Core (intermedio): descrive le categorie di una certa disciplina e indicizza domain ontologies
Tiscornia e Turchi (IDG) • Sistema computazionale di supporto per il drafting di testi legislativi • Drafting: ricostruzione elementi strutturali del testo • No rappresentazione del contenuto: si perde isomorfismo fra testo e knowledge base • Conceptual retrival system, cioè con tecniche di AI per dare profondità
Provisions • Divisione in base alla forza illocutiva • norme sul testo (parti fisse, aspetti finanziari) • norme di collegamento con sistema legislativo • prescrizioni e sanzioni • norme costitutive che creano effetti legali (procedurali, classificatorie, istitutive, definizioni, attribuzioni di competenze)
Attributi • Generali: • link informativi • titolo • riferimenti • Specifici di provisions • definiendum, destinatario, ente istituito, norma a cui si riferisce ...
McCarty (1989): LLD • Language for legal discourse: non è un’ontologia.
Stamper (1991): NORMA • NORMA: logic of norms and affordances • Ogni conoscenza è legata ad un agente e la sua conoscenza è legata al suo comportamento. • Tre primitive: agenti, behavioral invariants (situazioni) e realisations: diverse combinazioni di una situazione e un agente: Ax@ A ha l’autorità di rendere vero x
A functional ontology of law(Valente, 1995) (ISI-Amsterdam) • La legge è un artifact, anche se non ha un design centralizzato ma emerge dalla società, e ha uno scopo: può essere descritto in basi agli obiettivi. • E’ un sistema (struttura finalizzata a goal), lo scopo è dirigere la società, i componenti sono le legal sources (conoscenza che è binding law) • Hart e Kelsen sono i riferimenti
Usare le funzioni per distinguere le categorie primitive • Normative knowledge: prescrizione comportamento e specifica di standard di comparazione. Espressione di ideale che può essere violato o osservato • Meta-legal knowledge: tiene assieme sistema di normative knowledge specifica per i singoli comportamenti. E risoluzione conflitti a livello normativo
World knowledge: esplicitazione dell’implicito nella legislazione per quel che riguarda la descrizione dei comportamenti. Relazione con common knowledge. • Responsibility knowledge: definisce la responsabilità al di là di causalità e senso comune • Reactive knowledge: sanzioni • Creative knowledge: creazione di entità
Van Kralingen 1995: A conceptual frame-based ontology • Primitive concettuali per modellare il dominio legale • Frame: situazione stereotipata • Norme, azioni e istituzioni (matrimoni,proprietà) e definizioni (disoccupato) legali: fatti istituzionali la cui interpretazione non dipende solo dalla realtà ma anche dalla applicazione di regole(MacCormick e Weinberger, 1986)
Norme composte da: • Un kernel (Von Wright, 1963) dato da soggetto (o addressee), una modalità deontica e da una descrizione di azione (act). • Modalità di riferimento ad una norma (identificatore, promulgazione e ambito)
Azioni • Agente, tipo azione, modalità di mezzi e maniere, circostanze, causa, scopo, intenzioni e stato finale(Rescher, 1967)
Concetti (definizioni legali) • Significato di un concetto tramite definizione • Hanno promulgazione, ambito, condizioni • Anche definizione senza condizioni necessarie e sufficienti: fattori con probabilità • Istanze di concetti
Visser e Bench-Capon (1999):comparazione di ontologie • Partizione dei domini • Viste diverse dei domini • Astrazione • Primarie (oggetti) e secondarie (proprietà) • Mapping (equivalenza semantica) • Restrizione