Lnigme dEinstein e

Lnigme Il y a 5 maisons alignes de couleurs direntes. Dans chaque maison, vit une e e e personne de nationalit dirente. Chaque personne boit une boisson, fume un type de e e cigarette et l`ve un animal dirent. Pouvez-vous dire qui l`ve les poissons, sachant que : ee e ee 1. Langlais habite la maison rouge. 2. Le Sudois poss`de un chien. e e 3. Le Danois boit du th. e 4. La maison verte est situe ` gauche de la maison blanche. e a 5. Dans la maison verte, on boit du caf. e 6. Le fumeur de Pall Mall poss`de un oiseau. e 7. Dans la maison du milieu, on boit du lait. 8. Dans la maison jaune, on fume des Dunhill. 9. Le Norvgien habite la premi`re maison. e e 10. Le fumeur de Rothmann a un voisin qui poss`de un chat. e 11. Celui qui poss`de un cheval a un voisin fume des Dunhill. e 12. Le fumeur de Philip Morris boit de la bi`re. e 13. Le Norvgien est voisin de la maison bleue. e 14. LAllemand fume des Marlboro. 15. Le fumeur de Rothmann a un voisin qui boit de leau. Quatre mthodes de rsolution Le probl`me qui se pose est donc de dterminer o` se e e e e u trouvent les poissons en exploitant les informations contenues dans les 15 noncs ci-dessus e e que lon appellera les axiomes de lnigme. On proc`de par dduction ` partir des axiomes e e e a pour enrichir les informations ` notre disposition jusqu` obtenir celle recherche (o` se a a e u trouvent les poissons ?) Nous prsentons ci-dessous quatre mthodes permettant de rsoudre lnigme de faon e e e e c purement logique. La premi`re utilise la langue naturelle (ici, le franais) sans rien sacrier e c a ` la prcision ni ` la rigueur. La deuxi`me est plus abstraite et met en uvre les ressources e a e de la logique formelle ou logique mathmatique, plus prcisment, le calcul des prdicats. La e e e e 1

troisi`me, donne une autre modlisation en calcul des prdicats. La quatri`me et derni`re e e e e e repose sur une modlisation quationnelle. e e Pour chacune des mthodes proposes, nous devrons reformuler les axiomes de faon ` e e c a ce quils se conforment au formalisme utilis. Nous laissons au lecteur le soin de juger de la e lgitimit de ces (re)formulations. e e

Rsolution prformelle en langue naturelle e e

Plus que les habitants, les animaux, etc. les objets viss par le probl`me sont les maisons e e et la question ` rsoudre nest pas tant de savoir qui l`ve les poissons que dans quelle a e ee maison y-a-til des poissons ? De ce point de vue, celui des maisons, non seulement la couleur, mais galement la nationalit de lhabitant, la boisson qui y est bue, les cigarettes qui y sont e e fumes, et lanimal qui y est lev sont considrs comme des attributs des maisons. Chaque e e e ee attribut appartient ` une esp`ce : couleur, nationalit, boisson, cigarette et animal. a e e On identie les maisons en leur donnant un numro (ou indice) : 1, 2, 3, 4 et 5. On parlera e o o de la maison n 1, de la maison n 2, etc. ou, de faon gnrique, de la maison no i. c e e La relation de voisinage entre maisons est dnie par la relation de succession entre leurs e indices : la maison no i est voisine des maisons no i 1 et i + 1. On a en particulier que la maison no i est ` gauche de la maison no i + 1. a Nous devons transcrire trois formes darmations : celles qui visent une maison prcise, par exemple la premi`re maison (axiome 9) ; e e celles qui tablissent un lien entre deux attributs, par exemple tre habite par lAnglais e e e et tre rouge (axiome 1) ; e celles qui combinent liens entre attributs et voisinage, par exemple tre la maison o` e u lon fume des Dunhill et voisine de la maison o` il y a un cheval (axiome 11). u Illustrons ` partir des trois exemples pris ci-dessus les principes de transcription : a la transcription de la premi`re forme est immdiate : lexpression la premi`re maie e e son devient la maison no 1 ; pour la deuxi`me forme, lexpression LAnglais habite la maison rouge exprime e simplement que la maison o` habite lAnglais et la maison rouge sont la mme, i.e. ont u e le mme indice. Laxiome 1 devient : si la maison no i est rouge alors lAnglais habite e la maison no i, et rciproquement, si lAnglais habite la maison no i alors la maison no i e est rouge. Cette double implication dnit lquivalence logique que lon nonce : la e e e o o maison n i est rouge si et seulement si lAnglais habite la maison n i. pour la troisi`me forme, on utilise lexpression arithmtique de la relation de voisinage. e e Laxiome 11 devient : si on fume des Dunhill dans la maison no i alors dans la maison no i 1 ou il y a un cheval dans la maison no i + 1. Reformulation des axiomes Selon ces principes, les 15 axiomes de lnigme deviennent : e o 1. La maison n i est rouge si et seulement si lAnglais habite la maison no i. 2

2. Le Sudois habite la maison no i si et seulement si il y a un chien dans la maison no i. e 3. Le Danois habite la maison no i si et seulement si on boit du th dans la maison no i. e 4. Si la maison no i est verte alors la maison no i + 1 est blanche. 5. La maison no i est verte si et seulement si on boit du caf dans la maison no i. e 6. On fume des Pall Mall dans la maison no i si et seulement si il y a un oiseau dans la maison no i. 7. On boit du lait dans la maison no 3. 8. La maison no i est jaune si et seulement si on fume des Dunhill dans la maison no i. 9. Le Norvgien habite la maison no 1. e 10. Si on fume des Rothmann dans la maison no i alors il y a un chat dans la maison no i1 ou dans la maison no i + 1. 11. Si on fume des Dunhill dans la maison no i alors il y a un cheval dans la maison no i 1 ou dans la maison no i + 1. 12. On boit de la bi`re dans la maison no i si et seulement si on fume des Philipp Morris e dans la maison no i. 13. Si le Norvgien habite la maison no i alors la maison no i 1 ou la maison no i + 1 est e bleue. 14. LAllemand habite la maison no i si et seulement si on fume des Marlboro dans la maison no i. 15. Si on boit de leau dans la maison no i alors on fume des Rothmann dans la maison no i 1 ou dans la maison no i + 1. Donnes et axiomes implicites Pour mener ` bien le raisonnement permettant de e a rsoudre lnigme, il faut faire appel ` quelques proprits implicites du monde des maie e a ee sons. La premi`re, que lon dduit du fait quil y a 5 maisons (que lon a numrotes de 1 e e e e o o o a ` 5), est quil ny a pas de maison n 0 ni de maison n 6. Les maisons n 1 et no 5 nauront donc quune seule voisine, respectivement les maisons no 2 et no 4. Lensemble des couleurs, nationalits, etc. nest pas donn explicitement. On peut cepene e dant les dduire des axiomes donns et de la question nale. Les voici reprsents chacun e e e e par un ensemble de 5 constantes mnmoniques : e Couleur N ationalit e Boisson Fume Animal Jaune, Bleu, Rouge, V ert, Blanc Ang, Sue, N or, Dan, All T he, Eau, Caf e, Lait, Biere P hiM o, P aM al, M arl, Dunh, Roth P ois, Chat, Chien, Chev, Ois

Chaque maison poss`de un attribut de chacune des esp`ces. Ce qui signie que pour e e chaque maison, tant donn une esp`ce il existe un attribut de cette esp`ce tel que cette e e e e 3

maison poss`de cet attribut. Par exemple, pour la maison no 1 et lesp`ce des boissons, on e e o a : dans la maison n 1, on boit de la bi`re ou du caf ou du th ou de du lait ou de leau. e e e Il y a 5 maisons et chaque esp`ce dattribut comprend 5 valeurs. Il faut donc que pour e chaque attribut, il existe une maison qui poss`de cet attribut. Par exemple : il existe un e indice i, entre 1 et 5, tel que la maison no i est jaune. Comme il ny a que 5 maisons (un nombre ni), le fait quil existe une maison possdant un certain attribut peut sexprimer e par une alternative : la maison no 1 poss`de lattribut ou la maison no 2, ou la maison no 3, e ou la maison no 4, ou la maison no 5. Par exemple : la maison jaune est la maison no 1 ou la maison no 2, . . ., ou la maison no 5. Lusage de ladjectif dirent dans lnonc de lnigme induit que chaque maison na e e e e quun seul attribut que chaque esp`ce : une seule couleur, une seule nationalit, etc. De cette e e o propri`t dunicit, on tire que si la maison n i poss`de un attribut dune certaine esp`ce ee e e e alors il ne poss`de aucun autre attribut de cette mme esp`ce. Par exemple si la maison no 1 e e e est jaune alors la maison no 1 nest ni verte, ni rouge, etc. Rciproquement, chaque attribut e ne peut ltre que dune seule maison. Par exemple, si la maison no 1 est jaune alors ni la e maison no 2, ni la maison no 3, etc. ne sont jaunes. Pour rsumer, on a deux proprits dexistence accompagne chacune dune clause dunie ee e cit : e Existence. pour chaque maison, tant donn une esp`ce il existe un attribut de cette esp`ce e e e e tel que cette maison poss`de cet attribut e pour chaque attribut, il existe une maison qui poss`de cet attribut e Unicit. e chaque maison na quun seul attribut que chaque esp`ce e chaque attribut ne peut ltre que dune seule maison e Formes du raisonnement On utilise essentiellement trois formes de raisonnements : le modus ponens : si lon sait que si A alors B et si lon sait que A alors on a B . llimination dune alternative : si lon sait que A ou B et si lon sait que non e A alors on a B . le rduction par labsurde : si lon sait que B et si, en supposant A , on dduit e e non B alors on a non A . Pour la lisibilt de cette premi`re prsentation, on ne suit pas ` la lettre ces formes, mais e e e a lesprit est bien celui l`. a Etapes de la rsolution e (1) Le norvgien habite la maison no 1. e Cest laxiome 9. (2) On boit du lait dans la maison no 3. 4

