Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.
Processes as Causal Glue in a Framework for Ontology-Based Responsibility Attribution Rinke Hoekstra Joost Breuker
Overzicht <ul><li>Intro </li></ul><ul><li>Raamwerk </li></ul><ul><ul><li>Functional Ontology of Law  (Andre Valente, 1995)...
Intro <ul><li>Joost Breuker & Bob Brouwer </li></ul><ul><li>Oefening in Computationele Rechtstheorie </li></ul><ul><ul><li...
Functional Ontology of Law Case Epistemology
Functional Ontology of Law <ul><li>Inferentie-structuur voor juridisch redeneren </li></ul><ul><li>Toegepast: </li></ul><u...
Epistemologie vs. Ontologie <ul><li>Epistemologie: hoe weten wij? </li></ul><ul><ul><li>Rechtvaardiging van kennis </li></...
LRI-Core <ul><li>Core Ontology </li></ul><ul><ul><li>Kern concepten:  Norm, rol, document, … </li></ul></ul><ul><ul><li>He...
Commonsense <ul><li>Houding </li></ul><ul><ul><li>SUO, natuurkundig </li></ul></ul><ul><ul><li>DOLCE, taal </li></ul></ul>...
Belangrijkste Concepten <ul><li>Physical Concepts </li></ul><ul><li>Mental Concepts </li></ul><ul><li>Roles (Social, Legal...
LRI-Core
Voorbeeld-casus : The Air Rifle <ul><li>“ In breach of a statute forbidding the sale to an infant under the age of 16 of d...
Legal Case Description Situation Situation Ontology State Case Description
Processen als Causale Lijm <ul><li>Basis-hypothese: Twee gebeurtenissen zijn alleen dan causaal verbonden wanneer er een  ...
Processen als Causale Lijm <ul><li>Physical causation </li></ul><ul><li>Agent causation </li></ul><ul><li>Interpersonal ca...
Occurrences & Processes <ul><li>State </li></ul><ul><ul><li>Instantie (occurrence) van een individu  </li></ul></ul><ul><l...
Recognizing Processes Event Situation Situation State 1 State 2 Case Description Ontology Process Object Object pre post m...
Actions & Intentionality performs Situation Situation Case Description Ontology Action Object Object pre post mapping mapp...
Attributing Responsibility performs Situation Situation Case Description Ontology Action Object Object pre post mapping ma...
Equilibria, Pogingen & Nalatigheid <ul><li>Equilibria: geen  verandering,  twee states? </li></ul><ul><li>Poging: partiële...
DIRECT <ul><li>Discovery of REsponsibilty and CausaliTy </li></ul><ul><li>Protégé-OWL 2.1 API (Java) </li></ul><ul><ul><li...
Example <ul><li>Lazy generate-and-test strategie </li></ul><ul><li>Geen situaties gespecificeerd    losse states </li></u...
Example Process
Smurfification yellow2green large2small large2small green2blue green2blue
Smurfification Case <ul><li>Drie states van het zelfde object (individu) </li></ul>
 
Voorlopige Conclusie <ul><li>Herkennen van fysieke processen is haalbaar voor een klein aantal deelnemers </li></ul><ul><l...
De (nabije) toekomst <ul><li>Problematiek rond Identiteit in OWL </li></ul><ul><li>Niet-triviaal Toy-Domein </li></ul><ul>...
Klaar <ul><li>LRI-Core beschikbaar op:  http://www.leibnizcenter.org/ontostore/lricore </li></ul>
Upcoming SlideShare
Loading in …5
×

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

420 views

Published on

Direct Jurix Leiden 20050622

Published in: Technology, Travel, Business
  • Be the first to comment

  • Be the first to like this

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

  1. 1. Processes as Causal Glue in a Framework for Ontology-Based Responsibility Attribution Rinke Hoekstra Joost Breuker
  2. 2. Overzicht <ul><li>Intro </li></ul><ul><li>Raamwerk </li></ul><ul><ul><li>Functional Ontology of Law (Andre Valente, 1995) </li></ul></ul><ul><ul><li>LRI-Core Ontology </li></ul></ul><ul><li>Causaliteits-herkenning: D IRECT </li></ul><ul><ul><li>Principes </li></ul></ul><ul><ul><li>Voorbeeld </li></ul></ul><ul><li>Conclusies </li></ul>
  3. 3. Intro <ul><li>Joost Breuker & Bob Brouwer </li></ul><ul><li>Oefening in Computationele Rechtstheorie </li></ul><ul><ul><li>Welke informatie, </li></ul></ul><ul><ul><li>en hoeveel, </li></ul></ul><ul><ul><li>is nodig voor de toewijzing van verantwoordelijkheid </li></ul></ul><ul><li>Causale reconstructie is een noodzakelijke voorwaarde voor verantwoordelijkheids-toewijzing </li></ul>
  4. 4. Functional Ontology of Law Case Epistemology
  5. 5. Functional Ontology of Law <ul><li>Inferentie-structuur voor juridisch redeneren </li></ul><ul><li>Toegepast: </li></ul><ul><ul><li>Juridische kennissystemen (legal case assessment): </li></ul></ul><ul><ul><ul><li>ON-LINE `legal assessment shell’. </li></ul></ul></ul><ul><ul><li>Legal Information Retrieval/Legal Assessment </li></ul></ul><ul><ul><ul><li>CLIME: 15.000 regels voor scheepskeuring (Winkels et al, 2002) </li></ul></ul></ul><ul><ul><li>Representatie, Verificatie & Validatie van wetgeving </li></ul></ul><ul><ul><ul><li>E-POWER </li></ul></ul></ul><ul><ul><li>Representatie & inferentie over </li></ul></ul><ul><ul><ul><li>Normen (deontic operators): zie Valente et al, 99 </li></ul></ul></ul><ul><ul><ul><li>Verantwoordelijkheid (Lehmann, 2001) </li></ul></ul></ul>Epistemology
  6. 6. Epistemologie vs. Ontologie <ul><li>Epistemologie: hoe weten wij? </li></ul><ul><ul><li>Rechtvaardiging van kennis </li></ul></ul><ul><ul><li>`correct’ redeneren </li></ul></ul><ul><li>Ontologie: studie van hetgeen bestaat </li></ul><ul><li>Information Systems Ontology </li></ul><ul><ul><li>“ An ontology defines the terms used to describe and represent an area of knowledge ” ( Jeff Heflin) </li></ul></ul><ul><ul><li>Een structuur van concept-definities, gebruikt voor het modelleren van een domein </li></ul></ul><ul><ul><ul><li>Kapstok </li></ul></ul></ul>
  7. 7. LRI-Core <ul><li>Core Ontology </li></ul><ul><ul><li>Kern concepten: Norm, rol, document, … </li></ul></ul><ul><ul><li>Hergebruik </li></ul></ul><ul><ul><ul><li>Unificerend Raamwerk </li></ul></ul></ul><ul><ul><ul><li>Kennis-acquisitie </li></ul></ul></ul><ul><ul><li>Redeneren </li></ul></ul><ul><li>Description Logics (OWL) </li></ul>
  8. 8. Commonsense <ul><li>Houding </li></ul><ul><ul><li>SUO, natuurkundig </li></ul></ul><ul><ul><li>DOLCE, taal </li></ul></ul><ul><ul><li>LRI-Core, cognitieve wetenschappen/psychologie </li></ul></ul><ul><li>Evolutie/Ontwerp visie </li></ul><ul><ul><li>Perceptie van gedrag van anderen </li></ul></ul><ul><ul><li>Teleologisch, doelgericht </li></ul></ul>
  9. 9. Belangrijkste Concepten <ul><li>Physical Concepts </li></ul><ul><li>Mental Concepts </li></ul><ul><li>Roles (Social, Legal Concepts) </li></ul><ul><li>Abstract Concepts </li></ul><ul><li>Occurrences </li></ul><ul><ul><li>Perdurant vs Endurant (DOLCE) </li></ul></ul><ul><li>http://www.leibnizcenter.org/wiki/ </li></ul>
  10. 10. LRI-Core
  11. 11. Voorbeeld-casus : The Air Rifle <ul><li>“ 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.” </li></ul><ul><li>(Henningsen v. Markovitz, 1928) </li></ul>
  12. 12. Legal Case Description Situation Situation Ontology State Case Description
  13. 13. Processen als Causale Lijm <ul><li>Basis-hypothese: Twee gebeurtenissen zijn alleen dan causaal verbonden wanneer er een proces bestaat dat het gezamenlijk voorkomen verklaart. </li></ul><ul><li>Classificeren van state-veranderingen (gebeurtenissen) in een casus-omschrijving als processen of acties. </li></ul>
  14. 14. Processen als Causale Lijm <ul><li>Physical causation </li></ul><ul><li>Agent causation </li></ul><ul><li>Interpersonal causation </li></ul><ul><li>Physical process </li></ul><ul><li>Action </li></ul><ul><li>Communication </li></ul><ul><li>Ontologie-gebaseerd: processen zijn voorgedefiniëerd </li></ul><ul><li>Herkennen van proces  bewijs voor het bestaan van een causale relatie. </li></ul>
  15. 15. Occurrences & Processes <ul><li>State </li></ul><ul><ul><li>Instantie (occurrence) van een individu </li></ul></ul><ul><li>Situation </li></ul><ul><ul><li>Spatiële configuratie van meerdere states </li></ul></ul><ul><li>Event </li></ul><ul><ul><li>Instantie (occurrence) van een transitie tussen twee states </li></ul></ul><ul><li>Transition </li></ul><ul><ul><li>Verandering van de waarde van een eigenschap </li></ul></ul><ul><li>Process </li></ul><ul><ul><li>Functioneel coherente aggregatie van meerdere transities </li></ul></ul><ul><li>Causation </li></ul><ul><ul><li>De transitieve relatie tussen twee gebeurtenissen die door één of meer processen aan elkaar verbonden zijn. </li></ul></ul>
  16. 16. Recognizing Processes Event Situation Situation State 1 State 2 Case Description Ontology Process Object Object pre post mapping mapping Transition part
  17. 17. Actions & Intentionality performs Situation Situation Case Description Ontology Action Object Object pre post mapping mapping Transition part Agent Intention
  18. 18. Attributing Responsibility performs Situation Situation Case Description Ontology Action Object Object pre post mapping mapping Transition part Agent Intention F
  19. 19. Equilibria, Pogingen & Nalatigheid <ul><li>Equilibria: geen verandering, twee states? </li></ul><ul><li>Poging: partiële acties </li></ul><ul><ul><li>Intentie/plan actie uit te voeren </li></ul></ul><ul><ul><li>Partiële mapping op gebeurtenis-structuur van de bedoelde actie </li></ul></ul><ul><li>Nalatigheid (negative causation) </li></ul><ul><ul><li>Hypothetisch, counterfactual redeneren (normatief) </li></ul></ul>
  20. 20. DIRECT <ul><li>Discovery of REsponsibilty and CausaliTy </li></ul><ul><li>Protégé-OWL 2.1 API (Java) </li></ul><ul><ul><li>http://protege.stanford.edu/plugins/owl </li></ul></ul><ul><li>DIG interface met de RACER Description Classifier </li></ul><ul><ul><li>http://www.racer-systems.com </li></ul></ul><ul><li>Evaluatie van validiteit door classificatie </li></ul>
  21. 21. Example <ul><li>Lazy generate-and-test strategie </li></ul><ul><li>Geen situaties gespecificeerd  losse states </li></ul><ul><li>Geen gebeurtenissen gespecificeerd </li></ul><ul><li>Niet juridisch </li></ul>
  22. 22. Example Process
  23. 23. Smurfification yellow2green large2small large2small green2blue green2blue
  24. 24. Smurfification Case <ul><li>Drie states van het zelfde object (individu) </li></ul>
  25. 26. Voorlopige Conclusie <ul><li>Herkennen van fysieke processen is haalbaar voor een klein aantal deelnemers </li></ul><ul><li>Het beperken van mogelijkheden op het niveau van transities verkleint het aantal te testen processen drastisch. </li></ul><ul><li>Verbeteringen: </li></ul><ul><ul><li>Groeperen van states in situaties </li></ul></ul><ul><ul><li>Vooraf aangeven van bekende events </li></ul></ul><ul><ul><li>Intelligente zoekstrategie </li></ul></ul><ul><ul><li>Performance: native rule inferencing </li></ul></ul>
  26. 27. De (nabije) toekomst <ul><li>Problematiek rond Identiteit in OWL </li></ul><ul><li>Niet-triviaal Toy-Domein </li></ul><ul><ul><li>Afval inzameling </li></ul></ul><ul><li>Complexere problemen </li></ul><ul><ul><li>Herkennen van Rollen, Acties </li></ul></ul><ul><li>LRI-Core verder uitbreiden en vervolmaken </li></ul><ul><li>Juridische visie op de relatie tussen veroorzaking, verantwoordelijkheid en aansprakelijkheid (Lehmann, 2001) </li></ul>
  27. 28. Klaar <ul><li>LRI-Core beschikbaar op: http://www.leibnizcenter.org/ontostore/lricore </li></ul>

×