<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN" "http://www.w3.org/2002/04/xhtml-math-svg/xhtml-math-svg.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
  <head>
    <meta http-equiv="Content-Type" content="application/xhtml+xml; charset=utf-8"/>
    <title>Team:ANJA</title>
    <link rel="stylesheet" href="../static/css/raweb.css" type="text/css"/>
    <meta name="description" content="Application Domains - Law"/>
    <meta name="dc.title" content="Application Domains - Law"/>
    <meta name="dc.subject" content=""/>
    <meta name="dc.publisher" content="INRIA"/>
    <meta name="dc.date" content="(SCHEME=ISO8601) 2016-01"/>
    <meta name="dc.type" content="Report"/>
    <meta name="dc.language" content="(SCHEME=ISO639-1) en"/>
    <meta name="projet" content="ANJA"/>
    <script type="text/javascript" src="https://raweb.inria.fr/rapportsactivite/RA2016/static/MathJax/MathJax.js?config=TeX-MML-AM_CHTML">
      <!--MathJax-->
    </script>
  </head>
  <body>
    <div class="tdmdiv">
      <div class="logo">
        <a href="http://www.inria.fr">
          <img style="align:bottom; border:none" src="../static/img/icons/logo_INRIA-coul.jpg" alt="Inria"/>
        </a>
      </div>
      <div class="TdmEntry">
        <div class="tdmentete">
          <a href="uid0.html">Team Anja</a>
        </div>
        <span>
          <a href="uid1.html">Members</a>
        </span>
      </div>
      <div class="TdmEntry">
        <a href="./uid3.html">Overall Objectives</a>
      </div>
      <div class="TdmEntry">Research Program<ul><li><a href="uid9.html&#10;&#9;&#9;  ">Research Program</a></li></ul></div>
      <div class="TdmEntry">Application Domains<ul><li><a href="uid14.html&#10;&#9;&#9;  ">Economy and finance</a></li><li class="tdmActPage"><a href="uid27.html&#10;&#9;&#9;  ">Law</a></li><li><a href="uid41.html&#10;&#9;&#9;  ">Archaeology</a></li></ul></div>
      <div class="TdmEntry">New Software and Platforms<ul><li><a href="uid45.html&#10;&#9;&#9;  ">New Software</a></li></ul></div>
      <div class="TdmEntry">New Results<ul><li><a href="uid50.html&#10;&#9;&#9;  ">Legal aspects of systems designed to judicial risk quantification</a></li><li><a href="uid51.html&#10;&#9;&#9;  ">Liability and ethics</a></li><li><a href="uid52.html&#10;&#9;&#9;  ">Statistical inference methods for panel of random-coefficient AR(1) data</a></li><li><a href="uid53.html&#10;&#9;&#9;  ">New Bayesian approach for chronological modeling</a></li><li><a href="uid54.html&#10;&#9;&#9;  ">Self-regulated processes</a></li><li><a href="uid59.html&#10;&#9;&#9;  ">Causal inference by independent component analysis with Application of to American macro-economic data </a></li><li><a href="uid61.html&#10;&#9;&#9;  ">SAR image denoising using an irregularity-preserved denoising technique based on the global Höllder exponent </a></li><li><a href="uid65.html&#10;&#9;&#9;  ">Underfoliage object imaging using SAR tomography and wavelet-based sparse estimation methods</a></li><li><a href="uid70.html&#10;&#9;&#9;  ">Detection of objects concealed beneath forest canopies using Time-Frequency techniques</a></li></ul></div>
      <div class="TdmEntry">Dissemination<ul><li><a href="uid72.html&#10;&#9;&#9;  ">Promoting Scientific Activities</a></li><li><a href="uid78.html&#10;&#9;&#9;  ">Teaching - Supervision - Juries</a></li></ul></div>
      <div class="TdmEntry">
        <div>Bibliography</div>
      </div>
      <div class="TdmEntry">
        <ul>
          <li>
            <a id="tdmbibentmajor" href="bibliography.html">Major publications</a>
          </li>
          <li>
            <a id="tdmbibentyear" href="bibliography.html#year">Publications of the year</a>
          </li>
          <li>
            <a id="tdmbibentfoot" href="bibliography.html#References">References in notes</a>
          </li>
        </ul>
      </div>
    </div>
    <div id="main">
      <div class="mainentete">
        <div id="head_agauche">
          <small><a href="http://www.inria.fr">
	    
	    Inria
	  </a> | <a href="../index.html">
	    
	    Raweb 
	    2016</a> | <a href="http://www.inria.fr/en/teams/anja">Presentation of the Team ANJA</a></small>
        </div>
        <div id="head_adroite">
          <table class="qrcode">
            <tr>
              <td>
                <a href="anja.xml">
                  <img style="align:bottom; border:none" alt="XML" src="../static/img/icons/xml_motif.png"/>
                </a>
              </td>
              <td>
                <a href="anja.pdf">
                  <img style="align:bottom; border:none" alt="PDF" src="IMG/qrcode-anja-pdf.png"/>
                </a>
              </td>
              <td>
                <a href="../anja/anja.epub">
                  <img style="align:bottom; border:none" alt="e-pub" src="IMG/qrcode-anja-epub.png"/>
                </a>
              </td>
            </tr>
            <tr>
              <td/>
              <td>PDF