Cest laxiome 7. (3) La maison bleue est la maison no 2. Par laxiome 13, on a que si le Norvgien habite la maison no i alors la maison e no i 1 ou la maison no i + 1 est bleue. Or le Norvgien habite la maison no 1. e o Donc la maison bleue est soit la maison n 0, soit la maison no 2. Mais il ny a pas de maison no 0. Donc la maison bleue est la maison no 2. (4) La maison verte est la maison no 4. Si la maison verte est la maison no 1 alors, par laxiome 4, la maison no 2 est blanche. Ce qui contredit (3). Donc la maison verte nest pas la maison no 1. Par (3), la maison verte nest pas la maison no 2. Si la maison verte est la maison no 3 alors, par laxiome 5, on y boit du caf. e Ce qui contredit (2). Donc la maison verte nest pas la maison no 3. Si la maison verte est la maison no 5 alors, par laxiome 4, la maison blanche est la maison no 6. Or il ny a pas de maison no 6. Donc la maison verte nest pas la maison no 5. Il en dcoule que ncessairement la maison verte est la maison no 4. e e (5) La maison blanche est la maison no 5. Par laxiome 4, si la maison no i est verte alors la maison no i + 1 est blanche. Or, par (4), la maison 4 est verte. Donc la maison blanche est la maison no 5. (6) La maison rouge est la maison no 3. Si la maison no 1 est rouge alors, par laxiome 1, lAnglais habite la maison no 1. Ce qui contredit (1). Donc la maison rouge nest pas la maison no 1. Par (3), la maison rouge nest pas la maison no 2. Par (4), la maison rouge nest pas la maison no 4. Par (5), la maison rouge nest pas la maison no 5. Il en dcoule que ncessairement la maison rouge est la maison no 3. e e (7) La maison jaune est la maison no 1. Il Par (3), la Par (6), la Par (4), la Par (5), la en dcoule e maison jaune nest pas la maison no 2. maison jaune nest pas la maison no 3. maison jaune nest pas la maison no 4. maison jaune nest pas la maison no 5. que ncessairement la maison jaune est la maison no 1. e

(8) On fume des Dunhill dans la maison no 1. Par laxiome 8, on fume des Dunhill dans la maison jaune. Or, par (7), la maison jaune est la maison no 1. Donc on fume des Dunhill dans la maison no 1. (9) LAnglais habite la maison no 3. Par laxiome 1, lAnglais habite la maison rouge. Or, par (6), la maison rouge est la maison no 3. Donc lAnglais habite la maison no 3. 5

