Vytautas ČYRAS Vilniaus universitetas

Matematikos ir informatikos fakultetas Programų sistemų katedra Vytautas.Cyras@mif.vu.lt

http://www.mif.vu.lt/~cyras/

Apie vizualizavimą teisėje

IVR Lietuvos sekcijos seminaras, 2013 spalio 24

Friedrich LACHMAYER Viena, Austrija

www.legalvisualization.com

1.

Įvadas

2

Vizualizavimo rūšys • Vizualizavimas – prasmės suvokimas akimis

– Information visualization: įvairiose srityse

– Knowledge visualization: kompiuterijoje

– Data visualization: matematikoje (data mining)

– Geographic visualization: kartografijoje

3

Lot. clare et distincte

(R.Descartes) –

aiškiai ir ryškiai,

klar und deutlich

Apie vizualizavimą teisėje

• „Teisė yra tekstas“ [vok. Recht ist text]

• Paveikslų vengimas jurisprudencijoje [Bilderscheu der Jurisprudenz]

žr. Röhl & Ulbrich (2007) Recht anschaulich: Visualisierung in der Juristenausbildung

• 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

Tiltas tarp teisės ir informatikos

• Vok. Rechtsinformatik

– angl. legal informatics, teisės informatika

5

„Tiltas“

Teisės

tekstas Programa

Suderinamumas

(compliance)

Teisės įgivendinimas

(law enforcement,

implementation)

Primena A. Tiuringo klausimą

„ Ar gali mašinos mąstyti?“

• Programuotojai nežino teisės normų prasmės – Pvz., programuoja „rapid prototyping of mobile applications“, bet nežino teisinių pasekmių

Metodas „Daugiafazė transformacija“

(Multiphase Transformation)

6

Teisės

tekstas

„Ne“ mechanistinei teisei

• „Ne“ subsumcijos automatams

(mechanistiniams teisėjams)

– Žr. Ogorek (1986) Richterkönig oder

Subsumtionsautomat? Klostermann, Frankfurt

am Main pp. 212, 292ff.

7

2.

Kelzeno „Grynosios

teisės teorijos“

vizualizavimas

8

Metalygmuo

Grynoji teisės teorija

9

Taisyklės

Privalo (Ought, Sollen)

(= legal meaning, rechtliche Bedeutung)

Prasmė (Meaning, Sinn) Įstatymas, nuosprendis

A prisiejimas→ B

(Zurechnung, imputation)

Yra (angl. Is, vok. Sein)

Dokumentas, kalbos aktas

A priežastis→ B

(Kausalität, causality)

Scena

1. REALYBĖS FAKTŲ

INTERPRETAVIMAS

10

Faktinė situacija

11

Situacija, faktai

Interpretavimas: teisiniai faktai

12

Situacija, faktai

Prasmė („Sinn“)

Interpretavimas

Teisinio interpretavimo schema

13

Situacija, faktai

Prasmė („Sinn“)

Interpretavimo

schema

Interpretavimas

Norma

14

Situacija, faktai

Prasmė („Sinn“)

Interpretavimas

Norm

Reakcija

(sankcija) Interpretavimo

schema

Norma kaip teisinio

interpretavimo schema

15

Situacija, faktai

Prasmė („Sinn“)

Interpretavimas

Norma

Veiksmas

Interpretavimo

schema

2. TEISĖS TEKSTŲ

INTERPRETAVIMAS.

16

Teisės terminai kaip modaliai indiferentiškas substratas

(vok. modal indifferentes Substrat)

Teisės tekstas

17

Norma Terminai

Teisės tekstas

Turinio interpretavimas

18

Norma Terminai

Teisės tekstas

Turinio interpretavimas

Modaliai indiferentiškas substratas

(vok. modal indifferentes Substrat)

19

Terminai

Norma Terminai

Teisės tekstas

Turinio interpretavimas

Modaliai indiferentiškas substratas

Terminų sistema:

tezaurai, klasifikacijos, ontologijos

20

Terminai

Norma Terminai

Teisės tekstas

Turinio interpretavimas

Modaliai indiferentiškas substratas

3. TEISĖS AKTŲ

INTERPRETAVIMAS

21

22

Norminis tekstas

23

Prasmė:

Galiojantis teisės aktas

interpretation Interpretavimas

Hipotezė

24

interpretation Interpretavimas

