Processes as Causal Glue in a Framework for Ontology-Based Responsibility Attribution Rinke Hoekstra Joost Breuker

Overzicht Intro Raamwerk Functional Ontology of Law (Andre Valente, 1995) LRI-Core Ontology Causaliteits-herkenning: D IRECT Principes Voorbeeld Conclusies

Intro

Raamwerk

Functional Ontology of Law (Andre Valente, 1995)

LRI-Core Ontology

Causaliteits-herkenning: D IRECT

Principes

Voorbeeld

Conclusies

Intro Joost Breuker & Bob Brouwer Oefening in Computationele Rechtstheorie Welke informatie, en hoeveel, is nodig voor de toewijzing van verantwoordelijkheid Causale reconstructie is een noodzakelijke voorwaarde voor verantwoordelijkheids-toewijzing

Joost Breuker & Bob Brouwer

Oefening in Computationele Rechtstheorie

Welke informatie,

en hoeveel,

is nodig voor de toewijzing van verantwoordelijkheid

Causale reconstructie is een noodzakelijke voorwaarde voor verantwoordelijkheids-toewijzing

Functional Ontology of Law Case Epistemology

Functional Ontology of Law Inferentie-structuur voor juridisch redeneren Toegepast: Juridische kennissystemen (legal case assessment): ON-LINE `legal assessment shell’. Legal Information Retrieval/Legal Assessment CLIME: 15.000 regels voor scheepskeuring (Winkels et al, 2002) Representatie, Verificatie & Validatie van wetgeving E-POWER Representatie & inferentie over Normen (deontic operators): zie Valente et al, 99 Verantwoordelijkheid (Lehmann, 2001) Epistemology

Inferentie-structuur voor juridisch redeneren

Toegepast:

Juridische kennissystemen (legal case assessment):

ON-LINE `legal assessment shell’.

Legal Information Retrieval/Legal Assessment

CLIME: 15.000 regels voor scheepskeuring (Winkels et al, 2002)

Representatie, Verificatie & Validatie van wetgeving

E-POWER

Representatie & inferentie over

Normen (deontic operators): zie Valente et al, 99

Verantwoordelijkheid (Lehmann, 2001)

Epistemologie vs. Ontologie Epistemologie: hoe weten wij? Rechtvaardiging van kennis `correct’ redeneren Ontologie: studie van hetgeen bestaat Information Systems Ontology “ An ontology defines the terms used to describe and represent an area of knowledge ” ( Jeff Heflin) Een structuur van concept-definities, gebruikt voor het modelleren van een domein Kapstok

Epistemologie: hoe weten wij?

Rechtvaardiging van kennis

`correct’ redeneren

Ontologie: studie van hetgeen bestaat

Information Systems Ontology

“ An ontology defines the terms used to describe and represent an area of knowledge ” ( Jeff Heflin)

Een structuur van concept-definities, gebruikt voor het modelleren van een domein

Kapstok

LRI-Core Core Ontology Kern concepten: Norm, rol, document, … Hergebruik Unificerend Raamwerk Kennis-acquisitie Redeneren Description Logics (OWL)

Core Ontology

Kern concepten: Norm, rol, document, …

Hergebruik

Unificerend Raamwerk

Kennis-acquisitie

Redeneren

Description Logics (OWL)

Commonsense Houding SUO, natuurkundig DOLCE, taal LRI-Core, cognitieve wetenschappen/psychologie Evolutie/Ontwerp visie Perceptie van gedrag van anderen Teleologisch, doelgericht

Houding

SUO, natuurkundig

DOLCE, taal

LRI-Core, cognitieve wetenschappen/psychologie

Evolutie/Ontwerp visie

Perceptie van gedrag van anderen

Teleologisch, doelgericht

Belangrijkste Concepten Physical Concepts Mental Concepts Roles (Social, Legal Concepts) Abstract Concepts Occurrences Perdurant vs Endurant (DOLCE) http://www.leibnizcenter.org/wiki/

Physical Concepts

Mental Concepts

Roles (Social, Legal Concepts)

Abstract Concepts

Occurrences

Perdurant vs Endurant (DOLCE)

http://www.leibnizcenter.org/wiki/

LRI-Core

Voorbeeld-casus : The Air Rifle “ In breach of a statute forbidding the sale to an infant under the age of 16 of dangerous weapons, the defendant sold an air rifle and ammunition to a boy of 13. The boy's mother told the boy to return the weapon to the defendant and get a refund: on the defendant's refusal to take the rifle back, the boy's mother took it from the boy and hid it. Six months later the boy found it and allowed a playmate to use it, who shot and accidentally wounded the plaintiff, destroying the sight of one eye.” (Henningsen v. Markovitz, 1928)

“ In breach of a statute forbidding the sale to an infant under the age of 16 of dangerous weapons, the defendant sold an air rifle and ammunition to a boy of 13. The boy's mother told the boy to return the weapon to the defendant and get a refund: on the defendant's refusal to take the rifle back, the boy's mother took it from the boy and hid it. Six months later the boy found it and allowed a playmate to use it, who shot and accidentally wounded the plaintiff, destroying the sight of one eye.”

(Henningsen v. Markovitz, 1928)

Legal Case Description Situation Situation Ontology State Case Description