</td>
              <td>e-Pub
</td>
            </tr>
          </table>
        </div>
      </div>
      <!--FIN du corps du module-->
      <br/>
      <div class="bottomNavigation">
        <div class="tail_aucentre">
          <a href="./uid14.html" accesskey="P"><img style="align:bottom; border:none" alt="previous" src="../static/img/icons/previous_motif.jpg"/> Previous | </a>
          <a href="./uid0.html" accesskey="U"><img style="align:bottom; border:none" alt="up" src="../static/img/icons/up_motif.jpg"/>  Home</a>
          <a href="./uid41.html" accesskey="N"> | Next <img style="align:bottom; border:none" alt="next" src="../static/img/icons/next_motif.jpg"/></a>
        </div>
        <br/>
      </div>
      <div id="textepage">
        <!--DEBUT2 du corps du module-->
        <h2>Section: 
      Application Domains</h2>
        <h3 class="titre3">Law</h3>
        <p>There are now many ways in which mathematics are applied to law. They include the following approaches:</p>
        <ol>
          <li>
            <p class="notaparagraph"><a name="uid28"> </a>the classical domain of <i>Law and Economics</i></p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid29"> </a>the more recent statistical approaches</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid30"> </a>approaches using tools of mathematical logic.</p>
          </li>
        </ol>
        <p>Given our expertise, we are concerned with approaches 1 and 2:
our first applications are based either on a mix of economic and
statistical methods, or on purely statistical ones. We will
also develop original probabilistic models.</p>
        <p>From a general point of view, the benefits of using actuarial models
in law is twofold:</p>
        <ul>
          <li>
            <p class="notaparagraph"><a name="uid31"> </a>mathematical models should allow for a more profound
understanding of law structures and rules. Indeed,
as explained in <a href="./bibliography.html#anja-2016-bid18">[47]</a>, law can be seen as an
information technology in the sense that it provides
information to the community about the content of legal norms and,
in its common law form, elicits information about the world from
the disputes before a court. In this two-way path, tension between
law's potential for certainty and its capacity for discovery reflects
in part the imperfect circulation of information. The joint use of adequate
mathematical models and big data tools should greatly enhance
this circulation, thus improving the efficiency of the system
as a whole;</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid32"> </a>in a more complex and more informed world, legal procedures
are likely to become more frequent. However, the state resources
devoted to law cannot increase without bounds. Making available tools that would
facilitate amicable settlement is then of strong interest. In particular,
models allowing one to estimate outputs of legal decisions, at
least in certain areas and in a rough way, would certainly
draw people to be more inclined to negotiate rather than go to
court, thus reducing the burden put on the legal system. This
tendency is already quite noticeable in particular in the USA,
where so-called <i>on-line dispute resolution systems</i> gain popularity.</p>
          </li>
        </ul>
        <p>We contribute to both these goals, paying in addition