Prasmė:

Galiojantis teisės aktas

Hipotezė

25

interpretation Interpretavimas

Pamatinė norma (basic norm)

Prasmė:

Galiojantis teisės aktas

4. NUO HIPOTETINĖS NORMOS

PRIE KATEGORINĖS NORMOS

26

Hipotetinė norma

27

Veiksmas Sąlyga

if then

• Hypothetical imperative – commands a certain act as a means to an end

Kategorinė norma

28

To Do

• Categorical imperative – commands a certain act as an end

Kitos koncepcijos (Luhmann)

29

Tikslas Veiksmas Sąlyga

5. NORMŲ HIERARCHIJA

30

31

Konstitucija

Įstatymas

Statutas

Sprendimas

Valstybės teisė

ES antrinė teisė

ES pirminė teisė

Europos Sąjungos teisė Tarptautinė teisė

Tarptautinė teisė

Sutartis

Privatinė sutartis

Pamatinė norma

Pamatinė norma

6. NORMOS SĄVOKOS

IŠGRYNINIMAS

32

Tradicinės teisės teorijos išgryninimas

Asmuo

33

Tradicinė sąvoka

Asmenybė = Substancija

Asmuo

Asmuo

34

Asmuo

Grynoji Teisės Teorija:

asmuo kaip

teisių ir pareigų kiekybė

Person

Tradicinė sąvoka

Asmenybė = Substancija

3.

F. Lachmayerio teisės

informatikos koncepcija

35

F. Lachmayer’s landscape

of legal informatics

36

4.

Išreikštinis normos

teleologinis elementas

37

Atlik veiksmą A pasiekti tikslą G:

A te→ G

means te→ telos

38

Normos sudėtinės dalys:

1) Sąlyga

2) Dispozicija

2.1) Subjektas

2.2) Veiksmas

2.3) Modus – normatyvinis modalumas

pvz., privaloma, leidžiama, uždrausta

2.4) Objektas

3)

Norma

1) Sąlyga 2.4) Objektas

2.1) Subjektas 2.3) Veiksmas

2.3

) M

od

us

3) Telos

39

Norma

Objektas Mo

du

s

1 pavyzdys: „Atidaryk duris!“

1) Sąlyga: tuščia

2.1) Subjektas: neišreikštinis

2.2) Veiksmas: „atidaryti“

2.3) Modus: neišreikštinis („privaloma“) žodyje „atidaryk“

2.4) Objektas: „durys“

3)

Veiksmas Subjektas

40

Norma

Objektas Mo

du

s

2 pavyzdys: „Tu privalai atidaryti duris.“

1) Sąlyga: tuščia

2.1) Subjektas: „tu“

2.2) Veiksmas: „atidaryti“

2.3) Modus: „privalai“

2.4) Objektas: „durys“

3)

Veiksmas Subjektas

41

Norma

Objektas Mo

du

s

3 pavyzdys: „Tu privalai atidaryti duris įleisti šviežio oro.“

1) Sąlyga: tuščia

2.1) Subjektas: „tu“

2.2) Veiksmas: „atidaryti“

2.3) Modus: „privalai“

2.4) Objektas: „durys“

3)

Veiksmas Subjektas

3) Telos

5.

Daugiamatės

visualizacijos:

1D, 2D, 2½D, 3D

42

Vizualizacijų funkcijos

Stiprybės ir silpnybės – Detalės vs. holistinis paveikslas

• Tekstas – Kaip vizualizacijos forma

– Komunikuoti dideį duomenų kiekį

• Paveikslas – Suvestinė of a holistic nature

• Simboliai – Pvz., kelio ženklai

• Teisinė logika – Deontinė logika

• Formalizavimas

43

Wahlgren (2008) Visualization of the Law, IRIS 2008

1D

44

• if state_of_affairs then legal_consequences

A → B, NORM(A/B)

• Ilmar Tammelo (1978)

• Prolog-like notations

– H.Yoshino’s

Logical Jurisprudence

2D ir 2 ½ D

• Paveikslai – Allegories, e.g. Leviathan by Thomas Hobbes

• Schemos

– Info-graphics

• Argumentavomo grafai

• Story telling

• Legal workflows

– Wolfgang Kahlig

• Nuo 1D prie 2D

45

3D ir filmai

• Skulptūra

• Filmai