(10) On boit du caf dans la maison no 4. e Par laxiome 5, on boit du caf dans la maison verte. Or, par (4), la maison verte e o est la maison n 4. Donc on boit du caf dans la maison no 4. e (11) Il y a un cheval dans la maison no 2. Par laxiome 11, on a que si lon fume des Dunhill dans la maison no i alors il y a un cheval dans la maison no i 1 ou dans la maison i + 1. Or, par (8), on fume des Dunhill dans la maison no 1. Donc il y a un cheval soit dans la maison no 0, soit dans la maison no 2. Comme la maison no 0 nexiste pas, cest donc dans la maison no 2 quil y a un cheval. (12) On boit de leau dans la maison no 1. Si on boit de la bi`re dans la maison no 1 alors, par laxiome 12, on y fume e des Philipp Morris. Ce qui contredit (8). Donc on ne boit pas de bi`re dans la e o maison n 1. Par (10), cest dans la maison no 4 que lon boit du caf. Donc on ne boit pas e de caf dans la maison no 1. e Si lon boit du th dans la maison no 1 alors, par (1), cest le Norvgien qui e e boit du th. Ce qui contredit laxiome 3. Donc on ne boit pas de th dans la e e o maison n 1. Si lon boit du lait dans la maison no 1 alors on contredit (2). Donc on ne boit pas de lait dans la maison no 1. Il en dcoule que ncessairement on boit de leau dans la maison no 1. e e (13) On fume des Rothmann dans la maison no 2. Par laxiome 15, si on boit de leau dans la maison no i alors on fume des Rothmann soit dans la maison no i 1, soit dans la maison no i + 1. Or, par (12), on boit de leau dans la maison no 1. Donc on fume des Rothmann soit dans la maison no 0, soit dans la maison no 2. Comme la maison no 0 nexiste pas, cest dans la maison no 2 que lon fume des Rothmann. (14) Le Danois habite la maison no 2. Par (9), lAnglais nhabite pas la maison no 2. Si lAllemand habite la maison no 2 alors, par laxiome 14, on fume des Marloboro dans la maison no 2. Ce qui contredit (13). Donc ce nest pas lAllemand qui habite la maison no 2. Si le Su`dois habite dans la maison no 2 alors, par laxiome 2, il y a un chien e dans la maison no 2. Ce qui contredit (11). Donc ce nest pas le sudois qui e o habite la maison n 2. Par laxiome 9, le Norvgien nhabite pas la maison no 2. e Il en dcoule que ncessairement cest le Danois qui habite la maison no 2. e e (15) On boit du th dans la maison no 2. e Par laxiome 3 et (14), on boit du th dans la maison no 2. e 6

(16) On boit de la bi`re dans la maison no 5. e Par (12), on ne boit pas de bi`re dans la maison no 1. e Par (15), on ne boit pas de bi`re dans la maison no 2. e Par laxiome 7, on ne boit pas de bi`re dans la maison no 3. e Par (10), on ne boit pas de bi`re dans la maison no 4. e Cest donc ncessairement dans la maison no 5 que lon boit de la bi`re. e e o (17) On fume des Philipp Morris dans la maison n 5. Par laxiome 12 et (16), on fume des Philipp Morris dans la maison no 5. (18) LAllemand habite la maison no 4. Par (1), ce nest pas lAllemand qui habite la maison no 1. Par (14), ce nest pas lAllemand qui habite la maison no 2. Par (9), ce nest pas lAllemand qui habite la maison no 3. Si lAllemand habite la maison no 5 alors, par laxiome 14, on y fume des Marlboro. Ce qui contredit (17). Donc lAllemand nhabite pas la maison no 5. Il en dcoule que ncessairement, lAllemand habite la maison no 4. e e (19) On fume des Marlboro dans la maison no 4. Par laxiome 14 et (18), on fume des Marlboro dans la maison no 4. (20) On fume des Pall Mall dans la maison no 3. Par (8), ce nest pas dans la maison no 1 que lon fume des Pall Mall. Par (13), ce nest pas dans la maison no 2 que lon fume des Pall Mall. Par (19), ce nest pas dans la maison no 4 que lon fume des Pall Mall. Par (17), ce nest pas dans la maison no 5 que lon fume des Pall Mall. Donc ncessairement, on fume des Pall Mall dans la maison no 3. e (21) Le Su`dois habite la maison no 5. e Par (1), ce nest pas le Su`dois qui habite la maison no 1. e Par (14), ce nest pas le Su`dois qui habite la maison no 2. e Par (9), ce nest pas le Su`dois qui habite la maison no 3. e Par (18), ce nest pas le Su`dois qui habite la maison no 4. e Donc ncessairement, le Su`dois habite la maison no 5. e e (22) Il y a un oiseau dans la maison no 3. Par laxiome 6 et (20), il y a un oiseau dans la maison no 3. (23) Il y a un chien dans la maison no 5. Par laxiome 2 et (21), il y a un chien dans la maison no 5. (24) Il y a un chat dans la maison no 1. Par laxiome 10, si on fume des Rothmann dans la maison no i alors il y a un chat soit dans la maison no i 1, soit dans la maison no i + 1. Or, par (13), on fume des Rothmann dans la maison no 2. Donc il y a un chat soit dans la maison no 1, soit dans la maison no 3. Or, par (22), il ny a pas de chat dans la maison no 3. Donc cest dans la maison no 1 quil y a un chat. 7

(25) Cest dans la maison no 4 quil y a un poisson ! Par (24), il ny a pas de poisson dans la maison no 1. Par (11), il ny a pas de poisson dans la maison no 2. Par (22), il ny a pas de poisson dans la maison no 3. Par (23), il ny a pas de poisson dans la maison no 5. Cest donc ncessairement dans la maison no 4 quil y a un poisson ! e

Rsolution formalise en calcul des prdicats e e e

Le calcul des prdicats est un langage formel dcriture conu pour les mathmatiques e e c e mais que lon peut appliquer (ou du moins tenter dappliquer) ` nimporte quel domaine o` a u la rigueur de lexpression et du raisonnement sont requises. La base du langage est la relation dun attribut (ou proprit ou prdicat) et dun inee e o dividu. Par exemple : la maison n 1 (lindividu) est jaune (lattribut). On formalise dans lcriture cette relation en utilisant la notation fonctionnelle : dans notre exemple, Jaune(1). e Toutes les expressions de la forme P (x) qui expriment la relation entre individu (x) et attribut (P ) sont appeles formules atomiques. Dans la forme gnrale du calcul des prdicats, la e e e e relation ` un attribut peut concerner plusieurs individus ; on crit P (x1 , x2 , . . . , xn ). La part a e de langage utile pour exprimer et rsoudre lnigme utilisera comme ensemble de symboles e e de prdicats les constantes mnmoniques numrant les attributs possibles. e e e e Le langage du calcul des prdicats est un langage de formules. Une formule peut tre e e construite par ngation dune formule ; nous crivons A la ngation de la formule A. Une e e e formule peut tre obtenue par disjonction (le ou logique) de deux formules ; nous crivons e e A1 A2 la disjonction des formules A1 et A2 . Une formule peut tre obtenue par conjonction e (le et logique) de deux formules ; nous crivons A1 A2 la conjonction des formules e A1 et A2 . Une formule peut tre obtenue par implication dune formule par une autre ; on e crit A1 A2 limplication logique de A2 par A1 (en langue naturelle : si A1 alors A2 ). La e double implication (le si et seulement si ), ou quivalence logique entre les formules A1 e et A2 scrit A1 A2 ; il sagit en fait dune abrviation pour (A1 A2 ) (A2 A1 ). e e Une formule peut noncer lexistence de quelque chose (valeur ou individu) ; on crit x.A e e la formule qui nonce quil existe un x tel que A. Enn, une formule peut noncer la validit e e e universelle dune formule ; on crit x.A la formule qui nonce la validit de A pour tout x. e e e R`gles de dduction Nous avons donn dans notre premi`re version de la rsolution de e e e e e lnigme trois formes de raisonnement : le modus ponens, llimination dune alternative e e et la rduction par labsurde. Dans la version formelle que nous donnons ici, les formes de e raisonnement sont appeles rgle de dduction ou dinfrence. e e e e On retrouve le modus ponens : si A1 A2 et A1 alors A2 ; ainsi que llimination de e lalternative : si A1 A2 et A1 alors A2 . On nutilisera pas la rduction ` labsurde dans e a 8

la forme donne ci-dessus, mais une rgle autorisant des dduction quivalentes, le modus e e e e tollens : si A1 A2 et A2 alors A1 . La r`gle dlimination est en fait symtrique, on a aussi : si A1 A2 et A2 alors A1 . e e e On tend le modus ponens et le modus tollens aux quivalences, du coups, ces deux rgles e e e deviennent galement symtriques : si A1 A2 et A1 alors A2 ; si A1 A2 et A2 alors A1 ; e e si A1 A2 et A1 alors A2 ; si A1 A2 et A2 alors A1 . On a utilis, sans le dire, la particularisation dune formule universelle : ce qui vaut pour e tout individu vaut pour un individu particulier. Par exemple, ` ltape 3 du raisonnement, a e nous avons remplac le i de laxiome 13 par la valeure particuli`re 1. La rgle de particularie e e sation est : si i.A alors pour tout individu t, A[i := t]. Intuitivement, lexpression A[i := t] dsigne la formule A dans laquelle la variable i a t remplace par t. e ee e Lopration de remplacement ou substitution a une dnition technique un peu complexe e e aussi, dans la mesure o` notre utilisation de cette opration restera intuitivement claire, u e nous nen dirons pas plus sur ce sujet. Lorsque lon eectuera une opration de substitution, nous proc`derons galement ` la e e e a rduction, cest-`-dire au calcul, de certaines expressions obtenues. Par exemple si lon sube a stitue la constante 1 ` la variable i dans une formule contenant lexpression arithmtique a e i + 1, on crira 2 ` la place de 1 + 1. L` encore, dun point de vue strictement formelle, cette e a a nouvelle opration de rduction des expressions arithmtique devrait tre dnie. Mais pour e e e e e ne pas alourdir le propos au risque den perdre lessentiel, nous nexpliciterons pas lusage lmentaire du calcul. ee Sur la r`gle dlimination de lalternative En logique classique les formules A et A e e sont quivalentes. La r`gle dlimination de lalternative, si lune des alternative est ngative e e e e nous donne que : si (A1 ) A2 et (A1 ) alors A2 . Tenant compte de lquivalence entre e (A1 ) et A1 , on galement la forme suivante de la r`gle dlimination : si A1 A2 et A1 e e e alors A2 . Enn, la r`gle dlimination de lalternative peut tre gnralise aux formules alternatives e e e e e e a ` n sous formules (A1 A2 . . .An ) que lon peut opposer ` plusieurs formules Ai1 , . . . , Aik a avec i1 , . . . , ik [1..n]. La r`gle gnrale est assez complexe ` exprimer, contentons nous de e e e a lexemple suivant : si A1 A2 A3 A4 A5 et A1 , A2 , A3 , A5 alors A4 . Formalisation des axiomes Les 15 noncs formant le cur de lnigme se formalisent e e e ainsi : 1. i.(Rouge(i) Ang(i)) 2. i.(Sue(i) Chien(i)) 3. i.(Dan(i) T he(i)) 4. i.(V ert(i) Blanc(i + 1)) 5. i.(V ert(i) Caf e(i)) 9

6. i.(P aM al(i) Ois(i)) 7. Lait(3) 8. i.(Jaune(i) Dunh(i)) 9. N or(1) 10. i.(Roth(i) Chat(i 1) Chat(i + 1)) 11. i.(Dunh(i) Chev(i 1) Chev(i + 1)) 12. i.(Biere(i) P hiM o(i)) 13. i.(N or(i) Bleu(i 1) Bleu(i + 1)) 14. i.(All(i) M arl(i)) 15. i.(Eau(i) Roth(i 1) Roth(i + 1)) Les axiomes implicites concernent des attributs en gnral (couleur, nationalit, etc.). Pour e e e les formaliser, on pose des schmas daxiomes qui utilisent des symboles de prdicats gnriques e e e e (P , P , P1 , P2 , etc.) en place des symboles concrets (Jaune, Ang, Biere, etc.) 1. pour chaque maison, tant donn une esp`ce il existe un attribut tel que cette maison e e e poss`de cet attribut : soit une esp`ce K, si P1 , P2 , P3 , P4 , P5 sont les 5 attributs de K e e et i un indice, on a P1 (i) P2 (i) P3 (i) P4 (i) P5 (i) Ce que lon peut crire plus synthtiquement e e
P K

P (i). On note Ki cette formule.

2. pour chaque attribut, il existe une maison qui poss`de cet attribut : soit une esp`ce e e K, si P est un attribut dans K, on a P (1) P (2) P (3) P (4) P (5) Ce que lon crit plus synthtiquement e e
i[1..5]

P (i). On note IP cette formule.

3. chaque maison na quun seul attribut que chaque esp`ce : soit une esp`ce K, si P e e et P sont deux attributs dans K, on a i.(P (i) P (i)) 4. chaque attribut ne peut ltre que dune seule maison : soit une esp`ce K, si P un e e attribut dans K, on a i, j.(P (i) i = j P (j)) Quil ny ait ni maison no 1, ni maison no 6 signie que quelque soit lattribut P , on na jamais ni P (0), ni P (6). Pour tout symbole de prdicat P , on pose donc : e P (0) et P (6) On appelle respectivement N 0 et N 6 ces formules.

10

Formules atomiques opposables On dit quune formule atomique P (x) est opposable ` a une formule atomique P (y) si de P (x) on peut dduire P (y). e Les axiomes dunicit fournissent un ensemble de couples de formules opposables. Par e exemple si on a Bleu(2), de laxiome i.(Bleu(i) Blanc(i)), on tire par particularisation Bleu(2) Blanc(2), puis, par modus ponens, Blanc(2). Le second axiome dunicit e donne, par exemple : si on sait que N or(1), de laxiome i, j.(N or(i) i = j N or(j)), on tire en particulier N or(1) 1 = 2 N or(2), puis en appliquant deux fois le modus ponens, N or(2). Pour rsumer, nous avons deux formes de formules opposables : e mme indice mais attributs dirents ; e e mme attribut mais indices dirents. e e Preuves formelles Une preuve ou drivation formelles est une suite de lignes de la forme e A R

