From the SelectedWorks of Yueh-Hsuan Weng

Winter February, 2019

Safety Intelligence and Legal Machine Language:
Do We Need the Three Laws of Robotics?
Yueh-Hsuan Weng, Tohoku University
Chien-Hsun Chen, National Nano Device Laboratories
Chuen-Tsai Sun, National Chiao Tung University

Available at: https://works.bepress.com/weng_yueh_hsuan/110/

Inhaltsverzeichnis
Foreword......................................................................................................................................................VVorwort....................................................................................................................................................... VII
Inhaltsübersicht ........................................................................................................................................ IX
Inhaltsverzeichnis .................................................................................................................................... XIKevin D. Ashley: Legal Informatics and the CISG ..........................................................................1
1. Introduction.............................................................................................................................1
2. Introducing the CISG to the AI and Law Community .............................................2
3. Professor Yoshino’s Work on the CISG.........................................................................5
3.1. Meta Legal Reasoning ...............................................................................................6
3.2 Temporal Legal Reasoning .....................................................................................73.3 How Complete a Formalization is Enough? .....................................................7
3.4 Case‐based Reasoning and Argument................................................................83.5 Educating Creative Legal Minds ...........................................................................94. Future Research on the CISG ......................................................................................... 10
4.1 Applying Legal Text Analytics to the CISG .................................................... 114.2 The Multi‐language CISG ...................................................................................... 14
5. Conclusions ........................................................................................................................... 15
6. References ............................................................................................................................. 16

Katie Atkinson / Trevor Bench‐Capon: The Roles of Dimensions and Values inLegal CBR .................................................................................................................................................... 19
1. Introduction.......................................................................................................................... 20
2. Formalising Factors and Dimensions ........................................................................ 21
3. Arguing with Dimensions ............................................................................................... 24
4. Use of 2‐Regular ADF ........................................................................................................ 25
5. Relation with Values ......................................................................................................... 27
6. Conclusion ............................................................................................................................. 32
7. Personal Reflections.......................................................................................................... 33
8. References ............................................................................................................................. 34

Rainhard Z. Bengez: Grenzen und Reichhaltigkeit .................................................................... 39
Prolog ................................................................................................................................................. 40
Einleitung ......................................................................................................................................... 41
Regeln, Systeme und wie sich Akteure mit ihnen auseinandersetzen ................... 44
Regeln sind wie Dielen – elastisch, dehnbar, drehbar, wechselbar ......................... 45
XI

Inhaltsverzeichnis

Regeln sind Versprechen aus der Vergangenheit und ihr erwarteter
Nutzen liegt in der Zukunft ...................................................................................................... 48
Zusammenfassung und Ausblick............................................................................................ 51

Vytautas Čyras, Friedrich Lachmayer: From Legal Symbolization via LegalFormalization towards Human Digitalities .................................................................................. 53
A. Textuality in Law................................................................................................................ 53
B. The Hierarchy of Valid Legal Sentences in Yoshino’s LogicalJurisprudence ...................................................................................................................... 55
I.
Legal Sentences ........................................................................................................ 57
II. Three Primitives: Legal Sentence, Validity and Inference Rule ........... 59
1. Connections of Legal Sentences.............................................................. 60
2. Legal Inference .............................................................................................. 62
3. Fundamental Legal Meta‐Rule Sentence (FLMRS) ......................... 63
4. Basic Legal Meta‐Rule Sentence (BLMRS) ......................................... 64
III. Comparison of Yoshino’s LJ with Kelsen’s PTL ........................................... 64
C. One‐Arch Bridge Seems Actually not Realistic ...................................................... 65
D. Multi‐Arch Bridge Implies Multiphase Transformation .................................... 68
E. Digital Humanities and Human Digitalities ............................................................ 72
F. Evolution ............................................................................................................................... 74

Gerhard Donhauser: Wie logisch ist das Recht? Versuch der Klärung
einiger Vorfragen .................................................................................................................................... 77
A. Einleitung .............................................................................................................................. 77
B. Recht und Rechtsquellen ................................................................................................ 78
C. Fragen der Logik ................................................................................................................ 84
D. Interpretation und Deutungshoheit........................................................................... 86
Hans‐Georg Fill: Metamodeling as a Foundation for Formalizing Law ............................ 97
A. Introduction ......................................................................................................................... 97
B. Foundations ......................................................................................................................... 99
I.
Conceptual Modeling ............................................................................................. 99
II. Metamodeling .........................................................................................................101
C. Examples in the Domain of Law ................................................................................102
D. Opportunities for Future Research ..........................................................................105
Felix Gantner: Abstrakter Begriffshintergrund von E‐Formularen .................................107
A. Rules Sentences, Fact Sentences und juristische Formulare .........................107
I.
Die Struktur rechtlicher Aussagen .................................................................107
II. Standardisierte Subsumtion .............................................................................109
XII

