2. Préparer et vérifier ses connaissances
2.1. Utiliser les objectifs et les exercices
La démarche officielle suit trois étapes : réviser les notions, vérifier sa capacité à répondre aux objectifs d’apprentissage des sections, puis refaire les activités nécessaires. Un objectif qui demande d’appliquer une technique exige de savoir dérouler son mécanisme sur un cas; en connaître le nom ou la définition ne suffit pas. Pour les exercices de cette semaine, cela veut dire pouvoir justifier le prochain nœud choisi, propager une substitution, remonter une valeur de jeu ou relier correctement les variables d’une requête.
La vidéo insiste sur la réalisation personnelle des exercices. Lire directement un corrigé peut masquer une difficulté qu’on retrouvera lorsqu’il faudra produire soi-même la solution. Elle ne rend pas obligatoire de refaire absolument tous les exercices : l’enjeu est de maîtriser suffisamment les méthodes et une part importante des applications. Les activités antérieures restent prioritaires si elles n’ont pas été faites; accumuler de nouveaux exercices sans résoudre ces difficultés n’apporte pas la préparation attendue.
L’enseignante annonce d’abord deux ou trois exercices supplémentaires; la version effectivement publiée en contient quatre, avec leurs solutions. La publication vérifiée prévaut sur ce nombre provisoire. Elle ne fournit pas d’examen blanc ni de questionnaire d’entraînement supplémentaire : les deux questionnaires du cours et leurs réponses, lorsqu’accessibles, servent déjà d’autoévaluation. Les exercices de l’intra doivent ressembler aux types de problèmes des activités et questionnaires, sans annonce de questions identiques.
Le questionnaire no 2 sert également à repérer ses lacunes. Sa faible pondération relative ne supprime pas ses consignes d’évaluation; ses formats et son nombre de questions ne décrivent pas automatiquement ceux de l’intra.
2.2. Préparer l’aide-mémoire autorisé
La feuille personnelle peut contenir les repères difficiles à reconstruire rapidement. La vidéo suggère notamment : équivalences logiques, règles d’inférence, procédure de conversion du calcul des prédicats vers la forme clausale, éléments de syntaxe Prolog et points essentiels des techniques de recherche. Ce sont des suggestions, sans liste de contenu imposée. La feuille peut rassurer et soutenir la mémoire; elle ne remplace pas la capacité d’appliquer les méthodes.
Une clarification récente du forum confirme qu’aucun aide-mémoire n’est fourni à l’examen. Préparer sa propre feuille fait donc partie du travail utile. La limite matérielle est une feuille format lettre, manuscrite ou imprimée, un seul côté; voir §8.2.
2.3. Simplifier sans changer le problème
Le forum autorise à simplifier une proposition avant d’en construire la table de vérité, à condition de respecter les équivalences logiques. On peut donc exploiter une forme équivalente plus simple; on ne peut pas supprimer une condition qui paraît gênante ou confondre implication et équivalence. Le résultat doit toujours concerner la proposition de départ. Un corrigé qui conserve une écriture longue ne rend pas cette écriture obligatoire.
Ce principe rejoint les autres exercices : changer la représentation est permis si le sens est conservé. Utiliser U=−d dans le pousse-pion doit conserver les mêmes préférences; réutiliser un prédicat Prolog doit conserver les relations demandées.