o` est un numro de ligne, A une formule et R la justication de la formule A. u e Dans la forme stricte des drivations formelles, une formule est justie ` la ligne sil e e a sagit dun axiome ou si elle est obtenue par application dune r`gle ` une ou des formules e a prsentes dans une ou des lignes de la drivation situes avant la ligne . Dans la pratique, e e e nous tendons un epu la notion stricte de justication an de ne pas allourdir lcritures de e e lignes dont les oprations sont par trop triviales. e La liste des formes de justications que nous allons utiliser est : Ax.n qui dsigne laxiome numro n ; e e Ax.n[i := t] qui dsigne la particularisation de laxiome numro n ` la valeur t (usage e e a implicite de la r`gle de particularisation) ; e Mod. Pon.(1 )(2 ) qui dsigne lapplication du modus ponens entre la formules de la e ligne 1 et celle de la ligne 2 ; Mod. Tol.(1 )(2 ) qui dsigne lapplication du modus tollens entre la formules de la e ligne 1 et celle de la ligne 2 ; Cut()(1 , . . . , n ) o` , 1 , . . . , n sont soit des numros de lignes, soit des noms u e daxiomes implicites tels IV ert , B1 , N 0, etc.. La justication dsigne la rgle dlimination e e e de la disjonction rfrence par oppose aux formules rfrences par 1 , . . . , n ; ee e e ee e Opp() qui dsigne une formule atomique opposable ` la formule de la ligne . e a Dduction formelle Nous reprenons, de faon formalise cette fois, les 25 tapes de e c e e la rsolution de lnigme. Chaque tape est constitue dun certain nombre de lignes de e e e e drivations. Les lignes de ltape n sont numrotes n.1, n.2, etc, sauf la derni`re de ltape e e e e e e qui est numrote n et qui est marque dune toile ( ). Chaque tape est prcde dune e e e e e e e e phrase de commentaire annonant, en langue naturelle, sa conclusion. c 11

(1) Le norvgien habite la maison no 1 : e 1 N or(1)

Ax.9

(2) On boit du lait dans la maison du milieu (no 3) : 2 Lait(3) Ax.7 (3) La maison bleue est la maison no 2 : 3.1 N or(1) Bleu(0) Bleu(2) 3.2 Bleu(0) Bleu(2) 3 Bleu(2) (4) La maison verte est la maison no 4 : 4.1 V ert(1) Blanc(2) 4.2 Blanc(2) 4.3 V ert(1) 4.4 V ert(2) 4.5 V ert(3) Caf e(3) 4.6 Caf e(3) 4.7 V ert(3) 4.8 V ert(5) Blanc(6) 4.9 V ert(5) 4 V ert(4) (5) La maison blanche est la maison no 5 : 5.1 V ert(4) Blanc(5) 5 Blanc(5) (6) La maison rouge est la maison no 3 : 6.1 Rouge(1) Ang(1) 6.2 Ang(1) 6.3 Rouge(1) 6.4 Rouge(2) 6.5 Rouge(4) 6.6 Rouge(5) 6 Rouge(3)

Ax.13[i := 1] Mod. Pon.(3.1)(1) Cut(3.2)(N 0)

Ax.4[i := 1] Opp(3) Mod. Tol.(4.1)(4.2) Opp(3) Ax.5[i := 3] Opp(2) Mod. Tol.(4.5)(4.6) Ax.4[i := 5] Mod. Tol.(4.8)(N 6) Cut(IV ert )(4.3, 4.4, 4.7, 4.9)

Ax.4[i := 4] Mod. Pon.(5.1)(4)

Ax.1[i := 1] Opp(1) Mod. Tol.(6.1)(6.2) Opp(3) Opp(4) Opp(5) Cut(IRouge )(6.3, 6.4, 6.5, 6.6)

12

(7) La maison jaune est la maison no 1 : 7.1 Jaune(2) 7.2 Jaune(3) 7.3 Jaune(4) 7.4 Jaune(5) 7 Jaune(1)

Opp(3) Opp(6) Opp(4) Opp(5) Cut(IJaune )(7.1, 7.2, 7.3, 7.4)

(8) On fume des Dunhill dans la maison no 1 : 8.1 Jaune(1) Dunh(1) Ax.8[i := 1] 8 Dunh(1) Mod. Pon.(8.1)(7) (9) LAnglais habite la maison no 3 : 9.1 Rouge(3) Ang(3) 9 Ang(3) (10) On boit du caf dans la maison no 4 : e 10.1 V ert(4) Caf e(4) 10 Caf e(4) (11) Il y a un cheval dans la maison no 2 : 11.1 Dunh(1) Chev(0) Chev(2) 11.2 Chev(0) Chev(2) 11 Chev(2) (12) On 12.1 12.2 12.3 12.4 12.5 12.6 12.7 12.8 12 (13) On 13.1 13.2 13

Ax.1[i := 1] Mod. Pon.(9.1)(6)

Ax.5[i := 4] Mod. Pon.(10.1)(4)

Ax.11[i := 1] Mod. Pon.(11.1)(8) Cut(11.2)(N 0)

boit de leau dans la maison no 1 : Biere(1) P hiM o(1) Ax.12[i := 1] P hiM o(1) Opp(8) Biere(1) Mod. Tol.(12.1)(12.2) Caf e(1) Opp(10) T he(1) Dan(1) Ax.1[i := 1] Dan(1) Opp(1) T he(1) Mod. Tol.(12.5)(12.6) Lait(1) Opp(2) Eau(1) Cut(B1 )(12.3, 12.4, 12.7, 12.8) fume des Rothmann dans la maison no 2 : Eau(1) Roth(0) Roth(2) Ax.15[i := 1] Roth(0) Roth(2) Mod. Pon.(13.1)(12) Roth(2) Cut(13.2)(N 0) 13

(14) Le 14.1 14.2 14.3 14.4 14.5 14.6 14.7 14.8 14

Danois habite la maison no 2 : Ang(2) All(2) M arl(2) M arl(2) All(2) Sue(2) Chien(2) Chien(2) Sue(2) N or(2) Dan(2)

Opp(9) Ax.14[i := 2] Opp(13) Mod. Tol.(14.2)(14.3) Ax.2[i := 2] Opp(11) Mod. Tol.(14.5)(14.6) Opp(1) Cut(N2 )(14.1, 14.4, 14.7, 14.8)

(15) On boit du th dans la maison no 2 : e 15.1 Sue(2) T he(2) 15 T he(2) (16) On 16.1 16.2 16.3 16.4 16 boit de la bi`re dans la maison no 5 e Biere(1) Biere(2) Biere(3) Biere(4) Biere(5)

Ax.3[i := 2] Mod. Pon.(15.1)(14) : Opp(12) Opp(15) Opp(2) Opp(10) Cut(IBiere )(16.1, 16.2, 16.3, 16.4)

(17) On fume des Philipp Morris dans la maison no 5 : 17.1 Biere(5) P hiM o(5) Ax.12[i := 5] 17 P hiM o(5) Mod. Pon.(17.1)(16) (18) LAllemand habite la maison no 4 : 18.1 All(1) 18.2 All(2) 18.3 All(3) 18.4 All(5) M arl(5) 18.5 M arl(5) 18.6 All(5) 18 All(4)

Opp(1) Opp(14) Opp(9) Opp(17) Mod. Tol.(18.4)(18.5) Cut(IAll )(18.1, 18.2, 18.3, 18.6)

(19) On fume des Marlboro dans la maison no 4 : 19.1 All(4) M arl(4) Ax.14[i := 4] 19 M arl(4) Mod. Pon.(19.1)(18)

14

(20) On 20.1 20.2 20.3 20.4 20 (21) Le 21.1 21.2 21.3 21.4 21

fume des Pall Mall dans la maison no 3 : P aM al(1) Opp(8) P aM al(2) Opp(13) P aM al(4) Opp(19) P aM al(5) Opp(17) P aM al(3) Clash(IP aM al )(20.1, 20.2, 20.3, 20.4) Sudois habite la maison no 5 : e Sue(1) Sue(2) Sue(3) Sue(4) Sue(5)

Opp(1) Opp(14) Opp(9) Opp(18) Cut(ISue )(21.1, 21.2, 21.3, 21.4)

(22) Il y a un oiseau dans la maison no 3 : 22.1 P aM al(3) Ois(3) 22 Ois(3) (23) Il y a un chien dans la maison no 5 : 23.1 Sue(5) Chien(5) 23 Chien(5) (24) Il y a un chat dans la maison no 1 : 24.1 Roth(2) Chat(1) Chat(3) 24.2 Chat(1) Chat(3) 24.3 Chat(3) 24 Chat(1)

Ax.6[i := 3] Mod. Pon.(22.1)(20)

Ax.2[i := 5] Mod. Pon.(23.1)(21)

Ax.10[i := 2] Mod. Pon.(24.1)(13) Opp(22) Cut(24.2)(24.3)

(25) Cest dans la maison no 4 quil y a un poisson ! 25.1 P ois(1) Opp(24) 25.2 P ois(2) Opp(11) 25.3 P ois(3) Opp(22) 25.4 P ois(5) Opp(23) 25 P ois(4) Cut(IP ois )(25.1, 25.2, 25.3, 25.4)

Seconde rsolution en calcul des prdicats e e

Intuitivement, on peut reprsenter chaque maison avec son indice, sa couleur, la nationae lit de son habitant, etc. par un n-uplets de 6 valeurs : indice, couleur, nationalit, boisson, e e 15

