RAISONNEMENT / Automne 2026 / Consolider recherche, unification, Minimax et Prolog

Mini-test — Consolider recherche, unification, Minimax et Prolog

Exercices d’entraînement créés pour le portail. Aucun questionnaire officiel. Banque v1.

12 questions. Un point par réponse automatique correcte; aucun crédit partiel. Les autoévaluations sont comptées séparément. Les corrigés apparaissent après chaque réponse; ce mini-test sert à apprendre.

Toute la banque

Aucune tentative commencée.

1. Arbre original : P→A(h=2),B(h=3); A→C(h=8); B→G(h=0). P est initial, G seul but, petites valeurs préférées, but au retrait, aucun autre arc. Donner les sélections et le chemin de meilleur d’abord.

Application · version 1

Hypothèses et règle de réponse

Entraînement du portail depuis le maître local S08, distinct des évaluations officielles. Données fixées par l’énoncé; aucune action personnelle ou exécution réelle certifiée.

Autoévaluation avec rubrique; accepter les formulations équivalentes justifiées.

Corrigé — question 1

Les alternatives conservées permettent de changer de branche. La trace des retraits n’est pas la chaîne de parents du but.

Après P : A2,B3; après A : B3,C8.
Retirer B puis G : sélections P,A,B,G.
Parents : P→B→G, sans A.
C n’est pas sélectionné avant B; on compare toute la frontière, pas seulement les enfants courants.

Variantes : Autoévaluation avec rubrique; accepter les formulations équivalentes justifiées.

Revoir la matière — 3.2. Trace et justification

2. Unifier p(X,X) et p(f(a),f(Y)). Aucun calcul arithmétique; variables majuscules, a atome. Donner la substitution et sa propagation.

Application · version 1

Hypothèses et règle de réponse

Entraînement du portail depuis le maître local S08, distinct des évaluations officielles. Données fixées par l’énoncé; aucune action personnelle ou exécution réelle certifiée.

Autoévaluation avec rubrique; accepter les formulations équivalentes justifiées.

Corrigé — question 2

Les contraintes partagent X. Les symboles et arités coïncident, puis l’unification se poursuit argument par argument.

Premier argument : X=f(a).
Le deuxième impose f(a)=f(Y), donc Y=a.
La même valeur X=f(a) est utilisée dans les deux occurrences.
Substitution {X↦f(a),Y↦a}; aucune valeur indépendante pour le second X.

Variantes : Autoévaluation avec rubrique; accepter les formulations équivalentes justifiées.

Revoir la matière — 4.1. Première unification : propager une variable répétée

3. Unifier r(b,g(c)) et r(X,X). Quel résultat est justifié ?

Application · version 1

Hypothèses et règle de réponse

Entraînement du portail depuis le maître local S08, distinct des évaluations officielles. Données fixées par l’énoncé; aucune action personnelle ou exécution réelle certifiée.

Choisir une seule réponse selon les hypothèses.

Corrigé — question 3

Une variable répétée désigne un même terme. Un atome b ne peut être identique au terme composé g(c); l’échec est structurel.

Variantes : Choisir une seule réponse selon les hypothèses.

Revoir la matière — 4.3. Troisième unification : détecter une incompatibilité

4. Pousse-pion avec interdiction du retour immédiat : deux branches arrivent en (2,2), l’une depuis (1,2), l’autre depuis (2,3). La position courante suffit-elle à engendrer les successeurs ?

Application · version 1

Hypothèses et règle de réponse

Entraînement du portail depuis le maître local S08, distinct des évaluations officielles. Données fixées par l’énoncé; aucune action personnelle ou exécution réelle certifiée.

Choisir une seule réponse selon les hypothèses.

Corrigé — question 4

Dans ces règles, la case précédente est nécessaire pour exclure le retour immédiat. Le joueur au trait fixe aussi le niveau de choix; une interdiction générale de revisite ne doit pas être inventée.

Variantes : Choisir une seule réponse selon les hypothèses.

Revoir la matière — 5.1. Le jeu et la représentation d’un état

5. Le joueur initial préfère une petite distance d. Ses branches ont les pires distances 1,3,5. En posant U=−d, quel choix garde les mêmes préférences ?

Application · version 1

Hypothèses et règle de réponse

Entraînement du portail depuis le maître local S08, distinct des évaluations officielles. Données fixées par l’énoncé; aucune action personnelle ou exécution réelle certifiée.

Choisir une seule réponse selon les hypothèses.

Corrigé — question 5

Une utilité −d transforme correctement la minimisation de distance en maximisation d’utilité. Mélanger les règles numériques des deux conventions inverserait les décisions.

Variantes : Choisir une seule réponse selon les hypothèses.

Revoir la matière — 5.2. Définir ce que signifie « meilleur »

6. Variante originale : le joueur initial minimise d; l’adversaire maximise d. Après le premier coup A, ses réponses ont déjà les valeurs 2 et 6; après B, 4 et 3. Quelle distance remonte à la racine ?

Application · version 1

Hypothèses et règle de réponse

Entraînement du portail depuis le maître local S08, distinct des évaluations officielles. Données fixées par l’énoncé; aucune action personnelle ou exécution réelle certifiée.

Saisir le nombre seul; point ou virgule accepté; tolérance absolue nulle.

Corrigé — question 6

L’adversaire retient max(2,6)=6 pour A et max(4,3)=4 pour B. Le joueur initial choisit min(6,4)=4, donc B. Il ne peut supposer que l’adversaire lui offrira 2.

Variantes : Saisir le nombre seul; point ou virgule accepté; tolérance absolue nulle.

Revoir la matière — 5.3. Construire les trois niveaux et remonter les valeurs