Inhaltsverzeichnis

B.
C.

Begriffsnetze und Ontologien..................................................................................... 110
I.
Ebenen des Begriffsnetzes ................................................................................ 110
II. Elemente des Begriffsnetzes ............................................................................ 112
Formulare als Benutzeroberfläche .......................................................................... 115

Karl Garnitschnig: Semantische Ebenen und didaktische Reduktion ............................ 119
I.
Arithmetisierung und Geometrisierung – ein fundamentaler
Unterschied ........................................................................................................................ 120
II. Quantität versus Qualität ............................................................................................. 122
III. Ebenen der Abstraktion................................................................................................ 123
1. Der Aufbau der Welt aus einfachsten Formen und Prinzipien.......... 124
2. Strukturen des Rechts ........................................................................................ 125
3. Intuition als Grundlage von Begründung ................................................... 127
IV. Semantische Ebenen ...................................................................................................... 128
1. Beschreibung der Deutungsebenen des Rechts....................................... 130
2. Der volitive und der kognitive Aspekt des Rechts .................................. 131
3. Der Stufenbau des Rechts ................................................................................. 132
V. Konsequenzen für eine Didaktik des Rechts ....................................................... 133
1. Eine noch nötige Schlussbemerkung............................................................ 135
VI. Literatur .............................................................................................................................. 135

Walter Hötzendorfer: Zur Formalisierung von Anonymität, Pseudonymität
und Personenbezug von Daten ....................................................................................................... 137
I.
Einleitung............................................................................................................................ 137
II. Grundlegende Konzepte ............................................................................................... 138
1. Identifizieren .......................................................................................................... 139
2. Anonymität.............................................................................................................. 139
III. Die Formalisierung von Anonymität ....................................................................... 142
1. k‐Anonymity ........................................................................................................... 143
2. ℓ‐Diversity ............................................................................................................... 144
3. t‐Closeness............................................................................................................... 145
4. Differential privacy .............................................................................................. 146
IV. Datenschutzrechtliche Einordnung ......................................................................... 146
V. Bedeutung für die Pseudonymisierung ................................................................. 147
VI. Schlussfolgerung für die Datenschutzpraxis ....................................................... 148
Wolfgang Kahlig, Eleonora Kahlig: Digitale Kombinatorik im Rechtsbereich ............ 149
A. Einleitung............................................................................................................................ 149
B. Allgemeines........................................................................................................................ 150

XIII

Inhaltsverzeichnis

I.
II.
C.

D.
E.

IST‐Situation............................................................................................................150
Annäherungsverfahren nach dem Prinzip dervollständigen Induktion .....................................................................................151
III. Legistik‐Instrumente ...........................................................................................151
Lösungsansätze ................................................................................................................ 152
I.
Grundforderung .....................................................................................................152
II. Organisationsmethoden .....................................................................................153
III. Entscheidungstabellen / Kombinatorik / Checklisten ..........................153
IV. Digitales C.O.N.T.E.N.T.‐Verfahren .................................................................159
Konklusionen .....................................................................................................................160
Literaturhinweise ............................................................................................................161

Friedrich Lachmayer, Vytautas Čyras: Formalising Legal Relations ...............................163
A. A Variety of Relations in Law ......................................................................................163
B. Definition of Relation in Mathematics.....................................................................166
C. Representing Situations Graphically .......................................................................168
D. Relations in Law and the Layers of Law .................................................................169
E. Tertium Comparationis in Law: Variations on Arthur Kaufmann’s
Theme ...................................................................................................................................172
F. Statements about Relations .........................................................................................177
G. The Theme of Relations in JURIX Proceedings ....................................................178
H. On Peter Chen’s Entity–Relationship Model.........................................................180
I.
Conclusions ........................................................................................................................180

Katharina Oberbichler: Strukturierung von Lebenssituationen
am Beispiel von help.gv.at .................................................................................................................183
1. HELP – das Bürgerserviceportal ...............................................................................183
2. Geschichte ...........................................................................................................................184
2.1 1997 bis 2017: Die Akteure hinter HELP.gv ..............................................184
2.2 www.help.gv.at Relaunch 2017.......................................................................188
3. HELP als Informations‐ und Serviceportal............................................................191
4. HELP und die EU ..............................................................................................................192
Abkürzungsverzeichnis ...........................................................................................................192
Literaturverzeichnis ..................................................................................................................193
Abbildungsverzeichnis .............................................................................................................193

