processes as causal glue in a framework for ontology based responsibility attribution

Processes as Causal Glue in a Framework for Ontology-Based Responsibility

Attribution

Rinke HoekstraJoost Breuker

22-6-2005 UvA, Rinke Hoekstra2

Overzicht

Intro Raamwerk

Functional Ontology of Law (Andre Valente, 1995)

LRI-Core Ontology Causaliteits-herkenning: DIRECT

Principes Voorbeeld

Conclusies

22-6-2005 UvA, Rinke Hoekstra3

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

22-6-2005 UvA, Rinke Hoekstra4

Functional Ontology of LawEpistemolo

gy

Case

22-6-2005 UvA, Rinke Hoekstra5

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)

Epistemolo

gy

22-6-2005 UvA, Rinke Hoekstra6

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

22-6-2005 UvA, Rinke Hoekstra7

LRI-Core

Core Ontology Kern concepten: Norm, rol, document, … Hergebruik

Unificerend Raamwerk Kennis-acquisitie

Redeneren

Description Logics (OWL)

22-6-2005 UvA, Rinke Hoekstra8

Commonsense

Houding SUO, natuurkundig DOLCE, taal LRI-Core, cognitieve

wetenschappen/psychologie

Evolutie/Ontwerp visie Perceptie van gedrag van anderen Teleologisch, doelgericht

22-6-2005 UvA, Rinke Hoekstra9

Belangrijkste Concepten

Physical Concepts Mental Concepts Roles (Social, Legal Concepts) Abstract Concepts

Occurrences Perdurant vs Endurant (DOLCE)

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

22-6-2005 UvA, Rinke Hoekstra10

LRI-Core

22-6-2005 UvA, Rinke Hoekstra11

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)

22-6-2005 UvA, Rinke Hoekstra12

Legal Case Description

Situation

Situation

Ontology

State

Case Description

22-6-2005 UvA, Rinke Hoekstra13

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.

22-6-2005 UvA, Rinke Hoekstra14

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.

22-6-2005 UvA, Rinke Hoekstra15

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.

22-6-2005 UvA, Rinke Hoekstra16

Recognizing Processes

Event

Situation

Situation

State 1

State 2

Case Description Ontology

Process

Object

Object

pre

post

mapping

mapping Transition

part

22-6-2005 UvA, Rinke Hoekstra17

Actions & Intentionality

performs

Situation

Situation

Case Description Ontology

Action

Object

Object

pre

post

mapping

mapping Transition

part

Agent

Intention

22-6-2005 UvA, Rinke Hoekstra18

Attributing Responsibility

performs

Situation

Situation

Case Description Ontology

Action

Object

Object

pre

post

mapping

mapping Transition

part

Agent

Intention

F

22-6-2005 UvA, Rinke Hoekstra19

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)

22-6-2005 UvA, Rinke Hoekstra20

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

22-6-2005 UvA, Rinke Hoekstra21

Example

Lazy generate-and-test strategie Geen situaties gespecificeerd losse

states Geen gebeurtenissen gespecificeerd

Niet juridisch

22-6-2005 UvA, Rinke Hoekstra22

Example Process

22-6-2005 UvA, Rinke Hoekstra23

Smurfification

yellow2green

large2small

large2smallgreen2blue

green2blue

22-6-2005 UvA, Rinke Hoekstra24

Smurfification Case

Drie states van het zelfde object (individu)

22-6-2005 UvA, Rinke Hoekstra25

22-6-2005 UvA, Rinke Hoekstra26

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

22-6-2005 UvA, Rinke Hoekstra27

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)

22-6-2005 UvA, Rinke Hoekstra28

Klaar

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