7. possede(P,Type,Couleur). Chercher une même personne possédant auto rouge et bicycle bleu. Quelle requête exprime le partage voulu ?

Application · version 1

Hypothèses et règle de réponse

Entraînement du portail depuis le maître local S08, distinct des évaluations officielles. Données fixées par l’énoncé; aucune action personnelle ou exécution réelle certifiée.

Choisir une seule réponse selon les hypothèses.

Corrigé — question 7

Réemployer X relie le propriétaire. Deux variables anonymes sont indépendantes; partager C relierait une couleur plutôt que la personne demandée.

Variantes : Choisir une seule réponse selon les hypothèses.

Revoir la matière — 6.2. Propriétaire commun et véhicules distincts

8. Une base ne contient que possede(nina,auto,noire). La requête possede(nina,auto,C1),possede(nina,auto,C2) prouve-t-elle deux autos distinctes ? Comment le corrigé S08 distingue-t-il deux autos sous son hypothèse ?

Application · version 1

Hypothèses et règle de réponse

Entraînement du portail depuis le maître local S08, distinct des évaluations officielles. Données fixées par l’énoncé; aucune action personnelle ou exécution réelle certifiée.

Autoévaluation avec rubrique; accepter les formulations équivalentes justifiées.

Corrigé — question 8

Les variables différentes ne forcent pas des valeurs différentes. L’unicité par couleur est une hypothèse du modèle, pas une propriété universelle des véhicules.

Les deux buts peuvent réutiliser le même fait, avec C1=C2=noire.
Ils ne prouvent donc pas deux objets distincts.
Sous l’hypothèse d’au plus un véhicule de même couleur par propriétaire, rechercher deux couleurs différentes.
Instancier les couleurs puis tester not(C1=C2); sans cette hypothèse, représenter des identifiants de véhicules.

Variantes : Autoévaluation avec rubrique; accepter les formulations équivalentes justifiées.

Revoir la matière — 6.2. Propriétaire commun et véhicules distincts

9. Traduire « toutes les personnes populaires sont heureuses ». Quelle règle garde le sens de l’implication ?

Application · version 1

Hypothèses et règle de réponse

Entraînement du portail depuis le maître local S08, distinct des évaluations officielles. Données fixées par l’énoncé; aucune action personnelle ou exécution réelle certifiée.

Choisir une seule réponse selon les hypothèses.

Corrigé — question 9

La tête est la conclusion, le corps la condition suffisante, pour la même personne X. La réciproque n’est pas déduite.

Variantes : Choisir une seule réponse selon les hypothèses.

Revoir la matière — 6.5. Correction officielle : relier les variables et orienter l’implication

10. On écrit connu(X) :- rencontre(Z,Y). Expliquer l’effet d’un fait rencontre(ana,bob), puis corriger la règle si l’intention est « celui qui rencontre quelqu’un est connu ».

Application · version 1

Hypothèses et règle de réponse

Entraînement du portail depuis le maître local S08, distinct des évaluations officielles. Données fixées par l’énoncé; aucune action personnelle ou exécution réelle certifiée.

Autoévaluation avec rubrique; accepter les formulations équivalentes justifiées.

Corrigé — question 10

Le défaut n’est pas la présence d’une variable unique, mais l’absence de la liaison nécessaire entre la personne conclue et la condition.

X est indépendant de Z et Y dans le corps.
Le corps peut réussir avec ana,bob sans restreindre X.
Correction : connu(X) :- rencontre(X,Y).
Y seulement dans le corps n’est pas une erreur : il représente la personne rencontrée.

Variantes : Autoévaluation avec rubrique; accepter les formulations équivalentes justifiées.

Revoir la matière — 6.5. Correction officielle : relier les variables et orienter l’implication

11. Dans soudoyer(P,S) :- mange(S,biscuits), P n’apparaît pas dans le corps. Que fait cette règle lorsqu’un S a mangé ?

Application · version 1

Hypothèses et règle de réponse

Entraînement du portail depuis le maître local S08, distinct des évaluations officielles. Données fixées par l’énoncé; aucune action personnelle ou exécution réelle certifiée.

Choisir une seule réponse selon les hypothèses.

Corrigé — question 11

Aucune condition d’argent ou de rencontre ne relie P au corps. Les règles d’accès imposent encore leurs propres contraintes sur S; il ne faut pas inventer une contrainte cachée sur P.

Variantes : Choisir une seule réponse selon les hypothèses.

Revoir la matière — 7.5. Limites instructives du modèle

12. Une règle déduit une effraction à partir d’une blessure et le programme trouve un suspect. Pourquoi ce résultat ne démontre-t-il ni culpabilité réelle ni innocence des personnes sans réponse ?

Application · version 1

Hypothèses et règle de réponse

Entraînement du portail depuis le maître local S08, distinct des évaluations officielles. Données fixées par l’énoncé; aucune action personnelle ou exécution réelle certifiée.

Autoévaluation avec rubrique; accepter les formulations équivalentes justifiées.

Corrigé — question 12

Le modèle recherche des personnes soupçonnables selon des hypothèses explicites. Le portail explique ces conséquences et n’attribue aucune certitude sur des personnes réelles.

L’indice devient une règle déterministe par hypothèse de modélisation.
L’implication utilisée n’est pas une équivalence démontrée dans le monde réel.
Le résultat découle des faits et règles choisis, pas de toute information possible.
L’absence de preuve dans cette base ne démontre pas une innocence générale.

Variantes : Autoévaluation avec rubrique; accepter les formulations équivalentes justifiées.

Revoir la matière — 7.2. Les onze hypothèses du récit

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 thème. 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.

État valide en mémoire (JSON) Valeur brute lue dans le stockage (copier même si illisible) Données en conflit à conserver séparément (JSON)

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.