Phase de tests et commentaires avec les données 2

Test 1 : fonctionnement initial

Aspect évalué Dans ce test, on se propose de vérifier que le système de résolution n’est pas affecté par le changement de base de cas. Ainsi, on vérifiera que la sélection du cas source fonctionne et que l’ensemble du processus d’adaptation tienne compte des modifications de la structure.

Problème posé On se propose de tester le mécanisme de résolution avec une copie de l’état 4 id4, comme dans la phase de tests de l’étude 1.

Réponse du système et analyse Lors du test, on obtient le résultat suivant. (L’id4 est ici 17609) ... R e s o l u t i o n −−>17609 1 7 6 0 9 , v a l o r i s a t i o n ( m a t i e r e ) , 1 7 6 1 2 −−−17609, t r a i t e m e n t , 1 7 6 1 0 −−−−−−17609, t r a n s f o r m a t i o n ( b r o y a g e ) , 1 7 6 1 0 −−−17610, p r e t r a i t e m e n t , 1 7 6 1 2 −−−−−−17610, t r a n s f o r m a t i o n ( l a v a g e ) , 1 7 6 1 1 −−−−−−17611, t r a n s f o r m a t i o n ( s e c h a g e ) , 1 7 6 1 2 t r u e .

...ce qui correspond au procédé du cas source (avec les modifications apportées). Ensuite, nous avons affiché l’état final obtenu avec le procédé de transformation :

?− a f f i c h a g e _ e t a t ( 1 7 6 1 2 ) .

p o u d r e t t e _ p o l y p r o p y l e n e compose p o l y p r o p y l e n e p o u d r e t t e _ p o l y p r o p y l e n e forme p o u d r e t t e

p o u d r e t t e _ p o l y p r o p y l e n e t a i l l e 1 a 3 mm t r u e .

Ce qui est ici encore conforme au cas source.

Par conséquent, nous avons bien vérifié que le système n’est pas affecté par le changement de base de cas.

Aspect évalué Dans ce test, nous avons refait le test 4 qui avait échoué avec la base de cas de l’étude 1. Nous rappelons que la cause de cet échec était le fait que certaines relations entre les états étaient uniques dans la base et que par conséquent le mécanisme de mémorisation et celui de recherche de cas n’avaient pas pu sélectionner de solution. Nous nous sommes proposés de le refaire avec cette nouvelle base de cas qui a l’avantage de supprimer une partie de ces relations problématiques.

Problème posé Nous avons donc testé de nouveau id4m qui a été défini au test 4 de l’étude 1. Réponse du système et analyse Le système a retourné la réponse suivante (ici id4m est 17609) :

R e s o l u t i o n −−>17609 1 7 6 0 9 , v a l o r i s a t i o n ( m a t i e r e ) , 1 7 6 1 1 −−−17609, t r a i t e m e n t , 1 7 6 1 1 −−−−−−17609, t r a n s f o r m a t i o n ( s e p a r a t i o n ) , 1 7 6 1 0 −−−−−−17610, t r a n s f o r m a t i o n ( b r o y a g e ) , 1 7 6 1 1 t r u e . avec pour état final :

?− a f f i c h a g e _ e t a t ( 1 7 6 1 1 ) . p o u d r e t t e _ p o l y p r o p y l e n e _ s a l e compose p o l y p r o p y l e n e p o u d r e t t e _ p o l y p r o p y l e n e _ s a l e c o n t i e n t _ t r a c e s a l e t e p o u d r e t t e _ p o l y p r o p y l e n e _ s a l e forme p o u d r e t t e p o u d r e t t e _ p o l y p r o p y l e n e _ s a l e t a i l l e 1 a 3 mm t r u e .

Cette fois ci, le système a généré une solution, qui n’est pas celle de id4. Par conséquent, la solution a été adaptée en fonction des données disponibles et s’apparente à la solution originelle (voie 1). Comme nous supposions que cette adaptation est le fruit d’une sélection aléatoire dans les différents cas sources possibles, nous avons réalisé une seconde fois le test...

R e s o l u t i o n −−>17609 Pas de s o l u t i o n t r o u v e e

P r o p o s i t i o n s : r e n v o y e r c a s s i m i l a i r e s connus Combien d e l e m e n t s maximum v o u l e z −vous ? 5 .

