%pour generer la version DIAPORAMA
\documentclass{beamer}
%pour généner la version A IMPRIMER
%\documentclass[handout]{beamer} % attention a uncover, only...


% Packages pour les français
%
\usepackage[T1]{fontenc} 
\usepackage[latin1]{inputenc}
\usepackage[frenchb]{babel}
% pour un pdf lisible à l'écran si on ne dispose pas 
% des fontes cmsuper ou lmodern
%\usepackage{lmodern}
%\usepackage{aeguill}
\usepackage{ulem,color}
\usepackage[all]{xy}


% Pour afficher le pdf en plein ecran
% (commenté pour imprimer les transparents et pour les tests)
\hypersetup{pdfpagemode=FullScreen}

% ------------- Choix des couleurs ---------------
%\xdefinecolor{fondtitre}{rgb}{0.20,0.43,0.09}  % vert fonce
% la même d'une autre manière
\definecolor{fondtitre}{HTML}{336E17}

\definecolor{coultitre}{RGB}{54,68,107} % bleu foncé

\definecolor{fondtexte}{RGB}{254,254,254}     % blanc

% Redéfinit la couleur de fond pour imprimer sur transparents
%\xdefinecolor{fondtexte}{rgb}{1,1,1}     % blanc

% commande differente pour les couleurs nommées - de base
%\colorlet{coultexte}{black} 


\setbeamercolor{bas}{fg=coultitre, bg=fondtexte}%fondtitre!40}
\setbeamercolor{haut}{fg=fondtexte, bg=coultitre}%fg=fondtitre!40, bg=coultitre}


\usetheme{Malmoe}%Frankfurt
\usecolortheme{beetle}%beaver pour imprimer, c'est mieux!

