\documentclass[pdf]{beamer}
\usepackage[square,sort,numbers]{natbib}% Pour pouvoir utiliser une bibliographie externe
\usepackage[french]{babel}	% Pour préciser la langue du document
\usepackage[utf8]{inputenc}	% Précise comment le texte est saisi : cela permet de tapper directement les accents
\usepackage[T1]{fontenc}	% Précise la façon dont le document actuel est encodé
\usepackage{setspace}
\usepackage{datetime}

\mode<presentation>
%% preamble
\title{Les systèmes à base de schémas}
\subtitle{Présentation dans le cadre du cours GLO-7001}
\author{François Pelletier}
\date{\today}

\bibliographystyle{plainnat} % Pour changer le style de bibliographie
\addto{\captionsfrench}{\renewcommand{\refname}{Bibliographie}} % Comme le langage défini est le français, "Références" aurait été le titre par défaut pour la bibliographie

\usepackage{amsmath,amsthm,amssymb,amsfonts}	% Pour pouvoir inclure certains symboles et environnements mathématiques
\usepackage{enumerate} % Pour mieux gérer la commande enumerate dans les sections
\usepackage{graphicx}	% Pour inclure des images
\usepackage{color}	% Pour inclure du texte en couleur
\usepackage{units}	% Pour pouvoir tapper les unités correctement
\usepackage{pgf,tikz}	% Utilisation du module tikz, qui permet de tracer des belles images
\usepackage{hyperref}
\usepackage{listings}
\usetikzlibrary{shapes.geometric, arrows} % Quand on exporte une image GeoGebra, on a besoin de préciser cela

\usecolortheme{dolphin}
\useoutertheme{infolines}

\setbeamertemplate{headline}[default]

% logo of my university
\titlegraphic{\includegraphics[width=2cm]{logo}

}

\begin{document}

\begin{frame}
\titlepage
\end{frame}

\begin{frame}
  \tableofcontents
\end{frame}

\section{Les schémas de Marvin Minsky}
\label{sec:schemasminsky}

\begin{frame}
  \frametitle{Marvin Minsky}
  \begin{itemize}
  \item Pionnier de l'informatique
  \item Fondateur du AI Lab du MIT
  \item Concepteur des schémas de données
  \item Society of Mind
  \end{itemize}
  \begin{figure}
    \centering
    \includegraphics[height=1.75in]{s04-slides/26minsky-obit-web-facebookJumbo}
    \caption{Marvin Minsky en 1968}
    \label{fig:minsky}
  \end{figure}
\end{frame}

\begin{frame}
  \frametitle{Les schémas de Marvin Minsky}
  \begin{itemize}
  \item Article classique: A framework for representing knowledge\cite{minsky1975framework}
  \item Théorie suffisamment générale, parfois critiquée pour être floue
  \item Se rapporte beaucoup à la psychologie
  \item Situation stéréotypée: nom, propositions générales toujours vraies, attributs (terminaux)
  \item Hiérarchie de schémas, héritage et sous-schémas
  \item Valeurs par défaut
  \end{itemize}
\end{frame}