cigarette, animal. Dans cette vision du probl`me, une maison est une relation M portant sur 6 e individus, les indices, les couleurs, etc. que lon note de faon gnrique M (i, x1 , x2 , x3 , x4 , x5 ). c e e Par rapport ` ce qui prc`de, les constantes dindice 1, 2, etc. conservent leur statut de a e e constantes dindividus, mais les constantes mnmoniques, Jaune, N or, etc. qui avaient le e statut de symboles de prdicats sont rabattues au niveau des constantes dindividus. On e aura, par exemple, comme formule atomique M (1, x1 , N or, x3 , x4 , x5 ) l` o`, dans la version a u prcdente, nous avions N or(1). Les esp`ces dattributs deviennent des esp`ces dindividus. e e e e On aura ainsi des valeurs de lesp`ce Indice, dautres de lesp`ce Couleur, etc. e e Pour allger lcriture, dans la mesure o` nous manipulerons la seule relation M , nous e e u oublierons le nom M pour noter simplement (i, x1 , x2 , x3 , x4 , x5 ). e Pour des raisons historiques, nous crivons A la ngation de la formule A. e Limplication A B est logiquement quivalente ` la disjonction A B. Nous utiliserons e a cette formulation de limplication comme une disjonction. Sur la quantication Lorsque lon dit quil existe un x tel que A(x), si la variable x prend ses valeurs dans lensemble K = {a1 , a2 , . . .}, on dit en fait que A(a1 ) A(a2 ) . . . ; ce que lon crit de faon synthtique aK .A(a). De faon analogue si pour tout x on a A(x), e c e c on a en fait que A(a1 ) A(a2 ) . . . ; ce qui scrit aussi aK .A(a). e Comme les ensembles de valeurs des caractristiques de notre probl`me sont nis (ils contiennent e e en fait 5 lments chacun), chacune des disjonction et conjonction correspondant, respectiee vement, ` des quantications existentielle ou universelle seront galement nies. a e Nous ferons un usage massif de la quantication existentielle et elle ne concernera que des formules atomiques (les n-uplets). Pour simplier lcriture, nous ne mentionnerons pas e le quanticateur existentiel : la formule (i, Rouge, Ang, x3 , x4 , x5 ) devra donc tre comprise e comme i, x3 , x4 , x5 .(i, Rouge, Ang, x3 , x4 , x5 ). Places ainsi, les quantications peuvent tre e e permutes : la formule prcdente est quivalente ` x3 , x4 , x5 , i.(i, Rouge, Ang, x3 , x4 , x5 ). e e e e a On sautorisera, ` discrtion, ` expliciter les quantications. Dans un tel cas, pour lexisa e a tentielle, on utilisera lexpression de lexistentielle comme alternative ; on crira ainsi la e formule prcdente : a3 B (i, Rouge, Ang, a3 , x4 , x5 ). De faon analogue, pour la quantie e c cation universelle explicite, nous utiliserons sa formulation comme conjonction : par exemple iI .((i, V ert, x2 , x3 , x4 , x5 ) (i + 1, Blanc, x2 , x3 , x4 , x5 )). Attention, les x2 , x3 , x4 , x5 de la prmisse de limplication (i, V ert, x2 , x3 , x4 , x5 ) ne sont pas e ncessairement les mmes que les x2 , x3 , x4 , x5 de la conclusion (i + 1, Blanc, x2 , x3 , x4 , x5 ) : e e noublions pas la quantication existentielle implicite. Dans notre probl`me, ce ne sera mme e e jamais le cas. En revanche, pour ce concerne le i, puisque le iI . porte sur la prmisse et e la conclusion, leur i est bien le mme. e Les axiomes ou contraintes L` o` dans la formalisation du paragraphe prcdent, une a u e e maison tait caractrise par 5 formules atomiques (par ex. V ert(4), All(4), Caf e(4), M arl(4), P ois(4)), e e e dans la prsente formalisation, on a une seule formule donnant la relation entre 6 valeurs : e 16

(4, V ert, All, Caf e, M arl, P ois). Lorsque lon veut formalise une information partielle sur e une maison (par ex. lAnglais habite la maison rouge ), on pose un n-uplet o` certaines u valeurs restent indtermines, variables : (i, Rouge, Ang, x3 , x4 , x5 ). Quel est le statut des e e variables i, x3 , x4 , x5 ? Lnonc lAnglais habite la maison rouge xe les valeurs Rouge e e et Ang comme deuxi`me et troisi`me terme de la relation et, sil ne xe pas les autres, il e e suppose nanmoins leur existence. Explicitement formul, laxiome 1 serait donc e e i, x3 , x4 , x5 .(i, Rouge, Ang, x3 , x4 , x5 ) mais, ` linstar des noncs en langue naturelle, nous avons dcid de laisser implicite la a e e e e quantication existentielle. Ainsi, les contraintes poses par les noncs numrots de 1 ` 15 dans la prsentation e e e e e a e de lnigme, compte tenu de la notation du quaticateur universel comme conjonction, de e la notation de limplication comme disjonction et de lusage implicite de la quatication existentielle scrivent e 1. (i, Rouge, Ang, x3 , x4 , x5 ) 2. (i, x1 , Sue, x3 , x4 , Chien) 3. (i, x1 , Dan, T he, x4 , x5 ) 4.
iI

.((i, V ert, x2 , x3 , x4 , x5 ) (i + 1, Blanc, x2 , x3 , x4 , x5 ))

5. (i, V ert, x2 , Caf e, x4 , x5 ) 6. (i, x1 , x2 , x3 , P aM al, Ois) 7. (3, x1 , x2 , Lait, x4 , x5 ) 8. (i, Jaune, x2 , x3 , Dunh, x5 ) 9. (1, x1 , N or, x3 , x4 , x5 ) 10. 11. 13. 15.
iI iI

.((i, x1 , x2 , x3 , Roth, x5 ) (i 1, x1 , x2 , x3 , x4 , Chat) (i + 1, x1 , x2 , x3 , x4 , Chat)) .((i, x1 , x2 , x3 , x4 , Chev) (i 1, x1 , x2 , x3 , Dunh, x5 ) (i + 1, x1 , x2 , x3 , Dunh, x5 )) .((i, x1 , N or, x3 , x4 , x5 ) (i 1, Bleu, x2 , x3 , x4 , x5 ) (i + 1, Bleu, x2 , x3 , x4 , x5 )) .((i, x1 , x2 , Eau, x4 , x5 ) (i 1, x1 , x2 , x3 , Roth, x5 ) (i + 1, x1 , x2 , x3 , Roth, x5 ))

12. (i, x1 , x2 , Biere, P hiM o, x5 )

iI

14. (i, x1 , All, x3 , M arl, x5 )

iI

Les deux contraintes dexistences induites par la dirence de niveau entre individus e (valeurs dindices) et prdicats (couleurs, nationalit, etc.) de la premi`re formalisation, ont e e e ici une formulation uniforme puisque indice, couleur, nationalit, etc. se retrouvent au mme e e niveau. De faon schmatique, si Ki et Kj sont deux esp`ces, si ai est une valeur dans Ki , c e e on pose .(. . . , ai , . . . , xj , . . .)
xj Kj

17

soit, dans sa forme dveloppe, si b1 , b2 , b3 , b4 , b5 sont les 5 valeurs dans Kj : e e j j j j j (. . . , ai , . . . , b1 , . . .) j (. . . , ai , . . . , b2 , . . .) j (. . . , ai , . . . , b3 , . . .) j (. . . , ai , . . . , b4 , . . .) j (. . . , ai , . . . , b5 , . . .) j Le nom gnrique de cette formule est Kj ai . e e Notons que lordre entre i et j nest pas signicatif, dans la notation gnrique on ne e e distingue pas (. . . , xi , . . . , xj , . . .) davec (. . . , xj , . . . , xi , . . .). Comme pour lexistence, on peut donner une, et une seule, formulation gnrique des e e contraintes dunicit. Soient Ki et Kj deux esp`ces, on pose : e e ((. . . , ci , . . . , cj , . . .)
ci Ki cj Kj dj Kj

(cj = dj (. . . , ci , . . . , dj , . . .)))

Il faut expliciter ici que dans chaque esp`ce, chacun des symboles de constante dnote e e une valeur dirente : le Jaune est dirent du Bleu. Pour chaque couple de symboles de e e constante c, d dune esp`ce, on a donc lingalit e e e c=d On a enn les deux contraintes dinexistence des maisons 0 et 6 : (0, x1 , x2 , x3 , x4 , x5 ) et (6, x1 , x2 , x3 , x4 , x5 ) qui correspondent aux formules N 0 et N 6. R`gles et justication On utilise essentiellement la r`gle dlimination des alternatives e e e (r`gle Cut) avec la formulation de limplication comme une disjonction, la rgle du modus e e ponens devient un cas particulier de llimination de laternative. On drivera de la r`gle Cut e e e et des contraintes dexistence et dunicit une r`gle de fusion (Merge) et une r`gle de conit e e e (Clash). Par L, L1 , Li , Ln , etc. on dsigne soit un n-uplet soit la ngation dun n-uplet, ce que e e e lon appelle un littral. Un littral L est opposable ` un littral L si L implique L. La r`gle e e a e dlimination dune alternative snonce (r`gle Cut) : e e e si L1 . . . Li . . . Ln et si Li est opposable ` Li a alors L1 . . . Li1 Li+1 . . . Ln . Bien que les quantications soient implicites, on peut utiliser les r`gles standard de reme placement dune constante par une variable existentielle et de particularisation dune uni` verselle par une constante. A savoir : 18

 Elimination dune constante dun littral positif : si (. . . , ci , . . .) alors (. . . , xi , . . .). e Introduction dune constante dans un littral ngatif : si (. . . , xi , . . .) alors (. . . , ci , . . .). e e Llimination dune constante est en fait la r`gle standard qui dit que si lon a A(c) pour une e e certaine constante c alors il existe x tel que A(x) (ci-dessus, la quantication est implicite). Lintroduction dune constante se justie ainsi : la ngation dune existentielle (ici implicite) e est quivalente ` une universelle ngative : x.A x.A. Et ce qui vaut pour tout x vaut e a e en particulier pour une constante. Si lon a x deux paires de caractristiques dans Ki , Kj et Ki , Kk dont une valeur est e e commune, on peut les fusionner (r`gle Merge) : e si (. . . , ci , . . . , cj , . . . , xk , . . .) et si (. . . , ci , . . . , xj , . . . , ck , . . .) alors (. . . , ci , . . . , cj , . . . , ck , . . .).