Konstantinos Papageorgiou: The Vicissitudes of Equality: From Political
Rhetoric to Political Philosophy ......................................................................................................195
1. Proto‐equality as a faculty of reason .......................................................................195
2. Equality: from reason to politics ...............................................................................200
XIVInhaltsverzeichnis

3. The birth of equality from the spirit of the Enlightenment ........................... 206
4. The irregularities of equality and the Rousseau myth .................................... 210
5. Invisible inequality ......................................................................................................... 216
Literaturverzeichnis ................................................................................................................. 220

Stanley L. Paulson: On the Problem of Defective Legal Norms.......................................... 223
I.
Introduction....................................................................................................................... 223
II. An Example of an Unconstitutional Legal Norm ................................................ 226
III. The Conceptual Problem .............................................................................................. 228
IV. Presumptive Legal Validity ......................................................................................... 229
V. The «Content» of the Applicable Higher‐Level Norms .................................... 230
VI. The Strength of the Presumption of Validity ....................................................... 231
VII. Legal Ideals Supplement Presumptive Legal Validity ...................................... 232
VIII. Defective Legal Norms .................................................................................................. 233
Marijan Pavčnik: Begründung der gerichtlichen Entscheidungen .................................. 237

Friedrich Peschke: Introduction on model driven systems engineering ...................... 247
Introduction ................................................................................................................................. 247
Model‐Driven Systems Engineering ................................................................................... 248
Model‐driven Engineering (MDE) for Software development ................................ 250
A. Principles of Model‐Driven Software Engineering (MDSE) ................ 251
B. MDSE Methodology.............................................................................................. 253
1. Modeling Paradigma ................................................................................. 254
2. Modeling Language ................................................................................... 254
3. Meta modeling ............................................................................................. 255
4. Model Transformation ............................................................................. 256
Working With Models .............................................................................................................. 256
A. Model Interchange ............................................................................................... 257
B. Model Versioning .................................................................................................. 257
C. Model Quality ......................................................................................................... 257
Summary........................................................................................................................................ 258
Literature ...................................................................................................................................... 258

Francesco Romeo: Vorstellungen, Anschauungen und Rechtsentscheidung: ein
Denkpfad von Frege nach Yoshino ................................................................................................ 259
A. Kurze Bemerkungen zu den Untersuchungen Freges über die Bedeutung
im Hinblick auf die Sprachanalyse.............................................................................. 259
B. Russell, Carnap und der Verlust der Vorstellungen.......................................... 265
XV

Inhaltsverzeichnis

C.

D.
E.

Der vergessene Teil der Bedeutung im Recht; Unangemessenheit einer
Definition des Rechts ohne Berücksichtigung der subjektiven Anteile........268
Recht, Kognition und Normativität ..........................................................................276«Sinn», «Bedeutung» und «Information» im Recht ...........................................282

Tetsu Sakurai: The Rousseauan Agreement as a Requirement for Democracy ..........287
A. Introduction .......................................................................................................................287
B. Boundary Setting for Lockean Consent Theory ..................................................291
C. Inclusion and Exclusion ................................................................................................293
D. Cultural or Political Requirements for Legitimate Democracy ....................297
E. Unanimous Agreement as a Political Requirement for Democracy............298
F. Conclusion...........................................................................................................................301
References .....................................................................................................................................303
Caroline Walser Kessel: Visuelle Entwicklungen im Recht .................................................307
A. Einleitung ............................................................................................................................307
B. Die Entwicklung der Rechtsvisualisierung ...........................................................308
C. Darstellung besonderer Themenbereiche der Rechtsvisualisierung ........309
I.
Formale Elemente in der Rechtsvisualisierung........................................309
II. Konkrete Rechtsvisualisierung durch Kinder ...........................................312
III. Lehrcomics im juristischen Studium ............................................................314
IV. Illustrierte rechtliche Ratgeberliteratur......................................................316
V. Anwendung der Rechtsvisualisierung durch Gerichte ..........................321
VI. Entwicklungen im Vertragsrecht....................................................................322
VII. Visuelle Darstellung rechtlicher Phänomene im Bereich
Kartogafie und Statistik ......................................................................................323
D. Schlussfolgerungen und Ausblick .............................................................................326

