From Structural Description to Interactions in Law : the Case for Simplicial Complexes Jacky Legrand Université Paris 2, CERSA.

Slides:



Advertisements
Similar presentations
You have been given a mission and a code. Use the code to complete the mission and you will save the world from obliteration…
Advertisements

Planning Reports and Proposals
Entity Relationship (E-R) Modeling
Objectives Know why companies use distribution channels and understand the functions that these channels perform. Learn how channel members interact and.
Chapter 7 System Models.
Requirements Engineering Process
1 Copyright © 2010, Elsevier Inc. All rights Reserved Fig 2.1 Chapter 2.
Growing Every Child! The following slides are examples of questions your child will use in the classroom throughout the year. The questions progress from.
1 Probability and the Web Ken Baclawski Northeastern University VIStology, Inc.
Mirror Mirror on the wall does your repository reflect it all? Peter West and Timothy Miles-Board EPrints Services University of Southampton Southampton,
1 When DAP Meets GAP Promoting Peaceful Coexistence between Developmentally Appropriate Practice & the Need to Address the Achievement Gap International.
Some ideas …. Task XBRL as a business performance and financial reporting standard (with its various taxonomies). 2.
Language Specification using Metamodelling Joachim Fischer Humboldt University Berlin LAB Workshop Geneva
Jeopardy Q 1 Q 6 Q 11 Q 16 Q 21 Q 2 Q 7 Q 12 Q 17 Q 22 Q 3 Q 8 Q 13
Jeopardy Q 1 Q 6 Q 11 Q 16 Q 21 Q 2 Q 7 Q 12 Q 17 Q 22 Q 3 Q 8 Q 13
Title Subtitle.
Literacy Block Others Parts of the Day 90 Min. Reading Block
0 - 0.
DIVIDING INTEGERS 1. IF THE SIGNS ARE THE SAME THE ANSWER IS POSITIVE 2. IF THE SIGNS ARE DIFFERENT THE ANSWER IS NEGATIVE.
SUBTRACTING INTEGERS 1. CHANGE THE SUBTRACTION SIGN TO ADDITION
MULT. INTEGERS 1. IF THE SIGNS ARE THE SAME THE ANSWER IS POSITIVE 2. IF THE SIGNS ARE DIFFERENT THE ANSWER IS NEGATIVE.
Addition Facts
Peer-to-peer and agent-based computing Basic Theory of Agency.
Chapter 3 Critically reviewing the literature
|epcc| NeSC Workshop Open Issues in Grid Scheduling Ali Anjomshoaa EPCC, University of Edinburgh Tuesday, 21 October 2003 Overview of a Grid Scheduling.
Multilevel Event History Analysis of the Formation and Outcomes of Cohabiting and Marital Partnerships Fiona Steele Centre for Multilevel Modelling University.
Chapter 7 Sampling and Sampling Distributions
R O O T S Field-Sensitive Points-to-Analysis Eda GÜNGÖR
1 Ganesh Iyer Perceptual Mapping XMBA Session 3 Summer 2008.
Configuration management
Negotiating With Influence & Persuasion
Randomized Algorithms Randomized Algorithms CS648 1.
ABC Technology Project
3 Logic The Study of What’s True or False or Somewhere in Between.
Topology in Distributed Computing: A Primer 1 / 16 Sergey Velder SPbSU ITMO.
Aligning Business and IT Models in Service-Oriented Architectures using BPMN and SoaML Brian Elvesæter, Dima Panfilenko, Sven Jacobi & Christian Hahn MDI2010.
© S Haughton more than 3?
1 UML ++ Mohamed T IBRAHIM University of Greenwich -UK.
main idea and supporting details
Hypernetworks in Scalable Open Education Jeffrey Johnson Cristian Jimenez-Romero Alistair Willis European TOPDRIM (DYM-CS), Etoile, & GSDP Projects & Complexity.
AIM Operational Concept
Squares and Square Root WALK. Solve each problem REVIEW:
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 28 Slide 1 Process Improvement 1.
Routing and Congestion Problems in General Networks Presented by Jun Zou CAS 744.
Lets play bingo!!. Calculate: MEAN Calculate: MEDIAN
Lecture plan Outline of DB design process Entity-relationship model
Science as a Process Chapter 1 Section 2.
آزمایشگاه مهندسی نرم افزار
GG Consulting, LLC I-SUITE. Source: TEA SHARS Frequently asked questions 2.
2009 – E. Félix Security DSL Toward model-based security engineering: developing a security analysis DSML Véronique Normand, Edith Félix, Thales Research.
Addition 1’s to 20.
25 seconds left…...
1 Using one or more of your senses to gather information.
Test B, 100 Subtraction Facts
Chapter Review: What is Sociology?
Chapter 2 Entity-Relationship Data Modeling: Tools and Techniques
An Adaptive System for User Information needs based on the observed meta- Knowledge AKERELE Olubunmi Doctorate student, University of Ibadan, Ibadan, Nigeria;
Week 1.
We will resume in: 25 Minutes.
CSE 473/573 Computer Vision and Image Processing (CVIP) Ifeoma Nwogu Lecture 27 – Overview of probability concepts 1.
Connecting LANs, Backbone Networks, and Virtual LANs
Learning Outcomes Participants will be able to analyze assessments
From Model-based to Model-driven Design of User Interfaces.
PhD Success in Qualitative Research Sten Ludvigsen InterMedia University of Oslo.
Program Slicing – Based Techniques
Hypernetworks in systems of systems of systems Jeffrey Johnson The Open University, UK TOPDRIM - Topology-driven methods in CS NESS - Non-Equilibrium Social.
1 Enviromatics Spatial database systems Spatial database systems Вонр. проф. д-р Александар Маркоски Технички факултет – Битола 2008 год.
4th China-Europe Summer School on Complexity Science. Shanghai 12-Aug-2010 From Networks to Hypernetworks for a Science of Complex Systems Jeffrey Johnson.
ABRA Week 3 research design, methods… SS. Research Design and Method.
Explain How Researchers Use Inductive Content Analysis (Thematic Analysis) on Transcripts.
Presentation transcript:

