teleological networks in normative systems teleologische netze in normativen systemen
DESCRIPTION
IRIS 2008 University of Salzburg. Teleological networks in normative Systems Teleologische Netze in normativen Systemen. Vytautas Č YRAS Vilnius University, Faculty of Mathematics and Informatics, Vilnius, Lithuania [email protected]. Friedrich LACHMAYER - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/1.jpg)
Teleological networksin normative Systems
Teleologische Netze in normativen Systemen
Vytautas ČYRASVilnius University,
Faculty of Mathematics and Informatics, Vilnius, Lithuania
IRIS 2008University of Salzburg
Friedrich LACHMAYERUniversity of Innsbruck,
Faculty of Law, Austria
![Page 2: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/2.jpg)
1.Introduction
![Page 3: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/3.jpg)
21-23.02.2008 IRIS 2008 3
Motivation
• Teleological statements are especially found in the legislative workflow – governmental drafting; parliamentarian decisions; publication of
the valid laws
• Law and Artificial Intelligence (AI)– Different methodological paradigms– Approaches
• Via natural language• Via formal notation. This is our approach.
• Characterisation of legal order: many implicit and rare explicit teleological structures
![Page 4: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/4.jpg)
21-23.02.2008 IRIS 2008
Teleological structures in context• “Goal” is not among fundamental legal concepts!?
– However, in G. Sartor, 2006 “Fundamental legal concepts”
• Teleology – Berman & Hafner 1993; Bench-Capon; Prakken; Sartor
etc in AI and Law journal, Vol.10 (2002), No.1-2– Goals
– Interests, values– Purposes, policies– Intentions of a legislator
• Theory of teleological relations in law? Why not?
![Page 5: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/5.jpg)
Teleological reasoning vs.norm-based reasoning
• General legal reasoning, especially by non-experts in law, is driven,
1.primarily, by purposes,
2. then by norms
![Page 6: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/6.jpg)
2.Goals in Software
Engeneering
![Page 7: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/7.jpg)
Our approach: to treata teleological network in law
similarly to the goal model in RE
Assumption: a statute is a system.
Conclusion: system design methods might be used in legislative drafting.
• Teleological network in a statute ~
goal model in requirements engineering21-23.02.2008 IRIS 2008 7
![Page 8: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/8.jpg)
21-23.02.2008 IRIS 2008 8
Goals in software engineering
KAOS metamodel [Heaven, Finkelstein 2004]. KAOS – goal-oriented requirements engineering methodology, see van Lamsweerde
![Page 9: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/9.jpg)
KAOS goal model[Matulevičius, Heymans 2005]
21-23.02.2008 IRIS 2008 9
![Page 10: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/10.jpg)
Example: KAOS model for the London Ambulance Service system
21-23.02.2008 IRIS 2008 10See [Heaven, Finkelstein 2004], adapted from [Letier 2001]
![Page 11: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/11.jpg)
21-23.02.2008 IRIS 2008 11
Continued from [Heaven, Finkelstein 2004], adapted from [Letier 2001]
![Page 12: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/12.jpg)
Goals and agents• Responsibility link assigns a goal to an agent. A
bottom level subgoal is related to an agent
• The agent is responsible for goal satisfaction• Agent of a requirement ~ subject of a norm• Goal and agent in requirements engineering ~ telos and subject in the law
21-23.02.2008 IRIS 2008 12
subgoal1
agent1
subgoal2
agent3 agent4
![Page 13: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/13.jpg)
Types of goals
• Different goal types– Achieve goals require that some property eventually
holds. In deontic logic, ◊ G.– Maintain goals require that some property always
holds. □ G.– Cease goals requires that some property eventually
stops to hold. Negation of achieve.– Avoid goals require that some property never holds.
Negation of maintain.– Optimise, Test, Query, Perform, Preserve [Braubach
et al. 2004] about Belief-Desire-Intention agent systems21-23.02.2008 IRIS 2008 13
![Page 14: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/14.jpg)
Expected usage
• Annotation of a statute with goals – a commentary
• Goal representation forms– Textual annotation– A network of goal identifiers
• An example to start: a constitution for Europe
• Article I-2 The Union’s values• Article I-3 The Union’s objectives
21-23.02.2008 IRIS 2008 14
![Page 15: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/15.jpg)
3. Teleological Statements
and the Context of Teleology
![Page 16: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/16.jpg)
te-relation
![Page 17: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/17.jpg)
te-toolte-relation
![Page 18: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/18.jpg)
te-toolte-relation te-goal
![Page 19: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/19.jpg)
te-toolte-relation te-goal
te-statement(a te-> b)
![Page 20: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/20.jpg)
te-toolte-relation
te-projection
te-goal
te-statement(a te-> b)
![Page 21: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/21.jpg)
te-toolte-relation
te-projection
te-context
te-goal
te-statement(a te-> b)
![Page 22: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/22.jpg)
tes
tet tegter
tep
tec
![Page 23: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/23.jpg)
te-STM(a te-> b)
a bte
Teleological Statement, Context
legal context
![Page 24: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/24.jpg)
te-STM(a te-> b)
a bte
Teleological Statement, Context
economical context
![Page 25: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/25.jpg)
te-STM(a te-> b)
a bte
Teleological Statement, Context
scientific context
![Page 26: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/26.jpg)
te-STM(a te-> b)
a bte
Teleological Statement, Context
political context
![Page 27: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/27.jpg)
te-STM(a te-> b)
a bte
Teleological Statement, Context
ideological context
![Page 28: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/28.jpg)
tec te-context { STM (a te-> b) }
teg te-goal a te-> b
tep te-projection STM (a te-> b)
ter te-relation a te-> b
tes te-statement STM (a te-> b)
tet te-tool a te-> b
![Page 29: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/29.jpg)
4. Explicit teleological
elementwithin the norm
![Page 30: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/30.jpg)
21-23.02.2008 IRIS 2008 30
Consider the structure of a norm to be composed of the following elements:(1) Condition(2) Disposition (2.1) Subject. This is an actor; (2.2) Action; (2.3) Normative modus of the action; (2.4) Object of the action.(3) Telos – the explicit teleological element of the norm.We add the telos.
Norm
(1) Condition
(2.4) Object
(3) Telos
(2.1) Subject (2.3) Action
(2.3
) M
od
us
![Page 31: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/31.jpg)
21-23.02.2008 IRIS 2008 31
Norm
Object
Subject
Mo
du
s
Example 1: “Open the door”(1) Condition: empty(2.1) Subject: implicit(2.2) Action: “open”(2.3) Modus: implicit in the verb “open”(2.4) Object: “the door”(3) Telos: empty
Action
![Page 32: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/32.jpg)
21-23.02.2008 IRIS 2008 32
Norm
Object
Subject
Mo
du
s
Action
Example 2: “You must open the door”(1) Condition: empty(2.1) Subject: “you”(2.2) Action: “open”(2.3) Modus: “must”(2.4) Object: “the door”(3) Telos: empty
![Page 33: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/33.jpg)
21-23.02.2008 IRIS 2008 33
Norm
Object
Telos
Subject Action
Mo
du
s
Example 3: “You must open the door for fresh air”(1) Condition: empty(2.1) Subject: “you”(2.2) Action: “open”(2.3) Normative modus of the action: “must”(2.4) Object the action: “the door”(3) Telos: “for fresh air”
![Page 34: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/34.jpg)
21-23.02.2008 IRIS 2008 34
Norm
b
cs1 ao
Example 4: “Subject 1 must open the door for fresh air”Formal notation (in the form of relation):
disposition te telosNotation within the elements of a norm:
os1(a b) te cNotation in algorithmical language:
norm( condition=empty, disposition( subject=s1, action=a, modus=o, object=b ), telos=c )
![Page 35: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/35.jpg)
21-23.02.2008 IRIS 2008 35
Norm
b
cs1 ao
Example 4: “Subject 1 must open the door for fresh air”
Visualization:
The teleological relation is depicted by a sharp green transparent triangle.
![Page 36: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/36.jpg)
21-23.02.2008 IRIS 2008 36
External and internal teleology of the norm
• External teleology
norm(A) te→ G
E.g. A = open_door and G = fresh_air
A = close_door and G = security
• Internal teleology
norm(A te→ G)
E.g. “Open the door for fresh air”
![Page 37: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/37.jpg)
21-23.02.2008 IRIS 2008 37
Variations of teleology within the content of a norm
te→ te→ te→
↕ ↕ ↕
norm( condition, action, telos )
![Page 38: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/38.jpg)
21-23.02.2008 IRIS 2008 38
Symbolisation and formalisation
• Symbolisation is more or less domain notation like te→.
• Formalisation is a correct logical notation.
• The relation between them:
norm(A te→ G) does not necessarily imply N te→ G
• In other words:
norm(A te→ G) ≠ N te→ G
![Page 39: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/39.jpg)
5. Explicit teleological
Statementswithin and outside
the Law
![Page 40: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/40.jpg)
te-STM(a te-> b)
a bte
preamble of a regulation
Teleological Structure within the Law
![Page 41: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/41.jpg)
te-STM(a te-> b)
a bte
Norm
Teleological Structure concerning the Norm
parliamentarian materials
![Page 42: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/42.jpg)
te-STM(a te-> b)
a bte
administrative decision
Normative Teleological Statement
dedication of a building
![Page 43: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/43.jpg)
te-STM(a te-> b)
a bte
Norm
Teleological Statement, Norm as Tool
juridical commentaries upon an article of a law
![Page 44: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/44.jpg)
te-STM(a te-> b)
a bte
Norm
Teleological Statement, Norm as Goal
political commentaries upon a legislative initiative
![Page 45: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/45.jpg)
6.Teleological Networks
and Legal Knowledge
Representation
![Page 46: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/46.jpg)
n1 n2 n3 n....
Norms
![Page 47: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/47.jpg)
a b c ... n
n1 n2 n3 n....
MIS Modal Indifferent Substratum
Norms
![Page 48: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/48.jpg)
a b c ... n
o n1
o n17
pn20
o n2 o n7 o n33
p n42
o n7
n1 n2 n3 n....
Norms
representationof normative modalitieswithin MIS-Semantics
MIS Modal Indifferent Substratum
![Page 49: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/49.jpg)
a b c ... n
te ( x -> y)
n1
n1 n2 n3 n....
te ( x -> y)
n1
te ( x -> y)
n1
te ( x -> y)
n1
representationof te-structures
within MIS-Semantics
Norms
MIS Modal Indifferent Substratum
![Page 50: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/50.jpg)
7.Summary
![Page 51: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/51.jpg)
(1) Formal analysis of goals is utilized in systems engineering. We aim to apply goals (teleology) in legal knowledge representation.
(2) Teleology can be associated with different elements of a norm.
![Page 52: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/52.jpg)
(3) Textual statements concerning legal goals are mostly rational. Therefore explicit instruments (like formalisation and symbolisation) are adequate.
![Page 53: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/53.jpg)
(4) From the viewpoint of legal knowledge representation the normative layer of a legal system can be supplemented with a teleological layer.
(5) Teleology appears both inside and outside of a legal system.
![Page 54: Teleological networks in normative Systems Teleologische Netze in normativen Systemen](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56813b02550346895da3a132/html5/thumbnails/54.jpg)
Thank youfor yourattention