1. Vue d'ensemble
La semaine ouvre un bloc de trois semaines consacré à la logique et au raisonnement. La progression annoncée est la suivante :
- logique propositionnelle et calcul des prédicats;
- unification, forme clausale et mécanisme d'inférence;
- résolution-réfutation et programmation logique en Prolog.
La logique sert ici à représenter explicitement des connaissances et des relations, puis à dériver de nouvelles affirmations à partir de faits et de règles. Historiquement antérieure à l'IA, elle est réutilisée en IA symbolique pour formaliser l'expertise d'un domaine et automatiser certains raisonnements. La présentation relie aussi ce socle aux approches neuro-symboliques, qui combinent apprentissage statistique et contraintes ou connaissances symboliques.
Les objectifs officiels du bloc sont de représenter un court texte en logique, d'inférer de nouveaux énoncés, d'appliquer la résolution-réfutation et de résoudre des exemples simples en Prolog. Pour la semaine 05 elle-même, l'accent effectif porte sur les deux premiers objectifs, les règles d'inférence et les bases de l'unification.
Le niveau attendu est opérationnel : comprendre et manipuler le formalisme sur des phrases et preuves simples. La capsule sur les exercices précise que les évaluations ne devraient pas dépasser la complexité des problèmes fournis.