j Cette r`gle se justie ainsi : laxiome Kci scrit bj Kj (. . . , ci , . . . , bj , . . . , xk , . . .). En itrant e e e la r`gle Cut pour chaque (. . . , ci , . . . , bj , . . . , xk , . . .) auquel (. . . , ci , . . . , cj , . . . , xk , . . .) est e opposable (i.e. ci = bj ) et en explicitant lexistence pour Kk , on obtient lalternative () : ak Kk (. . . , ci , . . . , cj , . . . , ak , . . .) De (. . . , ci , . . . , xj , . . . , ck , . . .), on obtient, pour chaque ak = ck , le littral e (. . . , ci , . . . , xj , . . . , ak , . . .) o` lon introduit la constante cj pour obtenir u (. . . , ci , . . . , cj , . . . , ak , . . .). Chacun de ces littraux est opposable ` un terme de lalternative e a (). Do`, en itrant la r`gle Cut : (. . . , ci , . . . , cj , . . . , ck , . . .). u e e

La r`gle du conit permet de nier la possibilit de lassociation de certaines valeurs (r`gle e e e Clash) : si (. . . , ci , . . . , xj , . . . , ck , . . .) et (. . . , xi , . . . , cj , . . . , dk , . . .) et si ck = dk alors (. . . , ci , . . . , cj , . . . , xk , . . .). On justie cette r`gle en raisonnant par labsurde : supposons (. . . , ci , . . . , xj , . . . , ck , . . .) et e (. . . , xi , . . . , cj , . . . , dk , . . .) mais (. . . , ci , . . . , cj , . . . , xk , . . .), cest-`-dire a (. . . , ci , . . . , cj , . . . , xk , . . .). Par fusion, on obtient (. . . , ci , . . . , cj , . . . , ck , . . .). Do`, par limination u e de la constante ci , (. . . , xi , . . . , cj , . . . , ck , . . .). Comme ck = dk , on en dduit e (. . . , xi , . . . , cj , . . . , dk , . . .), ce qui contredit notre deuxi`me hypoth`se. e e Les contraintes dunicit fournissent toute une srie de littraux (. . . , ci , . . . , dj , . . .) oppoe e e i i sables ` (. . . , ci , . . . , cj , . . .) avec ci K , cj , dj K et cj = dj : en eet, si (. . . , ci , . . . , dj , . . .), a de la contrainte dunicit pour les caractristiques Ki , Kj , on dduit aj Kj .(dj = ai e e e (. . . , ci , . . . , aj , . . .)). Do`, en particulier pour cj = dj , (. . . , ci , . . . , cj , . . .). u Dans notre criture formelle des preuves, lusage des r`gles est matrialise par la justie e e e cation de chaque ligne. La liste des justications utilise ici est : e Ax.n qui dsigne laxiome numro n ; e e Ax.n[i := t] qui dsigne la particularisation de laxiome numro n ` la valeur t (usage e e a implicite de la r`gle de particularisation) ; e 19

 Cut()(1 , . . . , n ) o` , 1 , . . . , n sont soit des numros de lignes, soit des noms u e daxiomes implicites tels IV ert , B1 , etc., soit une instance de N 0 ou N 6 (on note N 0[xi := ci ], resp. N 6[xi := ci ], avec xi variable et ci valeur constante). La justication dsigne la e rgle dlimination de la disjonction rfrence par oppose aux formules rfrences e e ee e e ee e par 1 , . . . , n ; Clash(1 )(2 ) qui dsigne lapplication de la r`gle de conit entre les formules dsignes e e e e par 1 et 2 . Merge(1 , . . . , n ) qui dsigne litration de la r`gle de fusion entre les formules rfrences e e e ee e par 1 , . . . , n . ElimC(n) qui dsigne lapplication (possiblement itre) de la r`gle dlimination de e ee e e constantes dans la formule de la ligne n. La solution (1) Le norvgien habite la maison no 1 : e 1 (1, x1 , N or, x3 , x4 , x5 )

Ax.9

(2) On boit du lait dans la maison du milieu (no 3) : 2 (3, x1 , x2 , Lait, x4 , x5 ) Ax.7 (3) La maison bleue est la maison no 2 : 3.1 (1, x1 , N or, x3 , x4 , x5 ) (0, Bleu, x2 , x3 , x4 , x5 ) (2, Bleu, x2 , x3 , x4 , x5 ) 3 (2, Bleu, x2 , x3 , x4 , x5 ) (4) La maison verte est la maison no 4 : 4.1 (1, V ert, x2 , x3 , x4 , x5 ) (2, Blanc, x2 , x3 , x4 , x5 ) 4.2 (1, V ert, x2 , x3 , x4 , x5 ) 4.3 (3, V ert, x2 , x3 , x4 , x5 ) 4.4 (5, V ert, x2 , x3 , x4 , x5 ) (6, Blanc, x2 , x3 , x4 , x5 ) 4.5 (5, V ert, x2 , x3 , x4 , x5 ) 4 (4, V ert, x2 , x3 , x4 , x5 ) (5) La maison blanche est la maison no 5 : 5 (5, Blanc, x3 , x4 , x5 )

Ax.13[i := 1] Cut(3)(1, N 0[x1 := Bleu])

Ax.4[i := 1] Cut(4.1)(3) Clash(Ax.5)(2) Ax.4[i := 5] Cut(4.4)(N 6[x1 := Blanc]) Cut(IV ert )(4.2, 3, 4.3, 4.5)

Cut(Ax.4[i := 4])(4)

20

(6) La maison rouge est la maison no 3 : 6.1 (1, Rouge, x2 , x3 , x4 , x5 ) 6 (3, Rouge, x2 , x3 , x4 , x5 ) (7) La maison jaune est la maison no 1 : 7 (1, Jaune, x2 , x3 , x4 , x5 )

Clash(Ax.1)(Ax.9) Cut(IRouge )(6.1, 3, 4, 5)

Cut(IJaune )(3, 6, 4, 5)

(8) On fume des Dunhill dans la maison no 1 : 8.1 (1, Jaune, N or, x3 , Dunh, x5 ) Merge(7, Ax.8, Ax.9) 8 (1, x1 , x2 , x3 , Dunh, x5 ) ElimC(8.1) (9) LAnglais habite la maison no 3 : 9.1 (3, Rouge, Ang, Lait, x4 , x5 ) 9 (3, x1 , Ang, x3 , x4 , x5 ) (10) On boit du caf dans la maison no 4 : e 10.1 (4, V ert, x2 , Caf e, x4 , x5 ) 10 (4, x1 , x2 , Caf e, x4 , x5 ) (11) Il y a un cheval dans la maison no 2 : 11.1 (1, x1 , x2 , x3 , Dunh, x5 ) (0, x1 , x2 , x3 , x4 , Chev) (2, x1 , x2 , x3 , x4 , Chev) 11 (2, x1 , x2 , x3 , x4 , Chev) (12) On 12.1 12.2 12.3 12

Merge(6, Ax.1, 2) ElimC(9.1)

Merge(4, Ax.5) ElimC(10.1)

Ax.11[i := 1] Cut(11.1)(8, N 0[x5 := Chev])

boit de leau dans la maison no 1 : (1, x1 , x2 , Biere, x4 , x5 ) Clash(Ax.12)(8) (1, x1 , x2 , Caf e, x4 , x5 ) Clash(Ax.5)(7) (1, x1 , x2 , T he, x4 , x5 ) Clash(Ax.9)(Ax.3) (1, x1 , x2 , Eau, x4 , x5 ) Cut(B1 )(12.1, 12.2, 12.3, Ax.7)