Cas s i m i l a i r e de n i v e a u : 1 c a s numero : 5 3 5 p r o v e n a n t de : [ 4 , 1 6 ] Cas s i m i l a i r e de n i v e a u : 1 c a s numero : 5 3 6 p r o v e n a n t de : [ 4 , 1 9 ] Cas s i m i l a i r e de n i v e a u : 1 c a s numero : 4 3 8 p r o v e n a n t de : [ 4 , 3 1 ] Cas s i m i l a i r e de n i v e a u : 1 c a s numero : 5 3 8 p r o v e n a n t de : [ 4 , 3 6 ] Cas s i m i l a i r e de n i v e a u : 1 c a s numero : 5 3 9 p r o v e n a n t de : [ 4 , 3 7 ] ...qui cette fois n’a pas abouti, le système nous proposant les cas les plus proches au problème posé. Cependant, un troisième test nous a donné :

?− t e s t E v a l ( 1 , 1 7 6 0 9 ) . R e s o l u t i o n −−>17609 1 7 6 0 9 , v a l o r i s a t i o n ( m a t i e r e ) , 1 7 6 1 1 −−−17609, t r a i t e m e n t , 1 7 6 1 0 −−−−−−17609, t r a n s f o r m a t i o n ( s e p a r a t i o n ) , 1 7 6 1 0 −−−17610, p r e t r a i t e m e n t , 1 7 6 1 1 −−−−−−17610, t r a n s f o r m a t i o n ( l a v a g e ) , 1 7 6 1 1 t r u e .

avec comme état final...

?− a f f i c h a g e _ e t a t ( 1 7 6 1 1 ) . v e r r e _ b r o y e compose v e r r e v e r r e _ b r o y e forme b r o y a t v e r r e _ b r o y e t a i l l e 1 a 3 cm t r u e .

... ce qui est un peu surprenant. En fait, il est nécessaire de se rappeler la définition de l’état id4m7.1.3.2. Cette définition ne précise pas la composition de l’état et, par conséquent, peut s’adapter à plusieurs cas sources, sans pouvoir les distinguer !

7.1. ÉVALUATION DE LA MÉTHODE DE RECHERCHE DE NOUVELLES TRAJECTOIRES

BASÉE SUR LA GESTION DES CONNAISSANCES

Pour conclure sur ce test, nous avons montré, comme nous le suggérions dans l’étude 1, qu’une fréquence élevée d’une même relation dans la base de cas est nécessaire au bon fonctionnement du mécanisme de recherche de cas. De plus, nous avons pu apprécier le non-déterminisme de la méthode de résolution qui peut, dans le cas ou aucun cas ne se dégage, proposer plusieurs adaptations et par conséquent différentes solutions à un même problème.

7.1.5

3

_étude

Dans cette partie, nous nous proposons d’analyser l’impact du taux d’indexation sur le fonctionnement du système (cf.5.7.3.3). On rappelle ici, que le système, lors de la mémorisation des états et de leurs relations, crée des définitions générales provenant de deux états de la couche d’indexation inférieure (cf. 5.7.3). Lors des études 1 et 2, les paramètres étaient les suivants :

couche 0 1 2

taux − 100% 100%

Nous nous proposons dans cette étude de faire quelques tests en ayant modifié le taux par couche.

7.1.5.1 Description des données

Les données utilisées sont les mêmes que celles pour l’étude 1. Pour le paramétrage des couches, nous avons proposé de tester la configuration suivante :

couche 0 1 2 taux − 75% 25%

(⇒ Le temps d’exécution lors de la phase d’indexation des états de la base de cas est nettement inférieur au temps initial, ceci vient du fait qu’un nombre significativement moins important (<400 contre plus de 17000) de définitions générales a été généré.)

Test 1 : fonctionnement initial

Aspect évalué Dans ce test, on se propose de vérifier que le système de résolution soit correctement appliqué avec la nouvelle indexation. Ainsi, on vérifiera que la sélection du cas source fonctionne correctement et que l’ensemble du processus d’adaptation tient compte des modifications de la structure.

Problème posé On se propose de tester le mécanisme de résolution avec une copie de l’état 4 id4, comme dans la phase de test de l’étude 1.

Réponse du système et analyse Le système a retourné la réponse suivante (ici id4 est 355) : R e s o l u t i o n −−>355 3 5 5 , v a l o r i s a t i o n ( m a t i e r e ) , 3 5 8 −−−355, t r a i t e m e n t , 3 5 6 −−−−−−355, t r a n s f o r m a t i o n ( b r o y a g e _ f i n ) , 3 5 6 −−−356, p r e t r a i t e m e n t , 3 5 8 −−−−−−356, t r a n s f o r m a t i o n ( lavage_1 ) , 3 5 7 −−−−−−357, t r a n s f o r m a t i o n ( s e c h a g e ) , 3 5 8 Avec comme description de l’état final :