From Structural Description to Interactions in Law : the Case for Simplicial Complexes Jacky Legrand Université Paris 2, CERSA

september Atelier Complexité et Politiques PubliquesJ. Legrand 2 Introduction problem statement Several communities focuses on networks Networks studied via graph theory higher dimensional networks Applications leave out the legal systems

september Atelier Complexité et Politiques PubliquesJ. Legrand 3 Introduction objectives Generalising to relations among N things Developments concerning Law

september Atelier Complexité et Politiques PubliquesJ. Legrand 4 Introduction method Syntactic & semantic perspectives 1st level of interpretation –topology Q-analysis* –maths methodology to explicitate 2nd level of interpretation –Q-analysis* applications typology * Ronald Atkin 70's 40 years of applications

september Atelier Complexité et Politiques PubliquesJ. Legrand 5 Introduction outline Graph –the vertices stand for things –the edges stand for binary relations Hypergraph –the edges no longer connect pairs –the edges enclose subsets of vertices Simplicial complex –multi-dimensional polygonal shapes

september Atelier Complexité et Politiques PubliquesJ. Legrand 6 Simplicial complex Vertices (b i ) Simplices (a j ) Dimension (a 4, 2) Faces (a 1, ) Nearness (a 1 a 2,b 4 ) Connectivity (a 1,a 2,a 5,a 6,a 4 ) Loops (a 4,a 5,a 6 ) Holes

september Atelier Complexité et Politiques PubliquesJ. Legrand 7 1st level of interpretation Simplicial complex construction –vertices simplices Choice of invariants –algebraic –topological –combinatorial Quantitative measures Qualitative observations

september Atelier Complexité et Politiques PubliquesJ. Legrand 8 2nd level of interpretation Applications of Q-analysis Domain-oriented typology –down to earth –a relational world –artefacts, abstractions and concepts Item-oriented typology –significance of simplices in complex ? –polyhedra as reified objects ?

september Atelier Complexité et Politiques PubliquesJ. Legrand 9 Multidimensional networks in legal system Statute Law –to measure and model substantive complexity –Boulet Bourcier Mazzega (11th & 12th ICAIL) –legal analysis via graph theory Common Law –argumentation frameworks –computational model of legal inference –case-based reasoning