(13) On fume des Rothmann dans la maison no 2 : 13.1 (1, x1 , x2 , Eau, x4 , x5 ) (0, x1 , x2 , x3 , Roth, x5 ) (2, x1 , x2 , x3 , Roth, x5 ) Ax.15[i := 1] 13 (2, x1 , x2 , x3 , Roth, x5 ) Cut(13.1)(12, N 0[x4 := Roth])

21

(14) Le 14.1 14.2 14.3 14

Danois habite la maison no 2 : (2, x1 , Ang, x3 , x4 , x5) (2, x1 , All, x3 , x4 , x5 ) (2, x1 , Sue, x3 , x4 , x5 ) (2, x1 , Dan, x3 , x4 , x5 )

Clash(Ax.1)(3) Clash(Ax.14)(13) Clash(Ax.2)(11) Cut(N2 )(14.1, 14.2, 14.3, Ax.9)

(15) On boit du th dans la maison no 2 : e 15.1 (2, Bleu, Dan, T he, Roth, Chev) 15 (2, x1 , x2 , T he, x4 , x5 )

Merge(Ax.3, 3, 11, 13, 14) ElimC(15.1)

(16) On boit de la bi`re dans la maison no 5 : e 16 (5, x1 , x2 , Biere, x4 , x5 ) Cut(IBiere )(12, 15, Ax.7, 10) (17) On fume des Philipp Morris dans la maison no 5 : 17.1 (5, Blanc, x2 , Biere, P hiM o, x5 ) Merge(Ax.12, 5, 16) 17 (5, x1 , x2 , x3 , P hiM o, x5 ) ElimC(17.1) (18) LAllemand habite la maison no 4 : 18.1 (5, x1 , All, x3 , x4 , x5 ) 18 (4, x1 , All, x3 , x4 , x5 )

Clash(Ax.14)(17.1) Cut(IAll )(Ax.9, 14, 9, 18.1)

(19) On fume des Marlboro dans la maison no 4 : 19.1 (4, V ert, All, Caf e, M arl, x5 ) Merge(Ax.14, 10.1, 18) 19 (4, x1 , x2 , x3 , M arl, x5 ) ElimC(19.1) (20) On fume des Pall Mall dans la maison no 3 : 20 (3, x1 , x2 , x3 , P aM al, x5 ) Cut(IP aM al )(8, 13, 19, 17) (21) Le Sudois habite la maison no 5 : e 21 (5, x1 , Sue, x3 , x4 , x5 )

Cut(ISue )(Ax.9, 14, 9, 18)

(22) Il y a un oiseau dans la maison no 3 : 22.1 (3, Rouge, Ang, Lait, P aM al, Ois) Merge(Ax.6, 9.1, 20) 22 (3, x1 , x2 , x3 , x4 , Ois) ElimC(22.1) (23) Il y a un chien dans la maison no 5 : 23.1 (5, Blanc, Sue, Biere, P hiM o, Chien) Merge(17.1, 21, Ax.2) 23 (5, x1 , x2 , x3 , x4 , Chien) ElimC(23.1) 22

(24) Il y a un chat dans la maison no 1 : 24.1 (2, x1 , x2 , x3 , Roth, x5 ) (1, x1 , x2 , x3 , x4 , Chat) (3, x1 , x2 , x3 , x4 , Chat) 24 (1, x1 , x2 , x3 , x4 , Chat)

Ax.10[i := 2] Cut(24.1)(13, 22)

(25) Cest dans la maison no 4 quil y a un poisson ! 25 (4, x1 , x2 , x3 , x4 , P ois) Cut(IP ois )(24, 11, 22, 23) (4, V ert, All, Caf e, M arl, P ois) Merge(19.1, 25)

Rsolution quationelle e e

Dans cette modlisation, on ne conserve comme symboles de constantes que les indices : e 1, 2, 3, 4, 5. Ce qui tait ci-dessus symboles de constantes pour les valeurs de couleurs, e nationalits, etc. deviennent ici des symboles de variables dont il sagit de dterminer la e e valeur. Ces variables prendront leur valeur dans lintervale [1..5]. Rsoudre lnigme consiste e e donc ici ` dterminer la valeur enti`re (numro de maison) de la variable P ois : rsoudre a e e e e lquation P ois = i. e Les contraintes La relation entre caractristiques devient ici lgalit entre valeurs de e e e variables : que langlais habite la maison rouge devient donc Ang = Rouge. Ainsi, les noncs de lnigme, numrots de 1 ` 15, sont transcrits de la faon suivante : e e e e e a c 1. Ang = Rouge 2. Sue = Chien 3. Dan = T he 4. Blanc = V ert + 1 5. V ert = Caf e 6. P aM al = Ois 7. Lait = 3 8. Jaune = Dunh 9. N or = 1 10. Roth = Chat + 1 Roth = Chat 1 11. Chev = Dunh + 1 Chev = Dunh 1 12. P hiM o = Biere 13. Bleu = N or + 1 Bleu = N or 1 23

