mise à jour chapitre 6 et 13

chapitre13.tex

@@ -0,0 +1,52 @@
+\section{Chapitre 13: L'incertain}
+\label{sec:ch13}
+
+\subsection{Probabilités}
+\label{sec:prob}
+
+\paragraph{Types de probabilités}
+
+\begin{itemize}
+\item \textit{a priori}: avant la perception
+\item \textit{a posteriori}: après la perception
+\item inconditionnelle: en l'absence de tout autre information
+\item conditionnelle: lorsque certaines informations sont disponibles
+\end{itemize}
+
+\paragraph{Variables aléatoires}
+
+\begin{itemize}
+\item Domaine de valeurs:
+  \begin{itemize}
+  \item Booléennes (vrai,faux)
+  \item Discrètes (valeurs mutuellement exclusives et exhaustives)
+  \item Continues (valeurs réelles, souvent un intervalle)
+  \end{itemize}
+\item Distribution de probabilités:
+  \begin{itemize}
+  \item Probabilité pour chacune des assignations possibles
+  \item Jointe: pour toutes les combinaisons de valeurs possibles
+  \end{itemize}
+\end{itemize}
+
+\paragraph{Règle du produit}
+
+\begin{align}
+  P(a|b)&=\frac{P(a \wedge b)}{P(b)}\\
+  P(a \wedge b)&=P(a|b)P(b)\\
+  &=P(b|a)P(a)
+\end{align}
+
+\paragraph{Axiomes probabilistes}
+
+\begin{itemize}
+\item $P(x) \in \left[ 0,1 \right]$
+\item Vrai$\mapsto 1$, Faux$\mapsto 0$
+\item Disjonsction: $P(a \vee b)=P(a)+P(b)-P(a \wedge b)$
+\item Théorème de Finetti: 
+\end{itemize}
+
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: "notes_de_cours"
+%%% End:

chapitre6.tex

@@ -82,8 +82,36 @@ Améliorations à la recherche
 
 \paragraph{Algorithme de cohérence des arcs AC-3}
 
+On met tous les arcs représentant des contraintes dans une file $A$.
+
 \begin{function}
-  
+  \Deb{
+    \Tq{$A \neq \emptyset$}{
+      $(X_i,X_j) \leftarrow $\textsc{pop}$(A)$;
+      \Si{\textsc{Revise}$((X,D,C),X_i,X_j) = 1$}{
+        \Si{$|D_i|=0$}{\Retour{0}}
+        \PourCh{$X_k \in $\textsc{Voisins}$(X_i) \setminus \lbrace X_j \rbrace$}{
+          \textsc{push}$((X_k,X_i))$\;
+        }
+      }
+      \Retour{1}\;
+    }
+  }
+  \caption{ac3(X,D,C)}
+\end{function}
+
+\begin{function}
+  \Deb{
+    $R \leftarrow 0$\;
+    \PourCh{$x \in D_i$}{
+      \Si{$\nexists y \in D_j \text{t.q.} (x,y) \implies C(X_i,X_j)=1 \forall C(X_i,X_j)$}{
+        \textsc{Delete}$(x,D_i)$\;
+        $R \leftarrow 1$\;
+      }
+    }
+    \Retour{$R$}\;
+  }
+  \caption{Revise(CSP,Xi,Xj)}
 \end{function}
 
 \subsection{Contraintes spécifiques}

notes_de_cours.tex

@@ -100,6 +100,7 @@
 \include{chapitre4}
 \include{chapitre5}
 \include{chapitre6}
+\include{chapitre13}
 
 % Ajouter les autres chapitres au besoin