Processen als Causale Lijm Basis-hypothese: Twee gebeurtenissen zijn alleen dan causaal verbonden wanneer er een proces bestaat dat het gezamenlijk voorkomen verklaart. Classificeren van state-veranderingen (gebeurtenissen) in een casus-omschrijving als processen of acties.

Basis-hypothese: Twee gebeurtenissen zijn alleen dan causaal verbonden wanneer er een proces bestaat dat het gezamenlijk voorkomen verklaart.

Classificeren van state-veranderingen (gebeurtenissen) in een casus-omschrijving als processen of acties.

Processen als Causale Lijm Physical causation Agent causation Interpersonal causation Physical process Action Communication Ontologie-gebaseerd: processen zijn voorgedefiniëerd Herkennen van proces  bewijs voor het bestaan van een causale relatie.

Physical causation

Agent causation

Interpersonal causation

Physical process

Action

Communication

Ontologie-gebaseerd: processen zijn voorgedefiniëerd

Herkennen van proces  bewijs voor het bestaan van een causale relatie.

Occurrences & Processes State Instantie (occurrence) van een individu Situation Spatiële configuratie van meerdere states Event Instantie (occurrence) van een transitie tussen twee states Transition Verandering van de waarde van een eigenschap Process Functioneel coherente aggregatie van meerdere transities Causation De transitieve relatie tussen twee gebeurtenissen die door één of meer processen aan elkaar verbonden zijn.

State

Instantie (occurrence) van een individu

Situation

Spatiële configuratie van meerdere states

Event

Instantie (occurrence) van een transitie tussen twee states

Transition

Verandering van de waarde van een eigenschap

Process

Functioneel coherente aggregatie van meerdere transities

Causation

De transitieve relatie tussen twee gebeurtenissen die door één of meer processen aan elkaar verbonden zijn.

Recognizing Processes Event Situation Situation State 1 State 2 Case Description Ontology Process Object Object pre post mapping mapping Transition part

Actions & Intentionality performs Situation Situation Case Description Ontology Action Object Object pre post mapping mapping Transition part Agent Intention

Attributing Responsibility performs Situation Situation Case Description Ontology Action Object Object pre post mapping mapping Transition part Agent Intention F

Equilibria, Pogingen & Nalatigheid Equilibria: geen verandering, twee states? Poging: partiële acties Intentie/plan actie uit te voeren Partiële mapping op gebeurtenis-structuur van de bedoelde actie Nalatigheid (negative causation) Hypothetisch, counterfactual redeneren (normatief)

Equilibria: geen verandering, twee states?

Poging: partiële acties

Intentie/plan actie uit te voeren

Partiële mapping op gebeurtenis-structuur van de bedoelde actie

Nalatigheid (negative causation)

Hypothetisch, counterfactual redeneren (normatief)

DIRECT Discovery of REsponsibilty and CausaliTy Protégé-OWL 2.1 API (Java) http://protege.stanford.edu/plugins/owl DIG interface met de RACER Description Classifier http://www.racer-systems.com Evaluatie van validiteit door classificatie

Discovery of REsponsibilty and CausaliTy

Protégé-OWL 2.1 API (Java)

http://protege.stanford.edu/plugins/owl

DIG interface met de RACER Description Classifier

http://www.racer-systems.com

Evaluatie van validiteit door classificatie

Example Lazy generate-and-test strategie Geen situaties gespecificeerd  losse states Geen gebeurtenissen gespecificeerd Niet juridisch

Lazy generate-and-test strategie

Geen situaties gespecificeerd  losse states

Geen gebeurtenissen gespecificeerd

Niet juridisch

Example Process

Smurfification yellow2green large2small large2small green2blue green2blue

Smurfification Case Drie states van het zelfde object (individu)

Drie states van het zelfde object (individu)

Voorlopige Conclusie Herkennen van fysieke processen is haalbaar voor een klein aantal deelnemers Het beperken van mogelijkheden op het niveau van transities verkleint het aantal te testen processen drastisch. Verbeteringen: Groeperen van states in situaties Vooraf aangeven van bekende events Intelligente zoekstrategie Performance: native rule inferencing

Herkennen van fysieke processen is haalbaar voor een klein aantal deelnemers

Het beperken van mogelijkheden op het niveau van transities verkleint het aantal te testen processen drastisch.

Verbeteringen:

Groeperen van states in situaties

Vooraf aangeven van bekende events

Intelligente zoekstrategie

Performance: native rule inferencing

De (nabije) toekomst Problematiek rond Identiteit in OWL Niet-triviaal Toy-Domein Afval inzameling Complexere problemen Herkennen van Rollen, Acties LRI-Core verder uitbreiden en vervolmaken Juridische visie op de relatie tussen veroorzaking, verantwoordelijkheid en aansprakelijkheid (Lehmann, 2001)

Problematiek rond Identiteit in OWL

Niet-triviaal Toy-Domein

Afval inzameling

Complexere problemen

Herkennen van Rollen, Acties

LRI-Core verder uitbreiden en vervolmaken

Juridische visie op de relatie tussen veroorzaking, verantwoordelijkheid en aansprakelijkheid (Lehmann, 2001)

Klaar LRI-Core beschikbaar op: http://www.leibnizcenter.org/ontostore/lricore

LRI-Core beschikbaar op: http://www.leibnizcenter.org/ontostore/lricore