Yueh‐Hsuan Weng, Chien‐Hsun Chen, Chuen‐Tsai Sun: Safety Intelligence andLegal Machine Language: Do We Need the Three Laws of Robotics? .............................329
1. Introduction .......................................................................................................................330
2. Service Robots ...................................................................................................................330
3. Robot Safety .......................................................................................................................331
3.1 Robot Sociability Problems ...............................................................................331
3.2 NGR Safety Overview ...........................................................................................332
3.3 Human Based Intelligence and Open‐texture Risk .................................334
4. Safety Intelligence ...........................................................................................................337
4.1 Safety Intelligence (SI) and Asimov’s Three Laws. .................................337
4.2 Three Problems Tied to Asimov’s Laws ......................................................339
XVI

Inhaltsverzeichnis

5.
6.
7.
8.
9.

4.2.1. Legalities: Safety Intelligence ............................................................ 339
4.2.2 Decision‐making: Do NGRs need doctrinal reasoning?........... 340
4.2.3 Abstract thinking and the meaning of «safety» .......................... 341
4.3 Three Criteria and Two Critical Issues for SI ............................................ 343
Future Considerations................................................................................................... 344
5.1 «Learning» Ethics ................................................................................................. 346
5.2 Third Existence ...................................................................................................... 347
Legal Machine Language .............................................................................................. 348
6.1 Reflex Control......................................................................................................... 350
Conclusion .......................................................................................................................... 352
Acknowledgements ........................................................................................................ 352
References .......................................................................................................................... 352

Keiichi Yamanaka: Betrachtungen zu den Straftheorien in Japan der Neuzeit .......... 359
I.
Problemstellung............................................................................................................... 360
II. Die Rezeption europäischer Straftheorien in Japan ......................................... 361
1. Die geschichtliche Bedeutung der Meiji‐Restauration.......................... 361
2. Die StGB‐Reformen zur Restauration zu Beginn der Meiji‐Ära ........ 361
3. Das alte StGB ........................................................................................................... 362
4. Kritik am alten StGB und Reformbedarf ..................................................... 363
5. Straftheorien in der frühen Entwicklungsphase derStrafrechtswissenschaft ..................................................................................... 363a) Schüler Boissonades .................................................................................. 363b) Die am Strafzweck der Abschreckung orientierte
moderne Schule .......................................................................................... 364c) Die Straftheorien der modernen Schule ........................................... 365d) Die klassische Schule ................................................................................ 366
6. Straftheorie beim Schulenstreit bis zu dem Zweiten Weltkrieg ....... 367
III. Praktizierte Straftheorien im neueren Japan ...................................................... 368
1. Gedanken der absoluten Vergeltung ............................................................ 368
2. Ausnutzung der Arbeitskraft von Strafgefangenen(Die Kettenhügel von Hokkaido).................................................................... 369
3. Strafzweck als Mittel zur diplomatischen Konfliktlösung ................... 370a) Der Jagdzwischenfall des Prinzen Heinrich inSuita/Osaka 1880 ...................................................................................... 370b) Sog. Otsu‐Affäre (Das Attentat auf den russischenKronprinzen) ............................................................................................... 371
i) Darstellung des Falles und seines Hintergrunds ................. 371
XVII

Inhaltsverzeichnisii) Unabhängigkeit der Justiz ..............................................................372
Resozialisierungsgedanken in Japan.............................................................373a) Verbannung auf die Inseln als Strafe und Zwangsarbeit
auf Inseln ........................................................................................................373b) Aufbau des Arbeitshauses in der Edo‐Zeit .......................................374c) Die weitere Entwicklung des Resozialisierungsgedankens......375
Fortgeltendes «Vergeltungsdenken» im heutigen Japan ................................375
1. Resozialisierung nur auf der Basis der Vergeltung.................................375a) Disziplinierte Lebensführung im Strafvollzug ...............................376b) Resozialisierung im 21. Jahrhundert ..................................................376
2. Todesstrafe als Vergeltung................................................................................377
3. Geringere bekanntgewordene Kriminalität in Japan .............................378
4. Einstellung zur Todesstrafe in der Gesellschaft .......................................380
5. Vergeltungsgedanken in der gegenwärtigen japanischenGesellschaft ..............................................................................................................380
6. Intoleranz gegen heterogene Mitglieder in der Gesellschaft ..............381
Fazit .......................................................................................................................................382
4.

IV.

V.

XVIII