presentation.tex (11037B)
1 \documentclass{beamer} 2 \usepackage[utf8]{inputenc} 3 \usepackage[frenchb]{babel} 4 \usepackage{tikz} 5 \makeatletter\def\@makecaption{}\makeatother 6 \usepackage[scriptsize]{caption} 7 \renewcommand*{\figurename}{} 8 \usetikzlibrary{shapes,positioning,snakes,calc,chains} 9 \usetheme{Frankfurt} 10 \usepackage{graphicx} 11 12 \title{FMIN327 Cognition individuelle et collective\\ Protocoles artificiels entre agents naturels} 13 \author{DUPÉRON Georges \and\\ BONAVERO Yoann} 14 \institute{Université Montpellier II,\\Département informatique \\ Master 2 IFPRU \\ Sous la direction de Monsieur Jacques Ferber} 15 \date{Jeudi, 3 novembre 2011} 16 17 \defbeamertemplate*{footline}{shadow theme} 18 {% 19 \leavevmode% 20 \hbox{\begin{beamercolorbox}[wd=.5\paperwidth,ht=2.5ex,dp=1.125ex,leftskip=.3cm plus1fil,rightskip=.3cm]{author in head/foot}% 21 \usebeamerfont{author in head/foot}\insertframenumber\,/\,\inserttotalframenumber%\hfill\url{http://www.pticlic.fr/} 22 \end{beamercolorbox}% 23 \begin{beamercolorbox}[wd=.5\paperwidth,ht=2.5ex,dp=1.125ex,leftskip=.3cm,rightskip=.3cm plus1fil]{title in head/foot}% 24 \usebeamerfont{title in head/foot}\insertshorttitle% 25 \end{beamercolorbox}}% 26 \vskip0pt% 27 } 28 29 \AtBeginSection[] { 30 \begin{frame} 31 \frametitle{Plan} 32 \tableofcontents[currentsection] 33 \end{frame} 34 \addtocounter{framenumber}{-1} 35 } 36 37 \begin{document} 38 \renewcommand*{\figurename}{} 39 40 \begin{frame} 41 \titlepage 42 \end{frame} 43 44 \section{Introduction} 45 46 \begin{frame} 47 \frametitle{Introduction} 48 \begin{block}{} 49 Pour se comprendre, il faut des concepts et un mécanisme d'échange communs. 50 \end{block} 51 \begin{figure} 52 \centering 53 \begin{tikzpicture}[scale=0.8,every node/.style={transform shape}] 54 \begin{scope} 55 \node[draw,rectangle,minimum width=3cm,minimum height=2cm,anchor=south west] (ra) at (0,0) {}; 56 \path[fill=black!50!white](0.7cm,0.7cm) circle (0.3cm); 57 \path[fill=green!80!black] (1.5cm,1.3cm) circle (0.3cm); 58 \path[fill=orange] (2.3cm,0.7cm) circle (0.3cm); 59 \node[draw,fill=green!30!red,rectangle,minimum width=0.3cm,minimum height=0.3cm] (la1) at (ra.15) {}; 60 \node[draw,fill=green!50!blue,rectangle,minimum width=0.3cm,minimum height=0.3cm] (la2) at (ra.-15) {}; 61 \end{scope} 62 \begin{scope}[xshift=6cm] 63 \node[draw,rectangle,minimum width=3cm,minimum height=2cm,anchor=south west] (rb) at (0,0) {}; 64 \path[fill=red] (1cm,1cm) circle (0.3cm); 65 \path[fill=blue] (2cm,1cm) circle (0.3cm); 66 \node[draw,fill=white!20!blue!70!red,rectangle,minimum width=0.3cm,minimum height=0.3cm] (lb1) at (rb.165) {}; 67 \node[draw,fill=green!50!blue,rectangle,minimum width=0.3cm,minimum height=0.3cm] (lb2) at (rb.195) {}; 68 \end{scope} 69 \begin{scope}[xshift=3cm,yshift=3cm] 70 \node[draw,rectangle,minimum width=3cm,minimum height=2cm,anchor=south west] (rc) at (0,0) {}; 71 \path[fill=red] (0.7cm,0.7cm) circle (0.3cm); 72 \path[fill=green!80!black] (1.5cm,1.3cm) circle (0.3cm); 73 \path[fill=blue] (2.3cm,0.7cm) circle (0.3cm); 74 \node[draw,fill=white!20!blue!70!red,rectangle,minimum width=0.3cm,minimum height=0.3cm] (lc1) at (rc.270) {}; 75 \end{scope} 76 77 \only<2->{\draw[<->, thick] (lb1)--(lc1);} 78 \only<3->{\draw[<->, thick, dashed, red] (la2)--(lb2);} 79 \only<4->{\draw[<->, thick, dashed, red] (la1)--(lc1);} 80 \end{tikzpicture} 81 \caption{Communication entre trois agents} 82 \end{figure} 83 \end{frame} 84 85 \begin{frame} 86 \frametitle{Introduction} 87 \begin{block}{Définitions} 88 \begin{itemize} 89 \item Protocole artificiel\\ 90 Règles arbitraires qui codifient l'échange entre des agents.\\ 91 Nous étudierons seulement les protocoles artificiels formels. 92 \item Agent naturel\\ 93 Entité capable d'interagir non crée par l'homme. 94 \end{itemize} 95 \end{block} 96 \end{frame} 97 98 \begin{frame} 99 \frametitle{Plan} 100 \tableofcontents 101 \end{frame} 102 103 \section{Espéranto} 104 105 \begin{frame} 106 \frametitle{Espéranto} 107 \begin{block}{L'espéranto, qu'est-ce que c'est ?} 108 \begin{itemize} 109 \item Langue universelle. 110 \item Une langue dite \emph{construite}. 111 \item Une langue vivante. 112 \end{itemize} 113 \end{block} 114 \end{frame} 115 116 \begin{frame} 117 \frametitle{Espéranto} 118 \begin{itemize} 119 \item Une grammaire régulière. 120 \begin{itemize} 121 \item Fari : mi faras, vi faras, \dots 122 \item Esti : mi estas, vi estas, \dots 123 \end{itemize} 124 \item Une langue agglutinante. 125 \begin{itemize} 126 \item {\color{brown}\emph{vid}}i = voir 127 \item {\color{brown}\emph{vid}}o = vue 128 \item {\color{brown}\emph{vid}}ebla = visible 129 \item ne{\color{brown}\emph{vid}}ebla = invisible 130 \end{itemize} 131 \end{itemize} 132 \end{frame} 133 134 \section[Contrats]{Législation et contrats formels} 135 136 \begin{frame} 137 \frametitle{Législation et contrats formels}% GovMil.pdf 138 \begin{block}{Business Contract Language (BCL)} 139 \begin{itemize} 140 \item Formalisation des obligations, permissions, pénalités.% en cas de violation des obligations 141 \item Vérification de la consistance. 142 \item Plusieurs tentatives ont été faites. 143 \end{itemize} 144 \end{block} 145 \vskip 1em 146 \footnotesize 147 \texttt{Policy: MakeGoodsAvailable\\ 148 \quad Role: Supplier\\ 149 \quad Modality: Obligation\\ 150 \quad Trigger: PurchaseOrder\\ 151 \quad Behaviour: GoodsAvailable.date before (PurchaseOrder.date + 1)} 152 \end{frame} 153 154 \section[Alphabets]{Alphabets et notations} 155 156 \begin{frame} 157 \frametitle{Alphabets et Logogrammes} 158 \begin{block}{Alphabets, phonogrammes et syllabaires} 159 \begin{itemize} 160 \item Alphabet roman 161 \item Alphabet grec 162 \item \dots 163 \end{itemize} 164 \end{block} 165 \begin{block}{Idéogrammes et pictogrammes} 166 % TODO : images 167 \begin{itemize} 168 \item Idéogrammes chinois 169 \item Hiéroglyphes 170 \item \dots 171 \end{itemize} 172 \end{block} 173 \end{frame} 174 175 \begin{frame} 176 \frametitle{Le code morse} 177 \begin{itemize} 178 \item Invention attribué à Samuel Morse (1791 - 1872) 179 \item Créé en 1835 180 \item Seulement deux types d'impulsion sont nécessaires. 181 \end{itemize} 182 % Ajouter la photo de Samuel Morse. 183 184 \begin{figure} 185 \centering 186 \begin{tikzpicture} 187 \begin{scope}[ 188 start chain, 189 node distance=1mm, 190 every node/.style={on chain}, 191 dot/.style={fill=black,circle,minimum height=1mm,minimum width=1mm,inner sep=0pt}, 192 dash/.style={fill=black,rounded rectangle,minimum height=1mm,minimum width=4mm,inner sep=0pt}] 193 \node[dot] {}; \node[dash] {}; \node[dot] {}; \node[dash] {}; \node[dot] {}; \node[dot] {}; \node[dot] {}; \node[dash] {}; 194 \node[dash] {}; \node[dot] {}; \node[dot] {}; \node[dot] {}; \node[dot] {}; \node[dot] {}; \node[dot] {}; \node[dash] {}; 195 \node[dash] {}; \node[dot] {}; \node[dot] {}; \node[dot] {}; \node[dot] {}; \node[dash] {}; 196 \end{scope} 197 \end{tikzpicture} 198 \caption{Mot «Alphabet» écrit en morse.} 199 \end{figure} 200 \end{frame} 201 202 203 \begin{frame} 204 \frametitle{Le braille} 205 \begin{center} 206 % TODO 207 \includegraphics[width=4cm]{./include/cellule_braille.jpg} 208 \end{center} 209 \normalsize \begin{itemize} 210 \item Louis Braille (1809 - 1852) 211 \item Inventé en 1824 212 \item Alphabet en relief 213 \item 64 combinaisons pour tout faire 214 \end{itemize} 215 \end{frame} 216 217 \begin{frame} 218 \frametitle{Le braille} 219 \begin{block}{Exemple} 220 \begin{center} 221 \includegraphics[width=4cm]{./include/braille_alphabet.jpg} 222 \end{center} 223 Exemple du mot «alphabet» écrit en braille : 224 \end{block} 225 \end{frame} 226 227 228 \begin{frame} 229 \frametitle{La langue des signes} 230 \begin{itemize} 231 \item IBM : Traduction texte vers langue des signes. 232 \item Facilite la communication avec les malentendants. 233 \item Grammaire assez floue. 234 \item Pas exactement le même vocabulaire que le français. 235 \item Encodage de mots et concepts. 236 \end{itemize} 237 \end{frame} 238 239 \begin{frame} 240 \frametitle {Autres notations} 241 \begin{block}{Les vues} 242 \begin{itemize} 243 \item Projections axonométriques (ISO 5456-3) 244 \item Vue éclatée 245 \end{itemize} 246 \end{block} 247 \begin{block}{Notation mathématique} 248 \begin{center} 249 \includegraphics[height=1.5cm]{./include/formule.jpg} 250 \end{center} 251 \end{block} 252 % TODO : une vue éclatée 253 % TODO : une formule 254 \end{frame} 255 256 \section{Conclusion} 257 258 \begin{frame} 259 \frametitle{Conclusion} 260 \begin{figure} 261 \centering 262 \begin{tikzpicture}[scale=0.5,node distance=0.5cm,font=\footnotesize] 263 \node at (12,10) {}; 264 \draw[->] (0,0) -- (11cm,0); 265 \draw[->] (0,0) -- (0,11cm); 266 \node[anchor=north] at (10cm,0) {Expressivité}; 267 \node[anchor=south,xshift=0.5cm] at (0,11cm) {Formalisme}; 268 269 \only<2->{ 270 \node[fill=red, fill opacity=0.5,circle, minimum width=0.5cm,minimum height=0.5cm,inner sep=1mm,rotate=0] (mb) at (1cm,10cm) {}; 271 \node[right=of mb,text width=2cm] (mbtext) {Morse\\Braille}; 272 \draw[draw=red,draw opacity=0.5,thick] (mbtext.170) -- (mb); 273 } 274 275 \only<3->{ 276 \node[fill=orange, fill opacity=0.5,ellipse,minimum width=1cm,minimum height=0.5cm,inner sep=1mm,rotate=-90] (sph) at (1cm,9.4cm) {}; 277 \node[anchor=west,at=(sph.30),xshift=1.5cm,yshift=-0.8cm,text width=2cm] (s) {Syllabaires\\Phonogrammes}; 278 \draw[draw=orange,draw opacity=0.5,thick] (s.170) -- (sph); 279 } 280 281 \only<4->{ 282 \node[fill=yellow!80!black, fill opacity=0.5,ellipse,minimum width=3cm,minimum height=0.7cm,inner sep=1mm,rotate=-65] (ipi) at (2cm,8cm) {}; 283 \node[anchor=north,at=(ipi.south),yshift=-1.5cm,xshift=5mm,text width=2cm,text centered] (i) {Idéogrammes\\Pictogramme\\LSF}; 284 \draw[draw=yellow!80!black,draw opacity=0.5,thick] (i) -- (ipi.-15); 285 } 286 287 \only<5->{ 288 \node[fill=green,fill opacity=0.5,ellipse,minimum width=2.8cm,minimum height=0.8cm,inner sep=1mm,rotate=-45] at (8.5cm,2.5cm) {Espéranto}; 289 \node[fill=blue, fill opacity=0.5,ellipse,minimum width=2.3cm,minimum height=0.7cm,inner sep=1mm,rotate=-20] at (8.5cm,1.5cm) {Français}; 290 } 291 292 \only<6->{ 293 \node[fill=brown, fill opacity=0.5,circle, minimum width=0.5cm,minimum height=0.5cm,inner sep=1mm,rotate=0] (no) at (6cm,10cm) {}; 294 \node[right=of no,text width=2cm] (notext) {Notations}; 295 \draw[draw=brown,draw opacity=0.5,thick] (notext) -- (no); 296 297 \node[fill=brown, fill opacity=0.5,circle, minimum width=0.5cm,minimum height=0.5cm,inner sep=1mm,rotate=0] (bcl) at (6cm,9cm) {}; 298 \node[right=of bcl,text width=2cm] (bcltext) {BCL}; 299 \draw[draw=brown,draw opacity=0.5,thick] (bcltext) -- (bcl); 300 } 301 302 \only<7->{ 303 \draw[draw=black,line width=1mm,draw opacity=0.5] (0.2,10.8) -- (10.8,0.2); 304 } 305 \end{tikzpicture} 306 \caption{Relation entre expressivité et formalisme} 307 \end{figure} 308 \end{frame} 309 310 \begin{frame} 311 \frametitle{Sources} 312 \begin{itemize} 313 \item A formal analysis of a business contract language, Guido Governatori and Zoran Milosevic. 314 \item {\small\url{http://ibm.com/press/us/en/pressrelease/22316.wss}} 315 \item {\small\url{http://www.atelier-calligraphie.com/frames/savlogo.htm}} 316 \end{itemize} 317 \end{frame} 318 319 \end{document}