Oodoc change de nom : découvrez tousLesDocs

X

Accéder à ce doc

Le sommaire
  ACCÉDER à ce doc

I) Moteur en chaînage avant

A. Définir la base de règles
B. Définir un prédicat permettant à l'utilisateur d'initialiser la base de faits
C. Définir un prédicat qui sature la base de règles et produit une trace de son fonctionnement
D. Jeux d'essai
1. Du lilas : fleur,graine,un_cotyledone,non(rhizome)
2. Ombre et Sapin : fleur,graine,graine_nue
3. Muguet : phanerogame,un_cotyledone,rhizome

II) Moteur en chaînage arrière

A. Moteur d'inférence d'ordre 0 fonctionnant en chaînage arrière
B. Jeux d'essai

III) Chaînage mixte ou autre amélioration

A. Définir le prédicat terminal(F) (respectivement observable(F)) vrai si le fait F est terminal (resp. observable)
B. Prédicats dynamiques
C. Chaînage mixte
1. Chaînage avant
2. Règle « presque déclenchable »
3. Chaînage arrière et question à l'utilisateur
D. Jeux d'essai
1. La plante recherchée est un lilas
2. La plante recherchée est un sapin

IV) Codes sources

A. Chaînage avant et chaînage arrière avec opérateurs
B. Chaînage mixte avec la méthode classique des listes
ACCÉDER à ce doc  

Résumé du document
  ACCÉDER à ce doc

On commence par insérer les faits. Puis on va prendre chaque fait et on va examiner toutes les règles où ce fait apparaît en prémisse. On va voir pour chacune de ces règles si elle est déclenchée. Si elle l'est, on va affecter les attributs en conclusion des valeurs qui leur correspondent afin de propager les faits ()

Extraits

[...] Moteur en chaînage arrière % La règle est-elle pouvée ou existe-t-il une autre règle concluante sur ce fait ? prouver(Cond):-fact(Cond), write(Cond), write(' est dans la base de faitsn'). prouver(Cond):-verifier(Cond). prouver(Cond1 et Cond2):-prouver(Cond1), prouver(Cond2). prouver(Cond1 et Cond2 et Cond3):-prouver(Cond1), prouver(Cond2 et Cond3) Existe-t-il une règle concluante sur ce fait ? verifier(Fait):-regle(Num,Cond Fait), prouver(Cond),write(Fait), write(' est satisfait grâce à '),write(Num),nl On lance le chaînage arrière en vérifiant le but satisfait(But):-verifier(But). Définition des règles regle(r1,fleur et graine phanerogame). regle(r2,phanerogame et graine_nue sapin et ombre). [...]


[...] Teste si tous les éléments d'une liste sont éléments d'une autre. Si on a tout testé, on s'arrête allmember(, Sinon on teste l'élément courant et on passe au suivant allmember([X L1) member(X,L1), allmember(L, L1). Cherche tous les objets de la première liste qui ne sont pas dans la seconde, les retourne dans le troisième paramètre, le quatrième étant le nombre d'objets ainsi trouvés quasi_allmember([X L1, member(X,L1), quasi_allmember(L, L1, R). On ne veut pas prendre en compte les questions déjà posées quasi_allmember([X L1, not(member(X,L1)), quasi_allmember(L, L1, R). [...]


[...] n. Est-ce-que deux_cotyledone? i. Est-ce-que rhizome? n. Conclusion : lilas true La plante recherchée est un sapin 2 faits([vrai(fleur),vrai(graine_nue),vrai(deux_cotyledone)]). Est-ce-que graine? o. Conclusion : sapin true Codes sources 1 Chaînage avant et chaînage arrière avec opérateurs Définition des opérateurs :-op(50,xfx, Implication :-op(50,xfx, Equivalence :-op(30,yfx, ou) Disjonction :-op(30,yfx, et) Conjonction :-op(10,fy, non) Négation % Remise à zéro de la base de faits raz retractall(fact(_)). Moteur en chaînage avant % Insertion des faits dans la base de faits avec le assert faits(). [...]


[...] Fait: fleur Fait: graine Fait: un_cotyledone Fait: joli true satisfait(muguet). fleur est dans la base de faits graine est dans la base de faits phanerogame est satisfait grâce à r1 un_cotyledone est dans la base de faits monocotyledone est satisfait grâce à r3 fail satisfait(lilas). fleur est dans la base de faits graine est dans la base de faits phanerogame est satisfait grâce à r1 un_cotyledone est dans la base de faits monocotyledone est satisfait grâce à r3 joli est dans la base de faits non rhizome est satisfait grâce à r15 lilas est satisfait grâce à r7 true Chaînage mixte ou autre amélioration Nous avons choisi de revoir entièrement la structure de notre programme (plus proche de celle qui était proposée dans l’énoncé) afin de faciliter notre travail dans cette partie du TP. [...]


[...] regle(r7,monocotyledone et non rhizome lilas). regle(r8,feuille et non fleur cryptogame). regle(r9,cryptogame et non racine mousse). regle(r10,cryptogame et racine fougere). regle(r11,non feuille et plante thallophyte). regle(r12,thallophyte et chlorophylle algue). regle(r13,thallophyte et non chlorophylle champignon et non bon). regle(r14,non feuille et non fleur et non plante colibacille). regle(r15,joli non rhizome) Chaînage mixte avec la méthode classique des listes On a 3 prédicats dans la base : vrai, faux et les questions déjà posées dynamic( faux/1 dynamic( vrai/1 dynamic( q/1). Faits terminaux terminal(sapin). [...]

ACCÉDER à ce doc  

Informations sur le doc

Date de publication
17/12/2008
Langue
français
Format
Word
Type
dissertation
Nombre de pages
15 pages
Niveau
grand public
Consulté
4 fois

Informations sur l'auteur Sylvain T. (étudiant)

Niveau
Grand public
Etude suivie
informatique
Ecole, université
UNIVERSITE...
Note du document :
         
Commentaires
Anonyme
12/11/10 - 10:38:03
Laissez le votre
ACCÉDER à ce doc  

Meilleures ventes en informatique

Derniers docs en informatique

La gestion de projet sous Microsoft Project
Sciences et technologies   |  Informatique  |   Dissertation  |   fr  |   .doc  |   79 pages   |   publié en 2007
Rapport de projet en système d'information
Sciences et technologies   |  Informatique  |   Dissertation  |   fr  |   .doc  |   31 pages   |   publié en 2007
Le piratage informatique
Sciences et technologies   |  Informatique  |   Dissertation  |   fr  |   .ppt  |   17 pages   |   publié en 2007
Dépannage de premier niveau d'un réseau local
Sciences et technologies   |  Informatique  |   Dissertation  |   fr  |   .doc  |   177 pages   |   publié en 2007
Gestion de notes d'un ensemble d'élèves en C++
Sciences et technologies   |  Informatique  |   Dissertation  |   fr  |   .doc  |   25 pages   |   publié en 2006
Conception et développement d'un système en ligne de la gestion de recrutement
Sciences et technologies   |  Informatique  |   Mémoire  |   fr  |   .pdf  |   29 pages   |   publié en 2014
Etude et mise en place d'une solution cloud computing
Sciences et technologies   |  Informatique  |   Rapport de stage  |   fr  |   .doc  |   52 pages   |   publié en 2014
Les systèmes experts en ingénierie
Sciences et technologies   |  Informatique  |   Cours  |   fr  |   .pdf  |   29 pages   |   publié en 2013
Cours de systèmes répartis
Sciences et technologies   |  Informatique  |   Cours  |   fr  |   .pdf  |   18 pages   |   publié en 2013