CSI2520 resoudre(N,[N]) :- but(N). resoudre(N,[N | Solution]) :- successeur(N,Nsuivant), resoudre(Nsuivant,Solution). Il faut donc définir le but et définir.

Slides:

Advertisements

Présentations similaires

Structures de données avancées : Principales structures de données

Advertisements

Gestion d'un Système MULTIDOMAINE

ACTIVITES RAPIDES Collège Jean Monnet Préparez-vous ! Série 1B.

OBJECTIFS DU CLUB. Le club date de 1989 et a toujours eu comme objectif principale : la compétition.

Résoudre « de tête » des équations simples.

1 ACTIVITES Apprentissage de la démonstration Fiche N°1.

Français I Bonjour-Bon week-end?. Quiz corrections I will have graded for tomorrow.

Droites et équations.

Xpath XPath is a language for finding information in an XML document.

D1 - 26/07/01 Present document contains informations proprietary to France Telecom. Accepting this document means for its recipient he or she recognizes.

ACTIVITES RAPIDES Collège Jean Monnet Préparez-vous ! Série 1A.

DROITES PARALLELES ET PERPENDICULAIRES 1. Droites sécantes

ACTIVITES MENTALES Collège Jean Monnet Préparez-vous !

Dreams and Reality. Photogroup During the next few minutes you can see some examples of the difference between dreams and reality concerning your work.

Leçon 3 : Héritage IUP 2 Génie Informatique

Grafcet à séquences simultanées

On parle darbre de recherche dune question *Racine de larbre : question *Nœuds : points de choix (formule à démontrer) *Passage dun nœud vers son fils.

Chapitre VIII. Introduction aux graphes

CSI2520 ?- insert(a, L, [b, a, d, a, f]). L = [b, d, a, f] ; L = [b, a, d, f] ; no Linsertion et le retrait sont 2 concepts complémentaires!

Analyser une phrase % extraire une phrase et retourner le reste

Résolution dune équation. Équation Une équation est un énoncé qui indique légalité entre 2 expressions. Léquation 2x + 3 = 5 est dite proposition ouverte.

Équations cos x = a et sin x = a

On souhaite résoudre le système suivant: Le but de la méthode est d'obtenir des coefficients opposés pour une inconnue (on choisira de le faire pour.

Algorithmes Branch & Bound

Où est? Aim: To learn how to ask for and how to give directions ?

Les fichiers indexés (Les B-arbres)

Arbres Rouge noir Démo : INF3105 Structures de données et algorithmes

ACTIVITES MENTALES Collège Jean Monnet Préparez-vous !

ACTIVITES Les quotients (5).

Appliquer la métthode Branch and Bound au problème de lassignation des tâches avec la matrice suivante: 1234 a11 88 b c33415 d Calcul de.

CSI 4506: Introduction à l’intelligence artificielle

Les nombres premiers Générer tous les nombres premiers de 1 à N

CSI2520 Représentation: g([Noeud,...],[arc(Noeud1,Noeud2,Valeur),...]). arc(g(Ns,Arcs),N1,N2,Valeur):- member(arc(N1,N2,Valeur),Arcs). % pour un graphe.

Arbres en Prolog Un arbre binaire est une structure pouvant contenir des données. Chaque élément de l'arbre contient une donnée et a au plus un 'parent'

CSI2520, Hiver 2007 Les entrées-sorties Ecriture sur l'écran ou dans un fichier Lecture à partir du clavier ou dun fichier Affichage de termes : *write(1+2)

CSI2520 Le langage Scheme (2) Un langage de programmation fonctionnelle.

CSI2520, Hiver 2007 Termes composés prédicat etudiant –etudiant(jim, white, 17, main, ottawa, ontario, 10, 12, 83,...) exprimant « letudiant jim white.

CSI2520 Ecriture sur l'écran ou dans un fichier Lecture à partir du clavier ou dun fichier Affichage de termes : *write(1+2) affiche 1+2 *write(X). affiche.

Géométrie analytique Distance d’un point à une droite.

Structures de données IFT-2000

Structures de données IFT-2000 Abder Alikacem La récursivité Département d’informatique et de génie logiciel Édition Septembre 2009.

Grafcet à séquences simultanées

La visite de Clément l’Aplati à Paris

CSI2520  cdr vers le bas, cons vers le haut (define (traite-liste L) (if (null? L) () (cons (traite (car L)) (traite-liste (cdr L)))))

D.E ZEGOUR Ecole Supérieure d’Informatique

Evaluation de fin de séance CORRECTION. Sur ce schéma où est localisée la zone de préparation de commandes ? A B C D A : en C B : en A C : en B D : en.

Prolog Listes Arbres en prolog Structures : bases de données

BIG COOK By Dorian & Nathan. Le but Inspirations.