?− a f f i c h a g e _ e t a t ( 3 5 8 ) .

p o u d r e t t e _ p o l y p r o p y l e n e compose p o l y p r o p y l e n e p o u d r e t t e _ p o l y p r o p y l e n e forme p o u d r e t t e

p o u d r e t t e _ p o l y p r o p y l e n e t a i l l e 1 a 3 mm t r u e .

Ce qui correspond bien à la solution du cas source. Par conséquent, une diminution du taux d’indexation ne modifie pas la recherche de cas, en tout cas pour un cas cible identique à un cas source (ce qui se comprend aisément par la seule présence de la couche 0 dans l’indexation5_).

Test 2 : (reprise su test 4) test état comportant moins de données

Aspect évalué Dans cette partie, nous nous sommes proposés de tester un cas où le rôle de l’indexation est déterminant par le fait que certaines informations soient manquantes (voir étude 1, test 4 et étude 2 test 2).

Problème posé Nous avons donc testé de nouveau id4m défini au test 4 de l’étude 1.

Réponse du système et analyse Le système a retourné la réponse suivante (ici id4m est 355) : R e s o l u t i o n −−>355

Pas de s o l u t i o n t r o u v e e

P r o p o s i t i o n s : r e n v o y e r c a s s i m i l a i r e s connus Combien d e l e m e n t s maximum v o u l e z −vous ? 5 .

Cas s i m i l a i r e de n i v e a u : 1 c a s numero : 1 6 5 p r o v e n a n t de : [ 4 , 1 6 ] Cas s i m i l a i r e de n i v e a u : 1 c a s numero : 1 6 6 p r o v e n a n t de : [ 5 , 1 6 ] Cas s i m i l a i r e de n i v e a u : 1 c a s numero : 1 8 1 p r o v e n a n t de : [ 4 , 1 9 ] Cas s i m i l a i r e de n i v e a u : 1 c a s numero : 2 1 3 p r o v e n a n t de : [ 1 2 , 2 4 ] Cas s i m i l a i r e de n i v e a u : 1 c a s numero : 2 4 0 p r o v e n a n t de : [ 4 , 3 1 ]

Comme pour le test 4 de l’étude 1, le système ne retourne pas de réponse. Par conséquent, il ne permet pas de déterminer l’impact de l’indexation sur la recherche de cas. On se propose donc d’utiliser les données de la seconde étude et de refaire le test. Ce qui nous donne (ici id4m est 368) :

?− t e s t E v a l ( 1 , 3 6 8 ) . R e s o l u t i o n −−>368

Pas de s o l u t i o n t r o u v e e

P r o p o s i t i o n s : r e n v o y e r c a s s i m i l a i r e s connus Combien d e l e m e n t s maximum v o u l e z −vous ? 5 .

Cas s i m i l a i r e de n i v e a u : 1 c a s numero : 1 6 4 p r o v e n a n t de : [ 4 , 1 6 ] Cas s i m i l a i r e de n i v e a u : 1 c a s numero : 2 0 3 p r o v e n a n t de : [ 4 , 2 4 ] Cas s i m i l a i r e de n i v e a u : 1 c a s numero : 2 0 6 p r o v e n a n t de : [ 5 , 2 4 ] Cas s i m i l a i r e de n i v e a u : 1 c a s numero : 3 0 4 p r o v e n a n t de : [ 4 , 3 6 ] Cas s i m i l a i r e de n i v e a u : 1 c a s numero : 3 0 7 p r o v e n a n t de : [ 4 , 3 7 ] t r u e . ?− t e s t E v a l ( 1 , 3 6 8 ) . R e s o l u t i o n −−>368 3 6 8 , v a l o r i s a t i o n ( m a t i e r e ) , 3 7 4 −−−368, t r a i t e m e n t , 3 7 3 −−−−−−368, t r a n s f o r m a t i o n ( s e p a r a t i o n ) , 3 7 3 −−−373, p r e t r a i t e m e n t , 3 7 4 −−−−−−373, t r a n s f o r m a t i o n ( l a v a g e ) , 3 7 4 t r u e .

avec comme description de l’état final : ?− a f f i c h a g e _ e t a t ( 3 7 4 ) .

v e r r e _ b r o y e compose v e r r e v e r r e _ b r o y e forme b r o y a t v e r r e _ b r o y e t a i l l e 1 a 3 cm t r u e .

Ici encore, les solutions obtenues ressemblent à celles de l’étude 2. Par conséquent, il n’est pas possible de dire quel est l’impact du nombre de couches et du taux d’indexation par couche.