extra caution to the performative aspects. Our first studies are detailed in
the next sections.</p>
        <a name="uid33"/>
        <h4 class="titre4">Law-Mathematics correspondences</h4>
        <p>In order to root our subsequent studies on firm bases, we intend to
start by evidencing some parallel notions in law and mathematics, and to
study if they are profound enough to yield useful tools. While
this will inevitably be sometimes rather qualitative, it will definitely
shed some light on how to model legal reasoning in a mathematical way.</p>
        <p>An example of such a qualitative link is the fact judges, as mathematicians,
when faced with a question, often have immediately a intuition of their answer.
In a second phase, lawyers try to find which legal texts or jurisprudence
allow them to justify this answer, while mathematicians invoke a series of
computations and known theorems to do the same. In both cases, if no path
is found to the initial answer (that is, no legal texts or no valid sequence
of computations), the practitioner tries to defend or prove the opposite
one. We have no idea yet how to formalize this parallelism, but this will be
a topic of study. More quantitative ones are the following:</p>
        <ol>
          <li>
            <p class="notaparagraph">
              <a name="uid34"> </a>
              <i>Weights and linear models</i>
            </p>
            <p><a name="uid34"> </a>Judges often say that they weigh different factors when they need to make a decision. The obvious
corresponding mathematical notion is the one of linear models, where variables are linearly combined
to produce an output. We will choose some simple domains, such as for instance child support, to check
whether the decided amount is indeed obtained by weighting the criteria that judges are supposed to take
into account.</p>
            <p><a name="uid34"> </a>This requires to analyse a large amount of case law and assessing the fit of various linear or generalised
linear models. State-of-the-art techniques in machine learning are used in this connection.</p>
          </li>
          <li>
            <p class="notaparagraph">
              <a name="uid35"> </a>
              <i>Causality</i>
            </p>
            <p><a name="uid35"> </a>Finally, an obvious and probably fruitful correspondence between both domains
rests on the notion of causality. Determining which events are causes of
others is clearly a crucial task in courts, since evidencing responsibilities
is at the core of making informed judgements.</p>
            <p><a name="uid35"> </a>On the other hand, statisticians have, until rather recently, avoided to
consider causal questions, concentrating on correlations. This is still
true today, where most researchers and practitioners would claim that
statistics can only evidence dependencies between random variables but
cannot assess causal links, except when controlled experiments may be
performed. It is hard to think of a situation in law where one could perform
such experiments.</p>
            <p><a name="uid35"> </a>However, a growing community has started to develop what now seems to be
a somewhat coherent theory, termed causality theory, that allows one to
efficiently decide if a variable <span class="math"><math xmlns="http://www.w3.org/1998/Math/MathML"><mi>X</mi></math></span> is indeed a cause of a variable <span class="math"><math xmlns="http://www.w3.org/1998/Math/MathML"><mi>Y</mi></math></span>
under some conditions <a href="./bibliography.html#anja-2016-bid16">[49]</a>. Apart from theoretical developments,
this theory has been applied in various domains, and most notably in economy
and biomedical studies. We are not aware of any applications in law.</p>
            <p><a name="uid35"> </a>We study this area in two ways:</p>
            <ul>
              <li>
                <p class="notaparagraph"><a name="uid36"> </a>the most direct one is to choose
a specific domain, analyse some decisions in it in light of the
legal and jurisprudential criteria that are supposed to base them, and
check whether they are indeed causes of the decision in the sense of causality
theory. More generally, we try to construct the whole Bayesian network
associated with a given field;</p>
              </li>
              <li>
                <p class="notaparagraph"><a name="uid37"> </a>a more ambitious goal is to question whether the way law sees and
organizes causality is anything like what is performed in statistical causality
theory. This task requires an abstract model of legal causality that must be
constructed from scratch. This is a long term aim.</p>
              </li>
            </ul>
          </li>
        </ol>
        <a name="uid38"/>
        <h4 class="titre4">Scales and performativity</h4>
        <p>We have just won a call
