Station MinuitPortail personnel de révision

IFT-2003 — Intelligence artificielle IAutomne 2026

Semaine 6 — Logique et raisonnement (2/3)

Couverture, dates et plan

LECTURE 01 / 132 repèresSynthèse avec omissions acceptées
Sommaire de cet article
  1. Semaine 06 — Logique et raisonnement (2/3)
  2. Table des matières
Autres lectures de cette unité
  1. Couverture, dates et plan
  2. 1. Progression et objectifs
  3. 2. Littéraux, clauses et clauses de Horn
  4. 3. Passer du calcul des prédicats aux clauses
  5. 4. Résolution, unification et réfutation
  6. 5. Preuves et interrogations travaillées
  7. 6. Programmer en Prolog
  8. 7. Travailler dans Swish et diagnostiquer les réponses
  9. 8. Exercices Prolog, réponses et démarches
  10. 9. Corrections et points de vigilance
  11. 10. Acquis à maîtriser
  12. 11. Actions personnelles et évaluations
  13. 12. Carte des sources et vérification
Couverture et sources

Semaine 06 — Logique et raisonnement (2/3)

IFT-2003 — Intelligence artificielle I, automne 2026
Module du 5 octobre 2026 · Sources officielles vérifiées et document généré le 14 octobre 2026
COMPLET — 13 sources sur 13, 79 divisions couvertes, aucune lacune substantielle inexpliquée. Les 11 ressources substantielles du module et les deux sources administratives complémentaires sont accessibles, récupérées et résumées. Les deux passes finales de vérification sont terminées.

Source principale : module Brio. Le corpus comprend cinq vidéos, soit 2 h 10 min 37 s, deux diaporamas et quatre documents d’exercices/solutions, soit 43 pages PDF. Le registre de couverture [accès au cours requis] relie les divisions de chaque source aux sections ci-dessous. Les transcriptions sont automatiques, contrôlées et confrontées aux documents; elles ne sont pas des transcriptions officielles révisées mot à mot.

Table des matières

  1. Progression et objectifs
  2. Littéraux, clauses et clauses de Horn
  3. Passer du calcul des prédicats aux clauses
  4. Résolution, unification et réfutation
  5. Preuves et interrogations travaillées
  6. Programmer en Prolog
  7. Travailler dans Swish et diagnostiquer les réponses
  8. Exercices Prolog, réponses et démarches
  9. Corrections et points de vigilance
  10. Acquis à maîtriser
  11. Actions personnelles et évaluations
  12. Carte des sources et vérification
Retour au sommaire de l’unitéHaut de page
Récupérer manuellement les données locales

Copier séparément les données ci-dessous dans des fichiers texte avant de fermer la page ou de modifier le stockage. Une valeur illisible ou incompatible reste en place. Aucun effacement ni rétablissement écrasant n’est effectué automatiquement. L’export/import JSON est disponible sur la page Progression du cours. Cette récupération séparée reste utile pour une valeur brute ou un conflit.

Clé de ce cours : . Format v1 porté par cette clé; dates UTC et identifiants durables.

Si l’accès est refusé, la valeur persistée peut rester inaccessible. Réautoriser le stockage dans le navigateur puis rouvrir ce cours permet de la relire. Une réinitialisation exige une décision explicite après récupération; aucune commande de suppression n’est proposée ici. Les données restent sur cette origine et cet appareil, sans transfert automatique.