– Menzi-Muck-timber case – the Film!

www.youtube.com/watch?v=KI7zeuayum4

– www.telejura.de

46

6.

Suderinamumas su teise

(angl. compliance)

47

Suderinamumo metodikos vieta

48

Suderinamumo

metodika

Reikalavimų inžinerija

Metodikos

Teisė

“Shared law”

Programų

sistema

S

Teisiniai

reikalavimai

R

Teisiniai

reikalavimai

R

Programų sistemos kūrėjas

Holistinis požiūris

49 Regulation and IT alignment framework (Bonazzi et al. 2009)

COBIT, ISO 17779, GORE

COSO

Rasmussen

2005;

IT GRC

Teisės normų modelis

• Reikia suprasti teisės sąvokas

• Programa gali būti panaudota kaip ginklas panašiai kaip ir pieštukas

50 Oberle et al. 2012

Suderinamumo su teise formulavimas

51

Auditorius

išplaukia suderinama

Suderinama?

Taip Ne

Teisės šaltinis

pvz. įstatymas,

teisės norma

L

Programų

sistema

S

Teisiniai

reikalavimai

R

Teisiniai

reikalavimai

R

Programų

sistemos

kūrėjas

Tegu duota programų sistema S ir teisiniai reikalavimai R

1. Suderink S su R

2. Užtikrink, kad auditorius priimtų kaip įrodymą, kad S suderinama su R

Suderinamumas nusveria saugumą

• Siekti suderinamumo vietoje saugumo

– “People go to jail…for failures in compliance –

rather than security” (Julisch 2008)

52

Scenarijus

Įmonės KnowWhere programa “Person

Locator App” mobiliesiems telefonams

– stebėti telefone geografinę vietą

vartotojų, kurie instaliavo šią

programą

– pvz., sekti Facebook draugus

• KnowWhere pasitelkia Google Maps ir

gauna personalizuotus žemėlapius

– vartotojai žymimi Facebook ID

• KnowWhere siūlo portalą

“Person Locator Portal”

– Žemėlapyje rodoma vieta vartotojų

iš tam tikros Facebook grupės

– Serveris surenka šių vartotojų

koordinates ir su Google Maps

parodo žemėlapyje

• Programa siunčia į serverį telefono GPS

koordinates ir Facebook ID

53 (Oberle et al. 2013)

Samprotavimas

1 klausimas. Kokio įstatymo ir kokios nuostatos taikomos? – LR Asmens duomenų teisinės apsaugos įstatymas

• 2(1) str. Asmens duomenys

– Netaikomas LR Elektroninių ryšių įstatymas

2 klausimas. Ar yra teisėta atskleisti vartotojo duomenis korporacijai Google? Neteisėta, nes:

– 2.1 klausimas. Ar įstatymas numato pagrindą perduoti asmens duomenis? Nenumato, nes nėra būtina sutarties vykdymui:

• 5(1) str. Asmens duomenų teisėto tvarkymo kriterijai. “Asmens duomenys gali būti tvarkomi, jeigu ... 2) sudaroma arba vykdoma sutartis, kai viena iš šalių yra duomenų subjektas.”

• Nei Facebook ID, nei GPS koordinatės nėra būtinos sutarčiai tarp vartotojo ir KnowWhere

• Google yra trečioji šalis

• Būtų galima: – KwoWhere pati pažymi ant laisvai prienamų žemėlapių, pvz. Google Maps

– perduoti Google anonimizuotas GPS koordinates

– 2.2 klausimas. Ar vartotojas davė sutikimą? Ne, nes duomenų subjektas:

– nebuvo tinkamai informuotas apie pasekmes

» programa naudos GPS duomenis

» perdavimas Google

Išvada: nedavė tinkamo sutikimo (effective consent) – moralinis spaudimas (mental pressure)

Išvada: KnowWhere perdavimas asmens duomenų Google yra neteisėtas

54

Sutinku

(accept)

Teisės normos modeliavimas

55

SF → LC

teisinės_sąlygos → teisinės_pasekmės

jeigu dispozicija tai teisinės_pasekmės

kitaip sankcija

((Collection(X) OR Processing(X) OR Use(X))

AND performedUpon(X,Y) AND PersonalData(Y))

AND

(Permission(P) OR Order(P)) AND givenFor(P,X)))

OR