14. All = M arl 15. Roth = Eau 1 Roth = Eau + 1 Les contraintes dexistence sont rsumes par la simple disjonction e e V =1V =2V =3V =4V =5 On nomme IV la disjonction correspondant ` la variable V . a La contrainte dunicit est exprime par le fait que chaque variable doit recevoir une e e valeur unique, i.e. dirente des valeurs des autres variables : pour chaque couple de variables e lexicalement direntes V1 , V2 qui appartiennent ` une mme esp`ce, on a lingalit e a e e e e V1 = V2 Linexistence des maisons dindice 0 et 6 snonce : pour toute variable V e V =0 que lon nomme schmatiquement N 0 et N 6. e R`gles et justications Les deux r`gles majeures utilise dans cette version sont llimination e e e e de lalternative et la rduction ` labsurde. Pour ces deux r`gles, nous admettrons leur utie a e lisation tendue aux quations opposables. Une quation x = y est opposable ` x = y si de e e e a x = y on sait dduire x = y. Si V1 et V2 = n sont deux variables direntes dune mme e e e esp`ce et t nimporte quelle expression (constante, variable, etc.), alors les quations V1 = t e e et V2 = t sont opposables. En eet, puisque V1 et V2 = n sont deux variables direntes dune e mme esp`ce, on a lingalit V1 = V2 ; en y remplaant V2 par t, comme nous y autorise e e e e c lquation V2 = t, on obtient lingalit V1 = t. e e e Cest par dnition mme de la relation dgalit que lon peut tpoujours remplacer un e e e e gal par un gal : si lon sait que x = z, dans une quation x = y, on peut toujours remplacer e e e x par z pour obtenbir lquation logiquement quivalente z = y. e e La relation dgalit est symtrique : nous assimilerons les quations x = y et y = x. e e e e Les justications issues des rgles ci utilises sont : e e o Ax.n laxiome n n. Ax.n [] laxiome no n o` lun des termes a t remplac en conformit avec lquation u ee e e e rfrence par . ee e Hyp pose dune hypoth`se (en vue dune rduction ` labsurde). e e a Abs (n)(1 , 2 ) la rduction ` labsurde de lhypoth`se pose ligne n par la contradice a e e tion entre les quation et inquation rfrences 1 et 2 . e e ee e Cut()(1 , . . . , n ) llimination entre la disjonction rfrence par et les inquations e ee e e (ou quations) rfrences par 1 , . . . , n . e ee e V =6

24

La solution (1) Le norvgien habite la maison no 1 : e 1 N or = 1

Ax.9

(2) On boit du lait dans la maison du milieu (no 3) : 2 Lait = 3 Ax.7 (3) La maison bleue est la maison no 2 : 3.1 Bleu = 0 Bleu = 2 3 Bleu = 2 (4) La maison verte est la maison no 4 : 4.1 V ert = 1 4.2 Blanc = 2 4.3 V ert = 1 4.4 V ert = 3 4.5 Caf e = 3 4.6 V ert = 3 4.7 V ert = 5 4.8 Blanc = 6 4.9 V ert = 5 4 V ert = 4 (5) La maison blanche est la maison no 5 : 5 Blanc = 5 (6) La maison rouge est la maison no 3 : 6.1 Rouge = 1 6.2 Ang = 1 6.3 Rouge = 1 6 Rouge = 3 (7) La maison jaune est la maison no 1 : 7 Jaune = 1

Ax.13 [1] Cut(3)(N 0)

Hyp Ax.4 [5] Abs (4.1)(4.2, 3) Hyp Ax.5 [4.4] Abs (4.4)(4.5, 3) Hyp Ax.4 [4.7] Abs (4.7)(4.8, N 6) Cut(IV ert )(4.3, 3, 4.6, 4.9)

Ax.4 [4]

Hyp Ax.1 [6.1] Abs (6.1)(6.2, 1) Cut(IRouge )(6.3, 3, 4, 5)

Cut(IJaune )(3, 6, 4, 5)

(8) On fume des Dunhill dans la maison no 1 : 8 Dunh = 1 Ax.8 [7]

25

(9) LAnglais habite la maison no 3 : 9 Ang = 3 (10) On boit du caf dans la maison no 4 : e 10 Caf e = 4 (11) Il y a un cheval dans la maison no 2 : 11.1 Chev = 0 Chev = 2 11 Chev = 2 (12) On 12.1 12.2 12.3 12.4 12.5 12.6 12

Ax.1 [6]

Ax.5 [4]

Ax.11 [8] Cut(11.1)(N 0)

boit de leau dans la maison no 1 : Biere = 1 Hyp P hiM o = 1 Ax.12 [12.1] Biere = 1 Abs (12.1)(12.2, 8) T he = 1 Hyp Dan = 1 Ax.3 [12.4] T he = 1 Abs (12.4)(12.5, 1) Eau = 1 Cut(B1 )(12.3, 10, 12.6, 2)

(13) On fume des Rothmann dans la maison no 2 : 13.1 Roth = 0 Roth = 2 Ax.15 [12] 13 Roth = 2 Cut(13.1)(N 0) (14) Le 14.1 14.2 14.3 14.4 14.5 14.6 14 Danois habite la maison no 2 : All = 2 M arl = 2 All = 2 Sue = 2 Chien = 2 Sue = 2 Dan = 2

Hyp Ax.14 [14.1] Abs (14.1)(14.2, 13) Hyp Ax.2 [14.4] Abs (14.4)(14.5, 11) Cut(N2 )(9, 14.3, 14.6, 1)

(15) On boit du th dans la maison no 2 : e 15 T he = 2

Ax.3 [14]

(16) On boit de la bi`re dans la maison no 5 : e 16 Biere = 5 Cut(IBiere )(12, 15, 2, 10)

26

(17) On fume des Philipp Morris dans la maison no 5 : 17 P hiM o = 5 Ax.12 [16] (18) LAllemand habite la maison no 4 : 18.1 All = 5 18.2 M arl = 5 18.3 All = 5 18 All = 4

Hyp Ax.14 [18.1] Abs (18.1)(18.2, 17) Cut(IAll )(1, 14, 9, 18.3)

19On fume des Marlboro dans la maison no 4 : 19 M arl = 4 Ax.14 [18] (20) On fume des Pall Mall dans la maison no 3 : 20 P aM al = 3 Cut(IP aM al )(8, 13, 19, 17) (21) Le Sudois habite la maison no 5 : e 21 Sue = 5 (22) Il y a un oiseau dans la maison no 3 : 22 Ois = 3 (23) Il y a un chien dans la maison no 5 : 23 Chien = 5 (24) Il y a un chat dans la maison no 1 : 24.1 Chat = 1 Chat = 3 24 Chat = 1

Cut(ISue )(1, 14, 9, 18)

Ax.6 [20]

Ax.2 [21]

Ax.10 [13] Cut(24.1)(22)

(25) Cest dans la maison no 4 quil y a un poisson ! 25 P ois = 4 Cut(IP ois )(24, 11, 22, 23)

Rsum graphique des tapes de rsolution e e e e

La mthode nave de rsolution de lnigme consiste ` dessiner un tableau de 5 sur 5 dont e e e a chaque colonne (ou ligne) reprsente une maison et chaque ligne (ou colonne) reprsente un e e attribut. Le jeu consiste alors ` remplir progressivement les cases du tableau en fonction des a informations dduites jusqu` ce quapparaisse linformation recherche : les poissons. e a e 27

Nous donnons ci-apr`s les 25 tapes (5 maisons, 5 attributs : 25 = 5 5) de remplissage e e du tableau qui re`tent nos 25 tapes de raisonnement. Nous avons choisi le rangement du e e tableau en ligne pour les maisons et colonnes pour les attributs : cette prsentation est ` e a rapprocher de la seconde formalisation en calcul des prdicats o` chaque maison est modlise e u e e par un n-uplet de 6 valeurs. Indice 1 2 (1) 3 4 5 Indice 1 2 (2) 3 4 5 Indice 1 2 (3) 3 4 5 Indice 1 2 (4) 3 4 5 Indice 1 2 (5) 3 4 5 Couleur N ationalit Boisson Fume e Nor. Animal

Couleur N ationalit Boisson Fume e Nor. Lait

Animal

Couleur N ationalit Boisson Fume e Nor. Bleu Lait

Animal

Couleur N ationalit Boisson Fume e Nor. Bleu Lait Vert Couleur N ationalit Boisson Fume e Nor. Bleu Lait Vert Blanc

Animal

Animal

28

Indice 1 2 (6) 3 4 5 Indice 1 2 (7) 3 4 5 Indice 1 2 (8) 3 4 5 Indice 1 2 (9) 3 4 5 Indice 1 2 (10) 3 4 5 Indice 1 2 (11) 3 4 5

Couleur N ationalit Boisson Fume e Nor. Bleu Rouge Lait Vert Blanc Couleur N ationalit Boisson Fume e Jaune Nor. Bleu Rouge Lait Vert Blanc

Animal

Animal

Couleur N ationalit Boisson Fume Animal e Jaune Nor. Dunh. Bleu Rouge Lait Vert Blanc Couleur N ationalit Boisson Fume Animal e Jaune Nor. Dunh. Bleu Rouge Ang. Lait Vert Blanc Couleur N ationalit Boisson Fume Animal e Jaune Nor. Dunh. Bleu Rouge Ang. Lait Vert Caf e Blanc Couleur N ationalit Boisson Fume Animal e Jaune Nor. Dunh. Bleu Chev. Rouge Ang. Lait Vert Caf e Blanc

29

Indice 1 2 (12) 3 4 5 Indice 1 2 (13) 3 4 5 Indice 1 2 (14) 3 4 5 Indice 1 2 (15) 3 4 5 Indice 1 2 (16) 3 4 5 Indice 1 2 (17) 3 4 5

Couleur N ationalit Boisson Fume Animal e Jaune Nor. Eau Dunh. Bleu Chev. Rouge Ang. Lait Vert Caf e Blanc Couleur N ationalit Boisson Fume Animal e Jaune Nor. Eau Dunh. Bleu Roth. Chev. Rouge Ang. Lait Vert Caf e Blanc Couleur N ationalit Boisson Fume Animal e Jaune Nor. Eau Dunh. Bleu Dan. Roth. Chev. Rouge Ang. Lait Vert Caf e Blanc Couleur N ationalit Boisson Fume Animal e Jaune Nor. Eau Dunh. Bleu Dan. Th e Roth. Chev. Rouge Ang. Lait Vert Caf e Blanc Couleur N ationalit Boisson e Fume Jaune Nor. Eau Dunh. Bleu Dan. Th e Roth. Rouge Ang. Lait Vert Caf e Blanc Bi`re e Phi. Mo. Couleur N ationalit Boisson e Fume Jaune Nor. Eau Dunh. Bleu Dan. Th e Roth. Rouge Ang. Lait Vert Caf e Blanc Bi`re e Phi. Mo. Animal Chev.

Animal Chev.

30

Indice 1 2 (18) 3 4 5 Indice 1 2 (19) 3 4 5 Indice 1 2 (20) 3 4 5 Indice 1 2 (21) 3 4 5 Indice 1 2 (22) 3 4 5 Indice 1 2 (23) 3 4 5

Couleur N ationalit Boisson e Fume Jaune Nor. Eau Dunh. Bleu Dan. Th e Roth. Rouge Ang. Lait Vert All Caf e Blanc Bi`re e Phi. Mo. Couleur N ationalit Boisson e Fume Jaune Nor. Eau Dunh. Bleu Dan. Th e Roth. Rouge Ang. Lait Vert All Caf e Marl. Blanc Bi`re e Phi. Mo. Couleur N ationalit Boisson e Fume Jaune Nor. Eau Dunh. Bleu Dan. Th e Roth. Rouge Ang. Lait Pa. Mal. Vert All Caf e Marl. Blanc Bi`re e Phi. Mo. Couleur N ationalit Boisson e Fume Jaune Nor. Eau Dunh. Bleu Dan. Th e Roth. Rouge Ang. Lait Pa. Mal. Vert All Caf e Marl. Blanc Su`. e Bi`re e Phi. Mo. Couleur N ationalit Boisson e Fume Jaune Nor. Eau Dunh. Bleu Dan. Th e Roth. Rouge Ang. Lait Pa. Mal. Vert All Caf e Marl. Blanc Su`. e Bi`re e Phi. Mo. Couleur N ationalit Boisson e Fume Jaune Nor. Eau Dunh. Bleu Dan. Th e Roth. Rouge Ang. Lait Pa. Mal. Vert All Caf e Marl. Blanc Su`. e Bi`re e Phi. Mo.

Animal Chev.

Animal Chev.

Animal Chev.

Animal Chev.

Animal Chev. Ois.

Animal Chev. Ois. Chien

31

Indice 1 2 (24) 3 4 5 Indice 1 2 (25) 3 4 5

Couleur N ationalit Boisson e Fume Jaune Nor. Eau Dunh. Bleu Dan. Th e Roth. Rouge Ang. Lait Pa. Mal. Vert All Caf e Marl. Blanc Su`. e Bi`re e Phi. Mo. Couleur N ationalit Boisson e Fume Jaune Nor. Eau Dunh. Bleu Dan. Th e Roth. Rouge Ang. Lait Pa. Mal. Vert All Caf e Marl. Blanc Su`. e Bi`re e Phi. Mo.

Animal Chat Chev. Ois. Chien Animal Chat Chev. Ois. Pois. Chien

32