“Droit, justice et numérique” of the
“Mission de recherche Droit et Justice”, a “groupement d'intérêt public” created by the French ministry of justice and CNRS. Our proposal is a
joint project with L. Godefroy (Faculté de droit et science politique,
Nice University), who has expertise in the relations between the digital
world and law, and F. Lebaron (Versailles St Quentin University). F. Lebaron
is a sociologist and a specialist of performativity. We aim at
studying the performative effects of scales from a general point of view
by using our respective knowledges in law, sociology and statistics. More precisely,
we will first choose some domains where scales have been introduced, like
for instance child support or competition law. Statistical studies based on
sociological insights will then be performed to measure how much these
scales have performed as compared to the previous, scale-free, situation.
This step will require to construct models in order to enhance
the estimation step and thus the interpretation of the results. Based on
the analysis of the current performative effects and our models, we will,
if needed, propose modifications allowing one to reduce unwanted effects.</p>
        <p>As a last step, we hope that a global pattern of how scales perform will
emerge, maybe from a comparative analysis of the models in different areas.
This could open the way to the construction a general theory.</p>
        <a name="uid39"/>
        <h4 class="titre4">Quantifying legal risk</h4>
        <p>Our most successful application to date is in the quantification
of legal risk: once one is prepared to accept that a legal decision is a
random variable, one realizes that legal risk, which is a special component
of the global risk companies or even citizens face, may be treated as are
other risks. In particular, financial risks have been the topic of extensive
studies in recent years, partly in response to the several crises we have
witnessed. One lesson from this area is that, although one cannot of
course predict the future state of a market, one is able to estimate its
probability distribution. This allows one for instance to compute
Values at Risk and thus to control one's risk.</p>
        <p>We have designed an approach that can quantify legal risk in the same way
as financial risk: given a specific domain, e.g. spousal support or
dismissal without fair cause, we carefully design a set of legal criteria
and analyse a large amount of cases in light of these criteria. We then
use refined machine learning techniques to produce a probability distribution
that reflects the decisions that would be taken by the judges in our
database. This probability distribution takes into account both
inter- and intra-judges variability. The mathematical result is that,
when the size of the database tends to infinity, the estimated
probability distribution tends, under some assumptions, to the actual
one.</p>
        <p>We have applied this theory to two fields so far : spousal support and
dismissal without fair cause. Our future plans include in particular
areas in labour law.</p>
        <p>In view of to the strong interest this tool has raised among professionals
(lawyers, insurance companies, but also the french ministry of justice),
we are thinking of
creating a start-up company that would commercialize it. As a consequence,
we are not able to detail the mathematics involved in this study.</p>
        <a name="uid40"/>
        <h4 class="titre4">Intellectual property</h4>
        <p>This project is conducted in the frame of an ISN-funded
collaboration between Inria and CERDI (University Paris Sud).
Its aim is to help judges make informed decisions concerning the amount of fines in
cases of violation of intellectual property. Indeed, in this domain,
the fundamental rule that the amount is fixed so as to make good the damage
suffered is not adequate: a person who commits a fault with a view to gain
can be condemned, in addition to compensatory damages, to pay punitive damages.
This rule has been introduced in 2007 under the impulsion of European law.
In practice, it seems that it has not been implemented with great success.
Our contribution studies a Bayesian network model for understanding
how judges compute such amounts. We construct two such networks, one
based on law and jurisprudence from Canada and one from France.
This project has started in the fall of 2015.</p>
      </div>
      <!--FIN du corps du module-->
      <br/>
      <div class="bottomNavigation">
        <div class="tail_aucentre">
          <a href="./uid14.html" accesskey="P"><img style="align:bottom; border:none" alt="previous" src="../static/img/icons/previous_motif.jpg"/> Previous | </a>
          <a href="./uid0.html" accesskey="U"><img style="align:bottom; border:none" alt="up" src="../static/img/icons/up_motif.jpg"/>  Home</a>
          <a href="./uid41.html" accesskey="N"> | Next <img style="align:bottom; border:none" alt="next" src="../static/img/icons/next_motif.jpg"/></a>
        </div>
        <br/>
      </div>
    </div>
  </body>
</html>