(Consent(C) AND DataSubject(D) AND about(Y,D)

AND gives(D,C) AND permits(C,X))

→

Lawfulness(P) AND givenFor(P,X)

Fakto atitikimas normai

56

Negyvas

žmogus Faktas a:

Nužudymas

Neatsargus

gyvybės

atėmimas

Padėjimas

nusižudyti

Mirties

bausmė

Karinių

pajėgų

aktas

Teisės

sąvoka A: ...

a

A

1) Terminologinė

subsumcija

Faktas:

Teisės

sąvoka:

A, C → D

A → B

... 2) Norminė

subsumcija

B(a) Išvada,

teismo nuosprendis

instance_of

Teisės sudėtingumas

1. Teisės normų abstraktumas – Normos formuluojamos teisės terminais, kurie kiek galima abstraktesni

2. Atviras aiškinimas (open texture) – Draudimas “Parke važiuoti draudžiama”

– Ar leidžiama įvažiuoti greitajai pagalbai? Dviračiui?

3. Teisės aiškinimo metodai – Normos prasmė neištraukiama vien tik iš teksto

– Teisės aiškinimo metodai: gramatinis, sisteminis, teleologinis

4. Teleologija – Normos tikslas gali būti pasiekiamas įvairiais būdais

– Tikslai ir būdai paprastai normoje nenurodomi

5. Teisės principas ir taisyklė – Skirtumai tarp reguliavimo JAV ir Europoje

– Bendroji teisė (common law) ir kontinentinė teisė

57

7.

Žinių vizualizavimo ir

žinių vaizdavimo

skirtumai

58

Kontekstas

• Žingsniai:

1) Simbolizavimas ir vizualizavimas

2) Formalizavimas

3) Žinių vaizdavimas

59

Skirtumai tarp žinių vizualizavimo ir

žinių vaizdavimo

• Both Knowledge Visualization and

Knowledge Representation

can be viewed as

Knowledge Management processes

(see Encyclopedia of Knowledge Management,

Schwartz (ed.), 2006)

• Thus a perspective of KM: Knowledge Management

(KM)

Knowledge Visualization

(KV)

Knowledge Representation

(KR) 60

Skirtingi subjektai

• Žmogus –

žinių vizualizavimo

subjektas

• Kompiuteris –

žinių vaizdavimo

subjektas

Knowledge Management

(KM)

Knowledge Visualization

(KV)

Žmogus

Knowledge Representation

(KR)

Kompiuteris

61

Formalisation and symbolisation

(see Lachmayer)

• Formalisation (die Formalisierung) is a correct logical notation

• Formalisation in law: G.H. von Wright, 1950

• In information systems: “A mapping onto a mathematical system of concepts with a corresponding representation” (see e.g. Sjaak Brinkkemper)

• Symbolisation (die Symbolisierung) • “Symbolisation means to be a symbol of something”

(see Oxford advanced learner’s dictionary)

• Symbolisation in law: see K. Röhl, C. Brunschwig

62

Knowledge visualization framework

• Three perspectives (M.J. Eppler and

R.A.Burkhard, Knowledge visualization,

2006; J. Zachman 1987)

1. Knowledge type (What? What type of

knowledge is visualized (object)?

2. Visualization goal (Why? Why should that

knowledge be visualized (purpose)?)

3. Visualization format (How? How can the

knowledge be represented (method)?)

63

Visualization format

• Eppler and Burkhard 2006:

– Heuristic sketches (e.g. ad-hoc drawings of

complex ideas)

– Conceptual diagrams

– Visual metaphors

– Knowledge animations

– Knowledge maps (such as a landscape of in-

house experts)

– Domain structures (e.g. a co-citation network)

64

Conceptual diagrams

(see Eppler and Burkhard 2006)

65

Knowledge representation: a

computer science perspective

• Knowledge representation serves for entailment of new knowledge – Therefore: (automatic) reasoning and inference.

– Symbol level representation • Rule-based (if … then …)

• Frame- or object-based (conceptual graphs, semantic nets). Links: is-a, instance-of, part-of

– Knowledge level representation “The knowledge level permits predicting and understanding

behaviour without having an operational model of the processing that is actually being done by the agent” (Allen Newell 1982)

66

Ačiū už dėmesį

Vytautas.Cyras@mif.vu.lt Vytautas.Cyras@mif.vu.lt 67