technical rules and legal rules in online virtual worlds
DESCRIPTION
Authors: Vytautas Čyras, Friedrich lachmayer. BILETA 2010 conference (British and Irish Law, Education and Technology Association). http://www.univie.ac.at/RI/BILETA2010/. Vienna, 29-30 March 2010. ABSTRACT: The paper is devoted to a legal framework of a three-dimensional virtual world. Here visualization and symbolization precede formalization on the way to construction and legal knowledge representation. Thus the visualization of virtual world issues can have a favourable effect on modelling, formal representation and implementation. The paper also identifies a legal informatics approach which is worded “From rules in law to rules in artefact”. The rules are divided into classes, such as legal, technical, professional, reputation, etc. The modes of effect of rules are distinguished, too. The differences of the technical rules and the legal rules are in the focus. The development tackles a virtual world platform within the FP7 VirtualLife project, which pursues the goal to create a secure and legally ruled collaboration environment.TRANSCRIPT
![Page 1: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/1.jpg)
Technical Rules and Legal Rules in Online Virtual Worlds
Vytautas ČYRASVilnius University, Lithuania
1
Friedrich LACHMAYERUniversity of Innsbruck, Austria
![Page 2: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/2.jpg)
1.Introduction
2
![Page 3: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/3.jpg)
Virtual Worlds• Serious, e.g. Second Life,
Active Worlds Educational Universe
• Leisure purposed – a game
– e.g. World of Warcraft
• I am neither proponent nor opponent of them
3
– Consider negative factors such as addiction. Thus “pro” and “contra” arguments
• Research & software development project– FP7 ICT VirtualLife project, 3 years 2008-2010– Title: “Secure, Trusted and Legally Ruled Collaboration Environment in Virtual Life”– Goal: software platform, peer-to-peer architecture– Scenario: learning support, e.g. a “University Virtual Campus”
![Page 4: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/4.jpg)
Sample scenariosWeb 2.0
• information as a content
Virtual world
• interaction as a content
4
![Page 5: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/5.jpg)
Motivation of learning
• “Pro” virtual worldsLearning materials
– static, searchable in 2D for learner’s queries (Web)
– interactive objects (virtual worlds)
• “Contra” virtual worlds– values?
5
– mono-sensorial, perceived through computer’s display– multi-sensorial learning in the real world
• concurrency of human’s brain and senses (seeing, hearing, feel)• “learning by doing” when accomplishing real-world tasks
![Page 6: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/6.jpg)
2.A legal framework
of the VirtualLife platform
6
![Page 7: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/7.jpg)
• Novelties
– issues of security and trust
– in-world legal framework.
Implemented as shrink-wrap agreements
1. a “Supreme Constitution”
2. a “Virtual Nation Constitution”
3. a set of contracts
– peer-to-peer network communication architecture
About FP7 VirtualLife project
7
![Page 8: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/8.jpg)
Legal framework of VirtualLife
Three tiers:1. A “Supreme Constitution”
– Code of Conduct• values, e.g. avatars integrity, sanctity of property, reputation, etc.
– a part of EULA (End User License Agreement)– implemented as a shrink-wrap agreement. A contractual level
2. A “Virtual Nation Constitution”– authentication procedure to become a member of Nation– copyright law of a Nation, e.g. “CopyLeft” or “CopyRight”
3. A set of different sample contracts– sales contract– teacher employment contract– student contract
8
![Page 9: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/9.jpg)
From legal rules – to virtual world rules –to technical rules in software
9
This translation complies with:– Lawrence Lessig’s conception “Code is law”– Raph Koster’s “Declaration of the Rights of Avatars”
‘Keep off the grass’
‘The subject – avatar – is forbidden the action – walking on the grass’
A software program, i.e. a script. Implemented by triggers which control the avatar
Natural intelligence – a team of • legal expert• virtual world developer
Natural intelligence• a programmer
Translation
Translation
![Page 10: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/10.jpg)
Examples of rules
1. An avatar is forbidden to touch objects not owned by him or a certain group.
2. An avatar not belonging to a given group is forbidden to a given area of the zone.
3. An avatar is forbidden to create more than a given number of objects during a given time interval.
4. An avatar is forbidden to use a given dictionary of words (slang) while chatting with other avatars.
5. An avatar of age is forbidden to chat with avatars under age.
10
![Page 11: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/11.jpg)
Facing the problems of translation• Abstractness of norms. Legal rules are formulated abstractly.
• Open texture. Hart’s example of “Vehicles are forbidden in the park”.
• Legal interpretation methods. The meaning of a legal text cannot be extracted from the sole text.– grammatical interpretation
– teleological interpretation
• Legal teleology. The purpose of a legal rule usually can be achieved by a variety of actions.
• Heuristics. The ability to translate abstract high level concepts and invent low level ones.
11
![Page 12: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/12.jpg)
3.A spatialization
of a virtual world
12
![Page 13: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/13.jpg)
Spatialization – a virtual world as a wholeVirtual space. Frame: constitutive. ~ Theatre
Stage
ActionsAvatar Avatar
Avatar
![Page 14: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/14.jpg)
Technical rules
Stage
Actions
Virtual space. Frame: constitutive. ~ Theatre
Rules 1. Technical
Factual limitations, e.g. to fence the grass.
Regimes, paradigms, ethics, professional morality
Avatar Avatar
Avatar
![Page 15: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/15.jpg)
Legal rules
Stage
Actions
Virtual space. Frame: constitutive. ~ Theatre
Rules 1. Technical
Factual limitations, e.g. to fence the grass.
Rules 2. Legalobligations,permissions, prohibitions.
Regimes, paradigms, ethics, professional morality
Authorities: virtual procedures, e.g. online dispute resolution
Avatar Avatar
Avatar
![Page 16: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/16.jpg)
F. Lachmayer’s spatialization
Stage
Actions
Virtual space. Frame: constitutive. ~ Theatre
Rules 1. Technical
Factual limitations, e.g. to fence the grass.
Rules 2.Legal
obligations,permissions, prohibitions .
Rules 3. Reputation
economic,social,civic.
Rules n.Energy…
Regimes, paradigms, ethics, professional morality
Authorities: virtual procedures, e.g. online dispute resolution
Avatar Avatar
Avatar
![Page 17: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/17.jpg)
An example of reputation rules
Reputation:
• economic,
• social,
• civic.
17
![Page 18: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/18.jpg)
Principles of construction
Rules 1. Technical
Rules 2.Legal
Rules 3. Reputation
Rules n.Energy
…
Core ontology
Special ontology 1 Special ontology 2 Special ontology 3 Special ontology n…
Stage
ActionsAvatar Avatar
Avatar
![Page 19: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/19.jpg)
Principles of construction
…
…
Stage
Rules 1. Technical
Rules 2.Legal
Rules 3. Reputation
Rules n.Energy
…
Core ontology
Special ontology 1 Special ontology 2 Special ontology 3 Special ontology n
Different modes of effect (Wirkung) or relevance
Barrier.Strict
Occasional.Probability p%
Step-by-step.
“Entering withoutstop is refused”
“Policeman fines you for stepping the grass”.But this happens with p% probability – if you do not succeed.
“Reputation/energy is decreased by 10 points”
![Page 20: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/20.jpg)
20
3 stages1. Legislative stage
Community
Produce
3. Judicial stage
2. Stage of the game –everyday life
p% Judgement
Negotiations, contracts , etc.
Rules
![Page 21: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/21.jpg)
A sub-stage of access
21
2. Stage of the game
The people think in roles, not rules
PassengerCitizen, ticket
Sub-stage of access. Like “entering an airport”
![Page 22: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/22.jpg)
Two legal sub-stages
22
2. Stage of the game
The people think in roles, not rules
1a. Legislative rules General rules
1b. Contract rules Individual rulesBuyer Sellere.g.
Having meals
PassengerCitizen, ticket
Inter partes
Sub-stage of access. Like “entering an airport”
![Page 23: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/23.jpg)
4.Formalising technical rules
and legal rules
23
![Page 24: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/24.jpg)
Technical rules• Interpreted as causation.
• Formalized with the modus ponens rule.
Example. (pincode → money) & pincode money
(1) Rule(P→Q)
(2) Fact(P)
Conclusion. Fact(Q)
Modus ponens rule in mathematical logic:
Sequent notation:
24
P→Q, P |– Q
P→Q, P-----------Q
If P, then Q.P.Therefore Q.
‘If and only if’ (↔) interpretation is aimed:(1) Rule(P ↔ Q)(2) Fact(¬P)Conclusion. Fact(¬Q)
Rule form:
![Page 25: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/25.jpg)
Legal rules(1) Permission(P iff Q) Norm(P ↔ Q)
Example: green if_and_only_if cross ( red → do_not_cross )
(2) Fact(¬P) – red is on
(3) Fact(Q) – you cross the street, nevertheless
Interpretation. You are simply a bad guy. Nobody can stop you crossing.
Notes:
• Here P denotes “green”, Q denotes “cross”, ¬P denotes “red”.
• A punishment procedure is exercised with probability p%, e.g. by a policeman.
25
![Page 26: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/26.jpg)
Reputation/energy rules(1) Norm(¬A)
(2) Fact(A)
Conclusion. Energy points reduction by 10%
Formalization:
26
A
A1
A2
An
¬A
Norm(¬A)A-------------------A := 0.9*A
Energy is reduced to A1, then A2 and so on to An.And at last ¬A.
…
![Page 27: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/27.jpg)
5.Norm and status
27
![Page 28: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/28.jpg)
Spatialization of Norm and Status
Virtual space
Stage
ActionsAvatar Avatar
Avatar
F. Lachmayer, Grundzüge einer Normentheorie. Duncker & Humblot 1977.
III. Normativer Status
![Page 29: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/29.jpg)
Spatialization of Norm and StatusVirtual space
Stage
ActionsAvatar Avatar
Avatar
F. Lachmayer, Grundzüge einer Normentheorie, 1977, Seite 67
N(A)Norm
![Page 30: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/30.jpg)
Spatialization of Norm and StatusVirtual space
Stage
ActionsAvatar Avatar
Avatar
F. Lachmayer, Grundzüge einer Normentheorie, 1977, Seite 67, 76
N(A)Norm
Status
N(A) O(A)
![Page 31: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/31.jpg)
A Spatialization of Norm and StatusVirtual space
Stage
ActionsAvatar Avatar
Avatar
F. Lachmayer, Grundzüge einer Normentheorie, 1977, Seite 89
O(A)e(r1-r2)
N(A)r1 N(A)r2Norm
Status
![Page 32: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/32.jpg)
6. Example:a girl with her father
in a café
32
![Page 33: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/33.jpg)
33
r1. Father says “Sit down”
→ Obligatio to sit O(A)r1
The normative status of a girl with her father
in a café
r2. Implicit permission to speak
→ Permissio to speak = P(B)r2
![Page 34: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/34.jpg)
34
r3. A general prohibition to smoke
→ Vetum for smoking V(C)r3 = O(¬C) r3
r4. A specific prohibition to smoke for juvenile
→ Vetum for smoking V(C)r4 = O(¬C) r4
![Page 35: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/35.jpg)
35
r5. The father asks “What meals will you take?”
→ Permission for meals = P(D)r5
![Page 36: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/36.jpg)
The normative status
established by the rules r1, ..., r5 Phase 1) The list of all the 5 consequents:
normative_resultant r1,...,r5 = { O(A)r1, P(B)r2, O(¬C)r3, O(¬C)r4, P(D)r5 }
Phase 2) Duplications are abridged, e.g. O(¬C):normative_resultant r1,...,r5 = {O(A), P(B), O(¬C), P(D)}
Duties are connected with &duties = O(A) & O(¬C)
Permissions are connected with permissions = P(B) P(D)
O(A) O(¬C)
P(B) P(D)
Intersection
Union
36
![Page 37: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/37.jpg)
37
r6. The father asks “What a soft drink will you take,
or cola (E1), or juice (E2), or water (E3)?” →
Permission for one soft drink = P(E1)r6 xor P(E2)r6
xor P(E3)r6
![Page 38: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/38.jpg)
Normative status
established by rules r1, ..., r5, r6
Earlier normative_resultant (r1,…,r5) is supplemented withP(E1) xor P(E2) xor P(E3).
A new normative_resultant (r1,…,r5,r6) ={O(A), P(B), O(¬C), P(D), P(E1) xor P(E2) xor P(E3) }
Permissions are connected with :permissions (r1,…,r5,r6) = P(B) P(D) P(E1) xor P(E2) xor P(E3)
P(B) P(D) P(E1) xor P(E2) xor P(E3) )38
![Page 39: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/39.jpg)
A synthesizer of normative status• Suppose a huge set of rules r1, r2,…, r_n.• What is the normative status, O , of a subject (avatar) S?
O(subject=S, duty=X,…)(r1 ,r2…,r_n)
– Has S a duty X ?– Is S permitted to doY?
• “ … the power … does not reside in the inference method; almost any inference method will do. The power resides in the knowledge” (Feigenbaum 1984, p.101)
39
Synthesizerof normative
status
r1
r2
r_n
O(…)(r1 ,r2…,r_n)
black box
role, such as “passenger”, “professor”,
“CopyLeft”, etc.
N(A1)
N(A2)
N(A_n)
![Page 40: Technical rules and legal rules in online virtual worlds](https://reader036.vdocuments.net/reader036/viewer/2022081400/55504c19b4c90580748b51df/html5/thumbnails/40.jpg)
Thank you
• Acknowledgements: 9 partner organisations of the VirtualLife project http://www.ict-virtuallife.eu
40