\newcommand{\m}{\mathbb}
\newcommand{\ms}[1]{\emph{\mathrm{#1}}} % math (roman)souligné
\newcommand{\mis}[1]{\emph{\mathnormal{#1}}} % math (roman) italique souligné
%\newcommand{\VL}{\textit{VL}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%% Les "animations" %%%%%%%%%%

% Pour gérer les overlays, voir les commandes \pause, \only<1> 
% aide ici : https://fr.sharelatex.com/blog/2013/08/20/beamer-series-pt4.html
% ou là : https://openclassrooms.com/courses/creez-vos-diaporamas-en-latex-avec-beamer/les-overlays-1
% ou là : http://mcclinews.free.fr/latex/introbeamer/mode_affichage.html
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% Manuel assez complet pour Beamer : http://users.math.msu.edu/users/weil/FramesBeamerUS10.pdf

% ----------- Contenu de la page de titre --------
\title[Pôle Sc. Cog. -- Intelligence Artificielle -- Cours 2]{Pôle Sciences Cognitives -- Intelligence Artificielle\\Cours 2}
%\subtitle{\vspace*{.2cm}et raisonnement}
\author{\textrm{Isis TRUCK}}
\institute{Universit\'e Paris 8 -- Centre Michel Serres}
\date{\oldstylenums{2015} -- \oldstylenums{2016}}

% ------------------------------------------------
% -------------   Début document   ---------------
% ------------------------------------------------

\begin{document}
%--------- Écriture de la page de titre ----------
% avec la commande frame simplifiée
\frame{\titlepage}
%

%------------------ Biblio -----------------
\begin{frame}{Cours 2}
\begin{itemize}
	\item Les modèles de préférences conditionnelles exprimés sous forme de réseaux
	\item Lecture de deux articles
	\item Quelques mots sur les CP-nets, les UCP-nets et les TCP-nets
\end{itemize}
\end{frame}

%------------------ Sommaire ---------------
\begin{frame}{Plan}
  \begin{columns}[t]
  \begin{column}{5cm}
  \tableofcontents[sections={1-2},hideallsubsections]
  \end{column}
  \begin{column}{5cm}
  \tableofcontents[sections={3-5},hideallsubsections]
  \end{column}
  \end{columns}
\end{frame} 
%

%%%%%%%%%%%%%%%%%%%%
\section[Introduction]{Introduction}
% Sommaire local. En deux colonnes
\begin{frame}{Plan}
  \begin{columns}[t]
  \begin{column}{5cm}
  \tableofcontents[sections={1-2},currentsection, subsectionstyle=hide/hide/hide]
  \end{column}
  \begin{column}{5cm}
  \tableofcontents[sections={3-5},currentsection,hideothersubsections]
  \end{column}
  \end{columns}
\end{frame}

%%%%%%%%%%%%%%%%%%%%
%\subsection{Connaissances?}
\begin{frame}
\frametitle{Réseaux de préférences ?}
\begin{itemize}
  \item on exprime des préférences éventuellement conditionnées à des valeurs
  \item ces préférences ne sont pas forcément celles d'humains, mais peuvent être celles d'automates (au sens large)
  \item on utilise le formalisme des réseaux
  \item on utilise un formalisme simple, intuitif et graphique
\end{itemize}
\end{frame}


%%%%%%%%%%%%%%%%%%%%
\begin{frame}
\frametitle{Lecture de deux articles fondateurs}
\begin{itemize}
  \item Carmel Domshlak and Ronen I. Brafman, \textit{\textcolor{fondtexte}{CP-nets - Reasoning and Consistency Testing}}, Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning, 2002, pp. 121--132, Morgan Kaufmann publisher.
  \item Craig Boutilier, Fahiem Bacchus and Ronen I. Brafman, \textit{\textcolor{fondtexte}{UCP-networks: A directed graphical representation of conditional utilities}}, Proceedings of UAI'01, 2001.
\end{itemize}

\end{frame}

%%%%%%%%%%%%%%%%%%%%
\section[CP-nets]{CP-nets}
%\subsection{Frameworks}
% Sommaire local. En deux colonnes
\begin{frame}{Plan}
  \begin{columns}[t]
  \begin{column}{5cm}
  \tableofcontents[sections={1-2},currentsection,subsectionstyle=show/shaded/hide]
  \end{column}
  \begin{column}{5cm}
  \tableofcontents[sections={3-5},currentsection,subsectionstyle=show/shaded/hide]
  \end{column}
  \end{columns}
\end{frame}

%%%%%%%%%%%%%%%%%%%%
\begin{frame}
\frametitle{CP-nets}
Un CP-net (``Conditional Preference Network'') est une représentation graphique et qualitative de préférences utilisateur. Elle comprend :
\begin{itemize}
  \item des noeuds qui représentent les variables du problème ;
  \item des arcs (ou \textsf{cp}-arcs) qui dénotent les préférences entre les variables en fonction des valeurs prises par ces dernières ;
  \item et des tables de préférences conditionnelles (``Conditional Preference Tables'', ou CPT) directement rattachées aux noeuds et qui expriment les préférences sur les valeurs prises par les variables. Elles définissent ainsi par extension la relation binaire $\succ$ qui existe entre ces valeurs.
\end{itemize}
\end{frame}

%%%%%%%%%%%%%%%%%%%%
\begin{frame}
\frametitle{CP-nets}
\begin{beamerboxesrounded}[lower=bas, upper=haut, shadow=true]{Définition}
Un CP-net défini sur un ensemble de variables $V = X_1,\ldots,X_n$ est un graphe orienté défini sur $X_1,\ldots,X_n$ dont les noeuds sont annotés par des tables de préférences conditionnelles $CPT(X_i)$ pour chaque $X_i \in V$.

Chaque $CPT(X_i)$ associe un ordre total
  $\succ^i_u$ à chaque affectation $u$ des parents de $X_i$ telle que $Pa(X_i) = U$.
 \end{beamerboxesrounded}
 
\end{frame}

%%%%%%%%%%%%%%%%%%%%
\begin{frame}
\frametitle{CP-nets}
\begin{itemize}
  \item ils permettent la modélisation de déclarations telles que ``\textcolor{fondtexte}{Je préfère la valeur $V_1$ à $V_2$ pour la propriété $X$, si une autre propriété $Y$ vaut $V_Y$ et $Z$ vaut $V_Z$}''
  \item les préférences peuvent être définies conditionnellement aux valeurs prises par leurs noeuds parents dans le graphe, mais indifféremment aux valeurs des autres noeuds
  \item existence d'une notion de préférence relative entre les préférences elles-mêmes : une CPT associée à un noeud ``parent'' aura une priorité plus élevée que les CPT de ses descendants
  \item cette notion de préférence relative \textit{implicite} peut alors être prise en compte lors de la comparaison globale des affectations complètes d'un CP-net donné
\end{itemize}
\end{frame}

%%%%%%%%%%%%%%%%%%%%
\section[UCP-nets]{UCP-nets}
%\subsection{Frameworks}
% Sommaire local. En deux colonnes
\begin{frame}{Plan}
  \begin{columns}[t]
  \begin{column}{5cm}
  \tableofcontents[sections={1-2},currentsection,subsectionstyle=show/shaded/hide]
  \end{column}
  \begin{column}{5cm}
  \tableofcontents[sections={3-5},currentsection,subsectionstyle=show/shaded/hide]
  \end{column}
  \end{columns}
\end{frame}

%%%%%%%%%%%%%%%%%%%%
\begin{frame}
\frametitle{UCP-nets}
\begin{itemize}
  \item les ``Utility CP-nets'' diffèrent des CP-nets dans la mesure où ils remplacent la relation binaire définie entre les valeurs des noeuds, par des facteurs d'utilité sous forme numérique
  \item les valeurs des noeuds conservent leur forme qualitative : seules les préférences, concrétisées ici par les facteurs d'utilité, sont quantifiées
  \item un CP-net ne permet pas la comparaison ou l'ordonnancement de toutes ses alternatives. Cette limitation est, elle aussi, résolue par la quantification des préférences
  \item un facteur d'utilité est un nombre réel, associé à une affectation d'un noeud $X$ du réseau, pour une affectation spécifique de ses parents. 
\end{itemize}
\end{frame}



%%%%%%%%%%%%%%%%%%%%
\begin{frame}
\frametitle{UCP-nets}
\begin{itemize}
  \item ces facteurs d'utilité correspondent en fait aux degrés de préférence attribués pour les différentes affectations. 
  \item la préférence précédemment exprimée à l'aide de la relation $\succ$ est remplacée par des facteurs d'utilité qui respectent les préférences locales à chaque table, tout en rendant explicite la notion de préférence relative entre les noeuds par le choix d'un ordre de grandeur différent pour les valeurs de chaque table, en fonction de la position de son noeud respectif dans le réseau de préférences
  \item cet \textbf{ordre de grandeur sur les valeurs} doit \textbf{respecter certains critères} pour que des contradictions n'apparaissent pas entre ce formalisme et le CP-net
\end{itemize}
\end{frame}

%%%%%%%%%%%%%%%%%%%%
\section[TCP-nets]{TCP-nets}
%\subsection{Frameworks}
% Sommaire local. En deux colonnes
\begin{frame}{Plan}
  \begin{columns}[t]
  \begin{column}{5cm}
  \tableofcontents[sections={1-2},currentsection,subsectionstyle=show/shaded/hide]
  \end{column}
  \begin{column}{5cm}
  \tableofcontents[sections={3-5},currentsection,subsectionstyle=show/shaded/hide]
  \end{column}
  \end{columns}
\end{frame}

%%%%%%%%%%%%%%%%%%%%
\begin{frame}
\frametitle{TCP-nets}
\begin{itemize}
  \item ``Tradeoffs-enhanced CP-nets'' : extension des CP-nets
  \item permettent d'exprimer des préférences de la forme ``\textcolor{fondtexte}{Une meilleure affectation de $X$ est plus importante qu'une meilleure affectation de $Y$}'' $\longrightarrow$ déclarations d'importance relative
  \item les TCP-nets acceptent également des déclarations d'importance relative conditionnelles
  \item il devient donc possible d'exprimer des préférences de la forme ``\textcolor{fondtexte}{Une meilleure affectation de $X$ est plus importante qu'une meilleure affectation de $Y$ , si $Z = z$}''
  \end{itemize}
\end{frame}

  %%%%%%%%%%%%%%%%%%%%
\begin{frame}
\frametitle{TCP-nets}
\begin{itemize}
  \item introduction d'une nouvelle forme de tables de préférences, les ``Conditional Importance Tables'',
  \item ... ainsi que deux nouveaux types d'arcs entre les noeuds d'un réseau de préférences : les i-arcs et ci-arcs
  \item ces 2 types d'arcs permettent, respectivement, la modélisation des déclarations d'importance relative basiques et conditionnelles
\end{itemize}
\end{frame}

%%%%%%%%%%%%%%%%%%%%
\section[Conclusion]{Conclusion}
\begin{frame}{Plan}
  \begin{columns}[t]
  \begin{column}{5cm}
  \tableofcontents[sections={1-2},currentsection,subsectionstyle=hide/hide/hide]
  \end{column}
  \begin{column}{5cm}
  \tableofcontents[sections={3-5},currentsection,subsectionstyle=hide/hide/hide]
  \end{column}
  \end{columns}
\end{frame}

%%%%%%%%%%%%%%%%%%%%
\begin{frame}
\frametitle{Conclusion}
Ces modèles sont riches, mais ont des limites : 
\begin{itemize}
  \item les CP-nets, UCP-nets ou TCP-nets ne savent traiter que le cas discret des domaines finis de variables,
  \item donner un nombre particulièrement précis pour exprimer une préférence n'est pas toujours possible
  \item $\Longrightarrow$ quid d'une approche linguistique qui permettrait la prise en compte des domaines de valeurs continus d'une manière élégante?
  \item $\Longrightarrow$ \textit{on étudiera un nouveau modèle à base de logique floue à la prochaine séance}
\end{itemize} 
\end{frame}


\end{document}