Equations du premier degré Equations « produit nul »

Fabienne BUSSAC EQUATIONS 1. Définition

3.6 Le volume d’un prisme rectangulaire

CSI 4506: Introduction à l’Intelligence Artificielle

Fonctions et Équations Racines.

Objets Opérateurs Listes

20- Racine carrée Racine carré d’un nombre positif

Activités préparatoires.

ACTIVITES 20- Racines carrées.

Les racines carrées et les carrés parfaits

CALCUL MENTAL Thème7EquationsENTRAINEMENT Collège F Mauriac.

Méthode de superposition

Résoudre des équations algébriques

Équations cos x = a et sin x = a (O, I, J) est un repère orthonormé.

Equations et inéquations

Projet 5ème Eau fil du Thouet. Où se trouve le jardindu collège ?

Réalisé par : Sébastien Lachance MATHS 3 E SECONDAIRE Résolutions d’INÉQUATIONS.

Les arbres Arbres binaires

1 A. Cornuéjols Introduction à l’intelligence artificielle Introduction à l’Intelligence Artificielle (Cours n°3) Recherche informée dans les graphes Antoine.

La factorisation Principe de la complétion du carré.

Transcription de la présentation:

CSI2520 resoudre(N,[N]) :- but(N). resoudre(N,[N | Solution]) :- successeur(N,Nsuivant), resoudre(Nsuivant,Solution). Il faut donc définir le but et définir les noeuds successeurs.

CSI2520 État initial: [A,B,C] = [[1,2,3],[],[]] but([[],[],_]).

CSI2520 legal(_,[]). legal(D1,[D2|_]):- D1<D2. successeur([[T|L1],L2,L3],[L1,[T|L2],L3]) :- legal(T,L2). successeur([[T|L1],L2,L3],[L1,L2,[T|L3]]) :- legal(T,L3). successeur([L1,[T|L2],L3],[[T|L1],L2,L3]) :- legal(T,L1). successeur([L1,[T|L2],L3],[L1,L2,[T|L3]]) :- legal(T,L3). successeur([L1,L2,[T|L3]],[[T|L1],L2,L3]) :- legal(T,L1). successeur([L1,L2,[T|L3]],[L1,[T|L2],L3]) :- legal(T,L2).

CSI2520 but([[],[],_]). resoudre(E,[E]) :- but(E). resoudre(E,[E|Solution]) :- successeur(E,Esuivant), resoudre(Esuivant,Solution). ?!

CSI2520 resoudre(Noeud, Solution) :- profondeur([], Noeud, Solution), montre(Solution). profondeur(Chemin, Noeud,[Noeud | Chemin]) :- but(Noeud). profondeur(Chemin, Noeud, Solution) :- successeur(Noeud, Nsuivant), \+member(Nsuivant, Chemin), profondeur([Nsuivant | Chemin], Nsuivant, Solution). voir([]). voir([Noeud|Chemin]) :- voir(Chemin), nl, write(Noeud).

CSI2520 resoudre(E,[E],_) :- but(E). resoudre(E,[E|Solution],Pmax) :- Pmax>0, successeur(E,Esuivant), Pmax1 is Pmax-1, resoudre(Esuivant,Solution,Pmax1), write(Esuivant), nl.

CSI2520 resoudre(Racine, Solution):- largeur ([[Racine]],Solution). % largeur(liste de chemin, solution) largeur([[Noeud | Chemin] | _],[Noeud | Chemin]):- but(Noeud). largeur([Chemin | Chemins], Solution):- etendre(Chemin,NChemins), append(Chemins,NChemins,Chemins1), largeur(Chemins1,Solution). etendre([Noeud | Chemin],NChemins):- bagof([NNoeud,Noeud | Chemin], (successeur(Noeud,NNoeud), \+member(NNoeud,[Noeud | Chemin])), NChemins), !. etendre(Chemin,[]).

CSI2520 ?- successeur([[1,2,3],[],[]],S). S = [[2, 3], [1], []] ; S = [[2, 3], [], [1]] ; ?- etendre([[[1,2,3],[],[]]],S). S = [[[[2, 3], [1], []], [[1, 2, 3], [], []]], [[[2, 3], [], [1]], [[1, 2, 3], [], []]]].

CSI2520 resoudre(Racine, Solution):- largeur([[Racine]],Solution), voir(Solution). voir([]). voir([Noeud|Chemin]) :- voir(Chemin), nl, write(Noeud).. ?- resoudre([[1,2,3],[],[]],S). [[1,2,3],[],[]] [[2,3],[],[1]] [[3],[2],[1]] [[3],[1,2],[]] [[],[1,2],[3]] [[1],[2],[3]] [[1],[],[2,3]] [[],[],[1,2,3]]