\begin{frame}
  \frametitle{Système de schémas}
  \begin{itemize}
  \item Formé de plusieurs schémas et de règles de transformation
  \item Imagerie, visualisation mentale (Minsky travaillait en vision artificielle à l'époque)
  \item Narration, processus
  \item Les terminaux sont partagés entre les schémas
  \end{itemize}
\end{frame}

\begin{frame}
  \frametitle{Appariement de schémas et raisonnement}
  \begin{itemize}
  \item Trouver le bon schéma pour décrire la situation:
    \begin{itemize}
    \item Notion de coût: perdre un terminal assigné vs être incapable d'assigner un autre terminal
    \item Trouver un schéma qui a les propriétés requises
    \item Trouver un schéma qui ressemble à quelques différences près
    \item Reviens à définir les fonctionnalités nécessaires pour résoudre le problème
    \end{itemize}
  \item Information interne et objectifs du système
  \item Compléter les informations nécessaires pour la résolution du problème (WHEN NEEDED)
  \item Chaque transformation ou ajout peut générer des actions (WHEN CHANGED)
  \end{itemize}
\end{frame}

\section{Quelques usages des schémas selon Minsky}
\label{sec:usages}

\begin{frame}
  \frametitle{Vision}
  \begin{itemize}
  \item Le schéma représente un point de vue
  \end{itemize}
  \begin{figure}
    \centering
    \includegraphics[height=2in]{images/semaine04/minsky-frames/Image4}
    \caption{Trois points de vue du même objet}
    \label{fig:pointdevue}
  \end{figure}
\end{frame}

\begin{frame}
  \frametitle{Langage}
  \begin{itemize}
  \item Traitement du vocabulaire et de la syntaxe sont indépendants.
  \item Une phrase sans signification vs un ensemble de mots avec une signification.
  \item Difficile à modéliser en logique de premier ordre.
  \item Centre du discours est le thème et non les verbes.
  \item Une paire de schémas peut généraliser une situation avant-après sans le contexte
  \end{itemize}
\end{frame}

\begin{frame}[fragile]
  \begin{lstlisting}[frame=single]
    (echange
    (initial
    (possede A X)
    (possede B Y))
    (final
    (possede A Y)
    (possede B X)))
  \end{lstlisting}
  \begin{itemize}
  \item Besoin de beaucoup de règles en logique des prédicats.
  \item Il manque le contexte de l'échange.
  \item Charniak (Étudiant de Minsky): Le système devrait regarder pour certaines situations et injecter des raisons, motifs ou explications.
  \end{itemize}
\end{frame}

\section{Règles ou schémas?}
\label{sec:reglesschemas}

\begin{frame}
  \begin{itemize}
  \item Exemple tiré du résumé de Edwards (1987)\cite{edwards1987expert}
  \item Question: Expert systems: frames, rules or logic for species identification?
  \item \begin{quote}
      A rule-based system requires the original knowledge (species descriptions) to be structured into rules, whereas a frame-based system can store the generic and specific descriptions in a series of frames. The frames fall into a hierarchy which closely resembles the taxonomic hierarchy, and down which information can be inherited. Two aspects of frame-based systems considered are the use of probabilities in identification, and the optimum structure of the knowledge base.
    \end{quote}
  \end{itemize}
\end{frame}



\begin{frame}
  \frametitle{Quelques systèmes commerciaux\section{Quelques systèmes commerciaux}
\label{sec:systemescommerciaux}
}
  \begin{itemize}
  \item \href{http://www.exsys.com/}{EXSYS EL}, 
  \item KAPPA-PC, 
  \item KBMS, 
  \item ProKappa, 
  \item ReMind
  \end{itemize}
\end{frame}

\begin{frame}
  \begin{figure}
    \centering
    \includegraphics[height=2in]{s04-slides/Capture-20170925231019-687x904}
    \caption{Publicité pour KBMS}
    \label{fig:pubkbms}
  \end{figure}
\end{frame}

\section{JavaDON}
\label{sec:javadon}
\begin{frame}
  \frametitle{JavaDON: une base de système expert}
  \begin{itemize}
  \item Développé par GOOD OLD AI research group Tomi{\'c}(2006) \cite{tomic2006javadon}
  \item Interface graphique et web
  \item Base de connaissances en paradigme orienté objet
  \item Supporte les systèmes à base de schémas, triplets et règles
  \item Utilise les formats XML et OWL pour stocker les modèles
  \item Malheureusement devenu introuvable sur le web
  \end{itemize}
\end{frame}

\begin{frame}
  \begin{figure}
    \centering
    \includegraphics[width=4.5in]{s04-slides/Capture-20170926082431-1066x666}
    \caption{Schéma de données de JavaDON; source: \cite{tomic2006javadon}.}
    \label{fig:javadon1}
  \end{figure}
\end{frame}

\begin{frame}[allowframebreaks]
  \bibliography{bibliopresentation1}
\end{frame}

\begin{frame}
  \include{copyright}
\end{frame}

\end{document}
