Intelligence artificielle
CS-330
Solution de l'exercice 1
Cette page fait partie du contenu téléchargé de Solution de l'exercice 1 le lundi, 30 juin 2025, 16:53. Certains contenus et tous les fichiers de taille plus grande que 50 Mo ne sont pas téléchargés.
Fichiers et sous-dossiers
- planification_solution_1.zip
- .buildinfo
- documentation.html
- genindex.html
- index.html
- lab9.html
- objects.inv
- py-modindex.html
- search.html
- searchindex.js
- SolutionExo1.html
- libPlan.py
- libPSC.py
- missionnairesTemplate.py
- planificateurTemplate.py
- PSC.py
- 2f445e3631317d665438ba0ce0c6c424bccd830b.png
- 3db040894df678989ecf7356452464aef9e468f9.png
- 6426372dd89688dbf7563600ac1e7198694480c0.png
- 7bb960cb689d70727a32f85779d2ee683dc57086.png
- 8798714c3382418c2ec4e453c14942a0011a00a8.png
- 98636f1283deeb882cb56193195ea87c2a341c3f.png
- a0af104bcdfc2125831de86259cf02f696bef4d9.png
- b3e857b8356947f37c25588e35e0e2fe0b522b83.png
- b7f338ec4bb3087b1370d816e6bcc3b6acb3f792.png
- cb1cd9d29af3a38ca3adc73feaf19b2b7bb33516.png
- d209aacaf551f447eb1819b6889a6a56f2ce505f.png
- documentation.txt
- index.txt
- lab9.txt
- SolutionExo1.txt
- libPlan.Operateur.__init__.txt
- libPlan.Operateur.aPourPostcondition.txt
- libPlan.Operateur.aPourPrecondition.txt
- libPlan.Operateur.retournePostconditions.txt
- libPlan.Operateur.retournePreconditions.txt
- libPlan.Operateur.txt
- libPlan.ProblemeDePlanification.__init__.txt
- libPlan.ProblemeDePlanification.ajouteConditionFinale.txt
- libPlan.ProblemeDePlanification.ajouteConditionInitiale.txt
- libPlan.ProblemeDePlanification.ajouteMutexDePropositions.txt
- libPlan.ProblemeDePlanification.ajouteMutexDOperateurs.txt
- libPlan.ProblemeDePlanification.ajouteOperateur.txt
- libPlan.ProblemeDePlanification.ajouteProposition.txt
- libPlan.ProblemeDePlanification.retourneConditionsFinales.txt
- libPlan.ProblemeDePlanification.retourneConditionsInitiales.txt
- libPlan.ProblemeDePlanification.retourneMutexDePropositions.txt
- libPlan.ProblemeDePlanification.retourneMutexDOperateurs.txt
- libPlan.ProblemeDePlanification.retourneOperateurs.txt
- libPlan.ProblemeDePlanification.retournePropositions.txt
- libPlan.ProblemeDePlanification.txt
- libPlan.txt
- libPSC.Contrainte.__init__.txt
- libPSC.Contrainte.dimension.txt
- libPSC.Contrainte.estValide.txt
- libPSC.Contrainte.txt
- libPSC.ContrainteBinaire.__init__.txt
- libPSC.ContrainteBinaire.dimension.txt
- libPSC.ContrainteBinaire.estPossible.txt
- libPSC.ContrainteBinaire.estValide.txt
- libPSC.ContrainteBinaire.propage.txt
- libPSC.ContrainteBinaire.reviser.txt
- libPSC.ContrainteBinaire.txt
- libPSC.ContrainteUnaire.__init__.txt
- libPSC.ContrainteUnaire.dimension.txt
- libPSC.ContrainteUnaire.estValide.txt
- libPSC.ContrainteUnaire.txt
- libPSC.txt
- libPSC.Variable.__init__.txt
- libPSC.Variable.enleveDuLabel.txt
- libPSC.Variable.initLabel.txt
- libPSC.Variable.metAJourValeur.txt
- libPSC.Variable.nomEstEgal.txt
- libPSC.Variable.tailleDuDomaine.txt
- libPSC.Variable.tailleDuLabel.txt
- libPSC.Variable.txt
- missionnaires.txt
- planificateur.afficheEtats.txt
- planificateur.afficheNombreVarsEtContraintes.txt
- planificateur.afficheUneSolutionPossible.txt
- planificateur.ContrainteAxiomeCadre.__init__.txt
- planificateur.ContrainteAxiomeCadre.dimension.txt
- planificateur.ContrainteAxiomeCadre.estValide.txt
- planificateur.ContrainteAxiomeCadre.propage.txt
- planificateur.ContrainteAxiomeCadre.reviser.txt
- planificateur.ContrainteAxiomeCadre.txt
- planificateur.Etat.__init__.txt
- planificateur.Etat.construitVariablesOperateurs.txt
- planificateur.Etat.construitVariablesPropositions.txt
- planificateur.Etat.retourneOperateurs.txt
- planificateur.Etat.retourneVarFinale.txt
- planificateur.Etat.retourneVarFinales.txt
- planificateur.Etat.retourneVarInitiale.txt
- planificateur.Etat.retourneVarInitiales.txt
- planificateur.Etat.retourneVarOperateur.txt
- planificateur.Etat.txt
- planificateur.PlanificateurPSC.__init__.txt
- planificateur.PlanificateurPSC.affichePSC.txt
- planificateur.PlanificateurPSC.contruitEtats.txt
- planificateur.PlanificateurPSC.implementeAxiomesDeCadre.txt
- planificateur.PlanificateurPSC.implementeConditionsInitialesEtFinales.txt
- planificateur.PlanificateurPSC.implementeMutexDePropositions.txt
- planificateur.PlanificateurPSC.implementeMutexDOperateurs.txt
- planificateur.PlanificateurPSC.implementePreEtPostconditions.txt
- planificateur.PlanificateurPSC.implementePSC.txt
- planificateur.PlanificateurPSC.trouveLaSolution.txt
- planificateur.PlanificateurPSC.txt
- planificateur.txt
- PSC.afficheNbIterations.txt
- PSC.afficheSolution.txt
- PSC.backtrack.txt
- PSC.chercheIndexAvecMinTailleLabel.txt
- PSC.consistanceAvecVarsPrecedentes.txt
- PSC.Contraintes.__init__.txt
- PSC.Contraintes.ajouteContrainte.txt
- PSC.Contraintes.consistanceDesArcs.txt
- PSC.Contraintes.retourneNbContraintes.txt
- PSC.Contraintes.txt
- PSC.dvo.txt
- PSC.forwardChecking.txt
- PSC.metAJourlabels.txt
- PSC.propageAuxVarsSuivantes.txt
- PSC.retourneLabels.txt
- PSC.txt
- PSC.variableOrdering.txt
- PSC.Variables.__init__.txt
- PSC.Variables.ajouteVar.txt
- PSC.Variables.consistanceDesNoeuds.txt
- PSC.Variables.retourneNbVars.txt
- PSC.Variables.retourneVar.txt
- PSC.Variables.txt
- README.txt
- ajax-loader.gif
- basic.css
- comment-bright.png
- comment-close.png
- comment.png
- doctools.js
- down-pressed.png
- down.png
- file.png
- jquery-1.8.3.js
- jquery.js
- minus.png
- plus.png
- pygments.css
- searchtools.js
- translations.js
- underscore-1.3.1.js
- underscore.js
- up-pressed.png
- up.png
- websupport.js
- badge_only.css
- theme_unformatted.css
- theme.css
- fontawesome-webfont.eot
- fontawesome-webfont.svg
- fontawesome-webfont.ttf
- fontawesome-webfont.woff
- FontAwesome.otf
- theme.js
- libPlan.html
- libPlan.Operateur.__init__.html
- libPlan.Operateur.aPourPostcondition.html
- libPlan.Operateur.aPourPrecondition.html
- libPlan.Operateur.html
- libPlan.Operateur.retournePostconditions.html
- libPlan.Operateur.retournePreconditions.html
- libPlan.ProblemeDePlanification.__init__.html
- libPlan.ProblemeDePlanification.ajouteConditionFinale.html
- libPlan.ProblemeDePlanification.ajouteConditionInitiale.html
- libPlan.ProblemeDePlanification.ajouteMutexDePropositions.html
- libPlan.ProblemeDePlanification.ajouteMutexDOperateurs.html
- libPlan.ProblemeDePlanification.ajouteOperateur.html
- libPlan.ProblemeDePlanification.ajouteProposition.html
- libPlan.ProblemeDePlanification.html
- libPlan.ProblemeDePlanification.retourneConditionsFinales.html
- libPlan.ProblemeDePlanification.retourneConditionsInitiales.html
- libPlan.ProblemeDePlanification.retourneMutexDePropositions.html
- libPlan.ProblemeDePlanification.retourneMutexDOperateurs.html
- libPlan.ProblemeDePlanification.retourneOperateurs.html
- libPlan.ProblemeDePlanification.retournePropositions.html
- libPSC.Contrainte.__init__.html
- libPSC.Contrainte.dimension.html
- libPSC.Contrainte.estValide.html
- libPSC.Contrainte.html
- libPSC.ContrainteBinaire.__init__.html
- libPSC.ContrainteBinaire.dimension.html
- libPSC.ContrainteBinaire.estPossible.html
- libPSC.ContrainteBinaire.estValide.html
- libPSC.ContrainteBinaire.html
- libPSC.ContrainteBinaire.propage.html
- libPSC.ContrainteBinaire.reviser.html
- libPSC.ContrainteUnaire.__init__.html
- libPSC.ContrainteUnaire.dimension.html
- libPSC.ContrainteUnaire.estValide.html
- libPSC.ContrainteUnaire.html
- libPSC.html
- libPSC.Variable.__init__.html
- libPSC.Variable.enleveDuLabel.html
- libPSC.Variable.html
- libPSC.Variable.initLabel.html
- libPSC.Variable.metAJourValeur.html
- libPSC.Variable.nomEstEgal.html
- libPSC.Variable.tailleDuDomaine.html
- libPSC.Variable.tailleDuLabel.html
- missionnaires.html
- planificateur.afficheEtats.html
- planificateur.afficheNombreVarsEtContraintes.html
- planificateur.afficheUneSolutionPossible.html
- planificateur.ContrainteAxiomeCadre.__init__.html
- planificateur.ContrainteAxiomeCadre.dimension.html
- planificateur.ContrainteAxiomeCadre.estValide.html
- planificateur.ContrainteAxiomeCadre.html
- planificateur.ContrainteAxiomeCadre.propage.html
- planificateur.ContrainteAxiomeCadre.reviser.html
- planificateur.Etat.__init__.html
- planificateur.Etat.construitVariablesOperateurs.html
- planificateur.Etat.construitVariablesPropositions.html
- planificateur.Etat.html
- planificateur.Etat.retourneOperateurs.html
- planificateur.Etat.retourneVarFinale.html
- planificateur.Etat.retourneVarFinales.html
- planificateur.Etat.retourneVarInitiale.html
- planificateur.Etat.retourneVarInitiales.html
- planificateur.Etat.retourneVarOperateur.html
- planificateur.html
- planificateur.PlanificateurPSC.__init__.html
- planificateur.PlanificateurPSC.affichePSC.html
- planificateur.PlanificateurPSC.contruitEtats.html
- planificateur.PlanificateurPSC.html
- planificateur.PlanificateurPSC.implementeAxiomesDeCadre.html
- planificateur.PlanificateurPSC.implementeConditionsInitialesEtFinales.html
- planificateur.PlanificateurPSC.implementeMutexDePropositions.html
- planificateur.PlanificateurPSC.implementeMutexDOperateurs.html
- planificateur.PlanificateurPSC.implementePreEtPostconditions.html
- planificateur.PlanificateurPSC.implementePSC.html
- planificateur.PlanificateurPSC.trouveLaSolution.html
- PSC.afficheNbIterations.html
- PSC.afficheSolution.html
- PSC.backtrack.html
- PSC.chercheIndexAvecMinTailleLabel.html
- PSC.consistanceAvecVarsPrecedentes.html
- PSC.Contraintes.__init__.html
- PSC.Contraintes.ajouteContrainte.html
- PSC.Contraintes.consistanceDesArcs.html
- PSC.Contraintes.html
- PSC.Contraintes.retourneNbContraintes.html
- PSC.dvo.html
- PSC.forwardChecking.html
- PSC.html
- PSC.metAJourlabels.html
- PSC.propageAuxVarsSuivantes.html
- PSC.retourneLabels.html
- PSC.variableOrdering.html
- PSC.Variables.__init__.html
- PSC.Variables.ajouteVar.html
- PSC.Variables.consistanceDesNoeuds.html
- PSC.Variables.html
- PSC.Variables.retourneNbVars.html
- PSC.Variables.retourneVar.html
- README.html
- environment.pickle
- index.doctree
- index.doctree
- planification_exercice_1.doctree
- .buildinfo
- genindex.html
- index.html
- objects.inv
- search.html
- searchindex.js
- 3db040894df678989ecf7356452464aef9e468f9.png
- 6426372dd89688dbf7563600ac1e7198694480c0.png
- 7bb960cb689d70727a32f85779d2ee683dc57086.png
- 98636f1283deeb882cb56193195ea87c2a341c3f.png
- a0af104bcdfc2125831de86259cf02f696bef4d9.png
- b3e857b8356947f37c25588e35e0e2fe0b522b83.png
- b7f338ec4bb3087b1370d816e6bcc3b6acb3f792.png
- cb1cd9d29af3a38ca3adc73feaf19b2b7bb33516.png
- d209aacaf551f447eb1819b6889a6a56f2ce505f.png
- index.txt
- index.txt
- planification_exercice_1.txt
- ajax-loader.gif
- basic.css
- comment-bright.png
- comment-close.png
- comment.png
- doctools.js
- down-pressed.png
- down.png
- file.png
- jquery-1.11.1.js
- jquery.js
- minus.png
- plus.png
- pygments.css
- searchtools.js
- translations.js
- underscore-1.3.1.js
- underscore.js
- up-pressed.png
- up.png
- websupport.js
- badge_only.css
- theme_unformatted.css
- theme.css
- fontawesome-webfont.eot
- fontawesome-webfont.svg
- fontawesome-webfont.ttf
- fontawesome-webfont.woff
- FontAwesome.otf
- theme.js
- index.html
- planification_exercice_1.html
- environment.pickle
- index.doctree
- index.doctree
- planification_solution_1.doctree
- .buildinfo
- genindex.html
- index.html
- objects.inv
- search.html
- searchindex.js
- 0163860db6b5e2542b165896d59ff28033e8f495.png
- 05840ea4c58160771f0dd9390a65c80830765338.png
- 068b3c6cb8bd14036a604236695c51036ae52cd1.png
- 095aec4f3f09eec8dcbf839547b8a355291c565b.png
- 0acafa529182e79b4f56165ec677554fba7fcf98.png
- 0bb84379745d3bd00e343dc4ba4e1dd12e67f197.png
- 10b1a954c6fa280b34704e42b770eebfddd546c2.png
- 1cc5c266049c8663e68ed9eacc2fd9d0e4b4b581.png
- 1d1d2f0a24026b5c6909d36a3e0cc5ecdaa63d1e.png
- 26b1172e115cb03e333ddedc5184aa46ba7e92a8.png
- 29783214006bd6639725f6a3277636f122fea1f2.png
- 2bcc65482aa8e15cd4c9e9f2542451fb4e971a91.png
- 2de38926392ba23abeac75effc66c37a5f5be5fd.png
- 2eb3a59e678d2d5ce3a24feeae0b10733061be8c.png
- 30111774936b6040b6ea0006ee4db5b0376ae2b4.png
- 315c462bcf9502568b70559d4fadc1aab77819f3.png
- 3556cbdd63545c7f72afd8c1125b9cced9b512b7.png
- 374733b3d0ce0547bfdd7b8ce9fdd5da8a6e4d15.png
- 3833b2f9653c519ee8c5b54d3f0c12583a033173.png
- 466470439cf8097edd7e7d81205463a76d15c5a5.png
- 5105c977e7321784b2c3c9267354a600445a5448.png
- 516b0d43bf0c869b333270140c704ccdfb5683a5.png
- 5a07957852bfcd87f1f939e9973b941f07b6af01.png
- 5d1f75b0a70e9e6c40c7942281a57b1038ef83a6.png
- 5e628b635cfd94d2cfff2a3f0b383f389611db15.png
- 5eb53aaadcf85b0db36dc2551222249fe6d2a9e5.png
- 606b05a2760384606bbc3f5fd65e33a05f46ef71.png
- 60afc2c7ba54dcbaeb0b8c2f42824f4100f9ddef.png
- 61943afe04dee4cfd2fd02071aa3b31bba60637c.png
- 61f576e58b6ddef53f413c2ba2ed6fc9c48199c6.png
- 64559fc79e4936c09128ffb847dfde959dd28b82.png
- 6c33a9ae8ac2dc86462e4b974cb5c22813062204.png
- 74c081db590f3d35421c1f6b9afd4cdda36ee210.png
- 74c378c374b2ef0d698004d89e44e8e5fa9d3a1f.png
- 7b60ce4021042d74f0b9dd6c4e2de63bae0bb022.png
- 7ba51c6121afc1bdc19704d1cc743b2e091dd022.png
- 7e9b55abb3e7ad68304a6f00cde56b35b76ab6fd.png
- 83956e92fcc80dee17fce864543216939a3c9da7.png
- 87a52453fa174a46d94995bebfd1f5f11b8d92ee.png
- 8f725c59c96193bfe61e275aaf77e47b77cfaa65.png
- 9162e8d4840b3e8e73a1d88316bfcc7349cf8f47.png
- 9309fa73bf25df23defd4f4c74d07360eb3d2441.png
- 9463d726422f5838d627677d71c9aa3c07b941cc.png
- 9795fc7a817ea7dbbebc5e1c06af68725fd3ecc6.png
- 97f5268bb571da2aca8c0e91b7c6f0b57e026c7a.png
- 9915a87c9b2a31c0730e3391811aa724a9a7bd64.png
- 99a342f106e10c2993c077bd8faea5c578d80114.png
- 99a6f3d3e43ebe009f52dadf6cff9eed068b0d95.png
- 9a3996b610d5fa0bbbcafd27562f824bd08dedf5.png
- a52bb2eec88bb061625d3fe36a0493c1bdc9592a.png
- a895f02c2417bc4989470cd01438c6feae2ade67.png
- a9c0495841a250ec40c14b3de550026ff2eb8e34.png
- abbd62a04892d6e4de4b4344fb2f35f09a9d47eb.png
- ae6c58598c157f3641acaa033c202caff2685833.png
- b36201260bc9718d622dec3231cfb2f7c20dbf2f.png
- b57f8dd075159b3ea558ff31e107e8d5f3637c2d.png
- bb50c55e59254994b97bf4c5dd20add810a8d996.png
- bc983e7f31df109a929a598ff0f734e1dd5bf5f6.png
- be4da19b0253f61fc86c4eb34bfbbca9e9f7f039.png
- bf4d25e46e2881715aa532aec087bb68b5761e77.png
- c24cefb02c0adf1d49a6e38a98567dbd0491d301.png
- c51a6ecf3ed41753715cd8e2db6a7f775dc54990.png
- d13fbbcfb29dc848ca0076c449bb866a05e74e45.png
- d45262b4184a5763dc1d0efd391a3d48e7c2089d.png
- daecd0249aea6ad4fa98c3d6cea4ad4ac719e039.png
- e66a09bb6ef2becd0857ec1fadca35cf63c797c7.png
- e9203da50e1059455123460d4e716c9c7f440cc3.png
- eb3a5bba8b073f899545ef0e8102531be1970e66.png
- f3a228808a00724f6f92170dafa62bba476dd4b5.png
- index.txt
- index.txt
- planification_solution_1.txt
- ajax-loader.gif
- basic.css
- comment-bright.png
- comment-close.png
- comment.png
- doctools.js
- down-pressed.png
- down.png
- file.png
- jquery-1.11.1.js
- jquery.js
- minus.png
- plus.png
- pygments.css
- searchtools.js
- translations.js
- underscore-1.3.1.js
- underscore.js
- up-pressed.png
- up.png
- websupport.js
- badge_only.css
- theme_unformatted.css
- theme.css
- fontawesome-webfont.eot
- fontawesome-webfont.svg
- fontawesome-webfont.ttf
- fontawesome-webfont.woff
- FontAwesome.otf
- theme.js
- Apache-License-2.0.txt
- LICENSE
- OFL-License.txt
- index.html
- planification_solution_1.html
