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

http://www.lri.jur.uva.nl/new/index.html

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



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



Functional Ontology of LawEpistemolo

gy

Case



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



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



LRI-Core

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



Belangrijkste Concepten

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)



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.



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.



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.



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


Action

Object

Object

pre

post

mapping

mapping Transition

part

Agent

Intention



Attributing Responsibility

performs

Situation

Situation


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)



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



Example

Lazy generate-and-test strategie Geen situaties gespecificeerd losse

states Geen gebeurtenissen gespecificeerd

Niet juridisch



Example Process



Smurfification

yellow2green

large2small

large2smallgreen2blue

green2blue



Smurfification Case

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



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)



Klaar

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

http://www.leibnizcenter.org/ontostore/lricore


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

Technology