towards multidimensional rule visualizations. conference rules 2013 presentation

23
Vytautas ČYRAS Vilnius University Faculty of Mathematics and Informatics Vilnius, Lithuania [email protected] Friedrich LACHMAYER Vienna and Innsbruck (University of Innsbruck, Faculty of Law) Innsbruck, Austria) [email protected] Towards Multidimensional Rule Visualizations RULES 2013, 27-29 September 2013, Krakow

Upload: vytautas-cyras

Post on 13-Jul-2015

30 views

Category:

Education


0 download

TRANSCRIPT

Page 1: Towards Multidimensional Rule Visualizations. Conference RULES 2013 presentation

Vytautas ČYRAS Vilnius University

Faculty of Mathematics and Informatics

Vilnius, Lithuania

[email protected]

Friedrich LACHMAYER Vienna and Innsbruck

(University of Innsbruck, Faculty of Law)

Innsbruck, Austria)

[email protected]

Towards Multidimensional

Rule Visualizations

RULES 2013, 27-29 September 2013, Krakow

Page 2: Towards Multidimensional Rule Visualizations. Conference RULES 2013 presentation

1.

Introduction

2

Page 3: Towards Multidimensional Rule Visualizations. Conference RULES 2013 presentation

“Clare et distincte”

• Visualization refers to clear knowledge

3

Page 4: Towards Multidimensional Rule Visualizations. Conference RULES 2013 presentation

On visualizations in law

• Röhl & Ulbrich (2007) Law vividly: visualization in legal education [in German: Recht anschaulich: Visualisierung in der Juristenausbildung]. Köln: Halem – Picture-shy of jurisprudence [Bilderscheu der

Jurisprudenz]

– Law is text [Recht ist text]

• Colette Brunschwig (2013) Law is not or must not be just verbal and visual in the 21st century: Toward multisensory law. http://www.rwi.uzh.ch/oe/zrf/abtrv/brunschwig/publications/CRBrunschwigLawisNotorMustNotBeJustVerbalandVisualinthe21stCenturycolor.pdf

4

Page 5: Towards Multidimensional Rule Visualizations. Conference RULES 2013 presentation

Legal machine

5

Condition

• human being

• machine

Actor

Legal

actor

Action Effect

Legal

action

Legal

effect

Legal

condition

• Raw fact

• Institutional fact

Page 6: Towards Multidimensional Rule Visualizations. Conference RULES 2013 presentation

Building a bridge in legal informatics

6

Bridge

Legal

text Program

Compliance

Law enforcement,

implementation

Page 7: Towards Multidimensional Rule Visualizations. Conference RULES 2013 presentation

Multiphase Transformation

approach

7

Legal

text

Page 8: Towards Multidimensional Rule Visualizations. Conference RULES 2013 presentation

2.

Types of

multidimensionality

8

Page 9: Towards Multidimensional Rule Visualizations. Conference RULES 2013 presentation

Different functions of

visualizations/representations Different strengths and weaknesses

– Details vs. holistic picture

• Text – As a form of visualization

– Communication of large quantities of data

• Picture – Summary of a holistic nature

• Symbols – E.g. traffic signs

• Legal logic – Deontic logic

9

See Wahlgren, Visualization of the Law. In IRIS 2008

Page 10: Towards Multidimensional Rule Visualizations. Conference RULES 2013 presentation

1D

• if state_of_affairs then legal_consequences

A → B

Norm(A/B)

• Ilmar Tammelo (1978)

• Prolog-like notations

– Hajime Yoshino’s Logical Jurisprudence

10

Page 11: Towards Multidimensional Rule Visualizations. Conference RULES 2013 presentation

2D and 2 ½ D

• Pictorial representations – Allegories, e.g. Leviathan by Thomas Hobbes

• Info-graphics

• Argumentation graphs

• Storytelling

• Legal workflows

– Wolfgang Kahlig

• 1D to 2D

11

Page 12: Towards Multidimensional Rule Visualizations. Conference RULES 2013 presentation

3D and films

• 3D: a statue

• Films

– Menzi-Muck-timber case – the Film!

www.youtube.com/watch?v=KI7zeuayum4

– www.telejura.de

12

Page 13: Towards Multidimensional Rule Visualizations. Conference RULES 2013 presentation

Visualization criteria

• Citation – Titles of laws, article no.

• Colours

• Dimensions – Wire-cube

• Domains

• Elements with text – Abbreviations may be difficult

• Focus – Bold face, dark background

• Mindmapping – Creative,

• E.g. design of ontologies

• Mixed types – Good for education

– Difficult for uniform semantics

• Quantity of elements – Too many, sub-elements, layers

• Relationships – Different connectors and arrows

• Tables – Not always creative

• Traditional formal diagrams – Argument diagrams

• Vertical and horizontal axes – Top-down: hierarchy, time

– Left-right: time, etc.

13

Page 14: Towards Multidimensional Rule Visualizations. Conference RULES 2013 presentation

3.

Visualizations

in JURIX 2012

proceedings

14

Page 15: Towards Multidimensional Rule Visualizations. Conference RULES 2013 presentation

“Refined coherence as constraint satisfaction

framework for representing judicial reasoning”

(Araszkiewicz & Šavelka)

15 Figure 1. Constraint network for conversion claim in Popov v. Hayashi case (p. 8)

Page 16: Towards Multidimensional Rule Visualizations. Conference RULES 2013 presentation

“Computational data protection law”

(Buchanan et al.)

16 Figure 1. Overview of the architecture (p. 36)

Page 17: Towards Multidimensional Rule Visualizations. Conference RULES 2013 presentation

“The e-Codex project” (Francesconi)

17

Figure 1. (a) High level architecture (b) Message routing (p. 43)

Page 18: Towards Multidimensional Rule Visualizations. Conference RULES 2013 presentation

Francesconi (2)

18 Figure 2. Relations between Domain and Document Model (p. 47)

Page 19: Towards Multidimensional Rule Visualizations. Conference RULES 2013 presentation

“Argument analysis system with

factor annotation” (Kubosawa et al.)

19

Figure 4. Graphical model representation of semi supervised LDA

(linear discriminant analysis) (p. 66)

Page 20: Towards Multidimensional Rule Visualizations. Conference RULES 2013 presentation

“An argumentation model of

evidential reasoning” (Liang & Wei)

20

Figure 1. Inference graph and argument graph (p. 74)

Page 21: Towards Multidimensional Rule Visualizations. Conference RULES 2013 presentation

“Formalising a legal opinion on a legislative

proposal in the ASPIC+ framework” (Prakken)

21 Figure 1. The reconstruction (p. 127)

Page 22: Towards Multidimensional Rule Visualizations. Conference RULES 2013 presentation

Conclusions

• Projects, which are presented at JURIX,

are avant-garde

• Making visualization as avant-garde is a

tough task

– Knowledge of different domains

• law

• informatics

• media

• semiotics

22