Vytautas ČYRAS Vilniaus universitetas
Matematikos ir informatikos fakultetas Programų sistemų katedra [email protected]
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į
Top Related