Unité d’Enseignement INF221	Dep. InfRes
	Programmation Logique et Connaissances (PLC) Année 2011-2012

Introduction

Jean-Louis Dessalles dép. Informatique & Réseaux

Cette année, nous tentons l'expérience d'un enseignement à distance pour cette U.E. L'enseignement est organisé autour de thèmes hebdomadaires. Pour chaque thème, l’étudiant dispose d'une page à lire sur ce site, comprenant des exercices de programmation corrigés (sur fond vert) ou non (sur fond sable), à exécuter sur votre machine, et quelques questions ouvertes à rédiger brièvement. Certaines de ces questions demandent d'aller chercher un peu de documentation sur la Toile. En fin de semaine, chaque étudiant m'envoie ses solutions des exercices  non corrigés, et ses réponses aux questions. Chaque thème est conçu pour un travail hebdomadaire de trois heures en moyenne (soit entre deux et quatre heures selon les thèmes et les personnes. Il se peut que certains élèves aient des difficultés au début s’ils n’ont jamais pratiqué la récursivité ; ils auront besoin d’un peu de temps supplémentaire pour combler ce retard, mais ils devraient apprécier ensuite d’être capables de penser récursivement !). Essayez de vous ménager des créneaux de travail fixes chaque semaine, en profitant des créneaux dégagés à l’emploi du temps.

Il y a un contrôle de connaissances normal en fin d'U.E.

Le CC

Les réponses aux exercices seront lues avec intérêt, mais ne donneront pas lieu à des corrections personnalisées (vous êtes trop nombreux !). Elles serviront à moduler de manière non-linéaire la note finale (environ pour 25%). Le CC final comportera une suite d’exercices courts indépendants : des exercices de prolog, des exercices de logique, des questions courtes sur tel ou tel thème du cours. Les documents sont autorisés (mais pas les machines en fonctionnement).

Je demanderai que les pages de ce site vous soient distribuées sous forme papier avant le contrôle (évitez d’imprimer vous-mêmes, c’est dispendieux).

Le tutorat

Des séances de tutorat sont assurées, généralement le vendredi de 13h30 à 15h00 en B543, par Damien Munch, qui est doctorant au département Informatique & Réseaux et qui aidera ceux d’entre vous qui le souhaitent sur les aspects Prolog. Profitez de sa présence pour lui poser vos questions, il sera là pour vous.

Le bon déroulement de cette U.E. suppose l'adhésion de chacun au principe de l'enseignement à distance. Il y a des inconvénients (pas de présentiel) et des avantages (chacun s'organise comme il le souhaite).
J'espère que l'expérience sera profitable et que nous serons tous contents d'y avoir participé.
Votre avis et vos conseils seront sollicités en fin d’U.E.

Les thèmes

Vos contributions sont à envoyer en fin de chaque semaine à l’adresse : dessalles .at. telecom‑paristech… en fichier attaché (texte simple, pdf, ms-Word). En cas de difficultés pour faire le travail demandé, plusieurs possibilités : (1) faire appel au tutorat, le vendredi; (2) demander l’aide ponctuelle d’une amie ; (3) faire état de ces difficultés dans le corps du mail hebdomadaire ; (4) envoyez-moi un message ponctuel.

28/11/2011
Au	Premiers pas en Prolog
02/12/2011	Eléments de corrigé

05/12/2011
Au	Résolution de problèmes
09/12/2011	Eléments de corrigé

12/12/2011
Au	Logique des propositions
16/12/2011	Eléments de corrigé

02/01/2012
Au	Logique des prédicats	Attention : Deux cours "Logique " le vendredi après-midi 06/01 en B555 et le lundi 09/01 en B505
13/01/2012	Eléments de corrigé

16/01/2012
Au	Représentation des connaissances
20/01/2012	Eléments de corrigé

23/01/2012
Au	Traitement du langage naturel
27/01/2012	Eléments de corrigé

30/01/2012
Au	Apprentissage automatique et Complexité
03/02/2012	Eléments de corrigé

10/02/2012

Contrôle de connaissances (corrigé)