summaryrefslogtreecommitdiff
path: root/eq/intro.tex
blob: 33bb9e0c3ab15718149eb985cc0027684a38d0ba (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
\begin{frame}
    \frametitle{Notion d'équité algorithmique}
    \begin{definition}[Partié démographique]
        $f:E\rightarrow \{0,1\}$ satisfait la partié démographique pour $S:\Omega\rightarrow \{0,1\}$ si et seulement si
        \begin{equation*}
            P(f\circ X=0|S=0) = 
            P(f\circ X=0|S=1) 
        \end{equation*}
    \end{definition}

    \pause
    \begin{definition}[Partié démographique généralisé]
        $f:E\rightarrow F$ satisfait la partié démographique généralisé pour $S:\Omega\rightarrow G$ si et seulement si
        \begin{equation*}
            P_{(f\circ X,S)}=P_{f\circ X}\otimes P_S
        \end{equation*}
    \end{definition}
\end{frame}

\begin{frame}
    \frametitle{Lien entre equité et protection contre l'AIA}
    \begin{theorem}
        $f:E\rightarrow F$ satisfait la parité démographique généralisé pour $S:\Omega\rightarrow G$ si et seulement si
        \begin{equation*}
            \text{max}_aBA(a)=\frac{1}{\#G}
        \end{equation*}
        où
        \begin{equation*}
            BA(a) = 
            \sum_{g\in G}
            P(a\circ f\circ X=g\mid S=g)
        \end{equation*}
    \end{theorem}

    \vspace{10px}
    \pause
    \emph{On sait calculer $\text{max}_aBA(a)$ grace à la classification finie quand $\#G<\infty$ et $\#F<\infty$}
\end{frame}