september Atelier Complexité et Politiques PubliquesJ. Legrand 10 Multidimensional networks in legal system Statute Law Networking of the French legal Codes –legal analysis via graph theory –vertices of the graph are articles of law –the edges stand for quotations –X cites Y (X, Y tied vertices) Extension to a multidimensional network 1 – method for complex construction –simplices = neighbour of X (or Y) –simplices = cliques* of graph * subset of X, Y such every pair connected 2 – to use Q-analysis (for one result)

september Atelier Complexité et Politiques PubliquesJ. Legrand 11 Multidimensional networks in legal system Statute Law Connectivity extends "degree" –to which extent neighbours of X are connected together –q for each dimension of faces sharing –Q-structure vector number of connected components at each q level large values = globally fragmented structure New or generalised measures (degree, closeness, betweenness, eccentricity)

september Atelier Complexité et Politiques PubliquesJ. Legrand 12 Multidimensional networks in legal system Statute Law Apart from quantitative techniques To generalise the notion of nearness –stars and hubs A new meaning for connectivity –holes = shomotopic objects (discrete homotopy) The backcloth-traffic paradigm –structural description and dynamics –the backcloth "influences" activity –the backcloth "allows" and "forbids"

september Atelier Complexité et Politiques PubliquesJ. Legrand 13 Multidimensional networks in legal system Statute Law Two-mode data network –a bipartite graph is two layered –an edge connects only vertices in different sets –Q-analysis is mainly devoted to 2 mode data Legal complexity modelling offer 2-mode networks –a Code cites a Code = one-mode data network –partitioning the corpus introduces 2-mode data –links between legal texts and jurisprudential texts

september Atelier Complexité et Politiques PubliquesJ. Legrand 14 Multidimensional networks in legal system Statute Law From simplicial complexes to ontologies Hypernetworks (J. Johnson 2000's) Simplicial family –"assembly relation" and "cones" –to map vertices to a higher structured set Iterating the process –to create simplices at a higher level Multilevel lattice hierarchy –sharing faces in the cones allows Q analysis

september Atelier Complexité et Politiques PubliquesJ. Legrand 15 Multidimensional networks in legal system Common Law Judicial process based on the analysis of the previous cases versus deductive : facts+context "legal text" Case and precedents = arguments Theories to explain cases Argumentation frameworks Recurrent worry for computational models Intense research efforts in AI & Law

september Atelier Complexité et Politiques PubliquesJ. Legrand 16 Multidimensional networks in legal system Common Law Inventory of well known issues (25 years) –VAFS, CATO, CABARET, GREBE, HYPO To extract the different concepts Unique framework –to produce arguments –to answer, and defeat, the opposite side –interactive production of competing arguments –strategy from one point of view in order to win

september Atelier Complexité et Politiques PubliquesJ. Legrand 17 Multidimensional networks in legal system Common Law Outcomes (decision) Arguments (used to win) Moves (to proceed from argument to argument ) Factors or Dimensions (organisation and abstraction of facts) Issues ({factors} "warrants" outcome) Values (social value the factors promote) (ordered with a preference relation )

september Atelier Complexité et Politiques PubliquesJ. Legrand 18 Multidimensional networks in legal system Common Law Two ideas emerge from these investigations "sharing" – connectivity (the sharing of factors among the cases) "trajectory" – adaptative paths (the moves resulting from strategy) The "factors" as "keystone of backcloth" –the structure of cases "explains" dynamics

september Atelier Complexité et Politiques PubliquesJ. Legrand 19 Conclusion and discussion Several caveats –lack of computer software applications –lack of independent validating yardstick –a naive feeling for Q analysis may be prejudicial –the narrow gap between metaphor and woolliness Many benefits –connectivity is not similarity, covariance or correlation –graph theory and Q analysis can gain from the other –the "backcloth" as a suggestive metaphor –the use of graphics as a language –a powerful thinking tool

september Atelier Complexité et Politiques PubliquesJ. Legrand 20 Future work Toward multidimensional networks in legal system –applications should be time, funds & corpus consuming –backcloth metaphor for questioning the "legal fabric" Hypernetworks (J. Johnson) –answer to systemic limitations –answer to theory of sets limitations –further research deserves our attention