diff --git a/bibliopresentation1.bib b/bibliopresentation1.bib new file mode 100644 index 0000000..ce47983 --- /dev/null +++ b/bibliopresentation1.bib @@ -0,0 +1,10 @@ +@article{tomic2006javadon, + title={JavaDON: an open-source expert system shell}, + author={Tomi{\'c}, Bojan and Jovanovi{\'c}, Jelena and Deved{\v{z}}i{\'c}, Vladan}, + journal={Expert Systems with Applications}, + volume={31}, + number={3}, + pages={595--606}, + year={2006}, + publisher={Elsevier} +} diff --git a/cc-by-sa.png b/cc-by-sa.png new file mode 100644 index 0000000..713cbbc Binary files /dev/null and b/cc-by-sa.png differ diff --git a/copyright.tex b/copyright.tex new file mode 100644 index 0000000..07bd4a8 --- /dev/null +++ b/copyright.tex @@ -0,0 +1,17 @@ +\begin{tabular}{|p{.9\textwidth}|} + \hline +\begin{center} + Certains droits réservés\\ + Auteur: François Pelletier\\ + Cette oeuvre est partagée selon les termes de la licence\\ + \href{https://creativecommons.org/licenses/by-sa/4.0/deed.fr}{Attribution - Partage dans les Mêmes Conditions 4.0 International} + + \includegraphics[width=40px,height=14px]{cc-by-sa.png} + \end{center}\\ + \hline + \end{tabular} + +%%% Local Variables: +%%% mode: latex +%%% TeX-master: "presentation1" +%%% End: diff --git a/images/semaine04/minsky-frames/Image4.jpg b/images/semaine04/minsky-frames/Image4.jpg new file mode 100644 index 0000000..ad51ae4 Binary files /dev/null and b/images/semaine04/minsky-frames/Image4.jpg differ diff --git a/logo.png b/logo.png new file mode 100644 index 0000000..df2c3d8 Binary files /dev/null and b/logo.png differ diff --git a/presentation1.tex b/presentation1.tex new file mode 100644 index 0000000..03da4e3 --- /dev/null +++ b/presentation1.tex @@ -0,0 +1,199 @@ +\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 +%% 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 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, slots) + \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{Usages 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 et 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 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} + +\begin{frame} + \frametitle{Quelques systèmes commerciaux} + \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 \cite{tomic2006javadon} + \item Interface graphique et web + \item Base de connaissances en 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} diff --git a/s04-slides/26minsky-obit-web-facebookJumbo.jpg b/s04-slides/26minsky-obit-web-facebookJumbo.jpg new file mode 100644 index 0000000..8809450 Binary files /dev/null and b/s04-slides/26minsky-obit-web-facebookJumbo.jpg differ diff --git a/s04-slides/Capture-20170925231019-687x904.png b/s04-slides/Capture-20170925231019-687x904.png new file mode 100644 index 0000000..58ff3ce Binary files /dev/null and b/s04-slides/Capture-20170925231019-687x904.png differ diff --git a/s04-slides/Capture-20170926082431-1066x666.png b/s04-slides/Capture-20170926082431-1066x666.png new file mode 100644 index 0000000..97ff697 Binary files /dev/null and b/s04-slides/Capture-20170926082431-1066x666.png differ diff --git a/semaine04.md b/semaine04.md index 28c186f..33e52bd 100644 --- a/semaine04.md +++ b/semaine04.md @@ -156,7 +156,7 @@ Un coût à perdre un terminal assigné et un autre coût pour être incapable d - Autant de terminaux en commun que possible avec $\lbrace{a,b,\ldots,z}\rbrace$. - Trouver ou construire un schéma qui a les propriétés $\lbrace{a,b,\ldots,z}\rbrace$. -- Trouver un schémaqui ressemble à celui précédent sauf pour certaines différences $\lbrace{a,b,\ldots,z}\rbrace$ entre eux. +- Trouver un schéma qui ressemble à celui précédent sauf pour certaines différences $\lbrace{a,b,\ldots,z}\rbrace$ entre eux. - Requis fonctionnel, l'auteur réfère à [A model for functional reasoning in design, Freeman and Newell, 1971](http://repository.cmu.edu/cgi/viewcontent.cgi?article=2832&context=compsci) #### Excuse