Différences

Cette page vous donne les différences entre la révision choisie et la version actuelle de la page.

comment_debug [2010/01/31 10:16] (Version actuelle)
Ligne 1: Ligne 1:
 +
 +
 +^  Close by One | Commentaires |
 +|  <jsm> L := \emptyset </jsm>  | Initialement, on n'a aucun concept. |
 +| For each <jsm> g \in G </jsm>  | L'algorithme va utiliser successivement chaque objet comme "graine" puis explorer les possibilités d'agrandir l'extension qu'il engendre par le rajout d'un objet lexicographiquement supérieur. |
 +| Process (<jsm>  \left\{ g \right\},g ,\left( \left\{  g \right\}^{' '} ,g \right) </jsm> ) | <jsm>\left( \left\{  g \right\}^{' '} ,g \right) </jsm> est le concept dont l'intention correspond aux attributs de ''g'', et <jsm>\left\{  g \right\}^{','} </jsm> est l'extension fermée correspondante. |
 +| L is the concept set. | On a élaboré toutes les extensions. |
 +^ Maintenant, voyons comment l'exploration et le développement incrémental sont réalisés ^^
 +^ Process (A, g, (C, D)) | 
 +| <jsm>\left\{ C = A \prime\prime ; D = A \prime \right\} </jsm>  | En fait, ceci est pour rappel, il ne s'agit pas d'un nouveau calcul à l'entrée de la fonction. |
 +| If <jsm>\left\{h| h \in C\setminus A \quad\& \quad h \prec g\right\} = \emptyset</jsm> | Vérification qu'il s'agit d'un nouveau concept et non d'un concept déjà élaboré, ce qui se repèrerait par la présence dans l'extension C d'objet(s) de valeur lexicographique inférieur à l'objet courant, et qui n'étai(en)t pas déjà dans l'extension A (de l'intention précédente). Si c'est un concept déjà vu, on ne fait rien, on ne l'ajoute pas à L et on ne poursuit pas le développement de la branche. |
 +| <jsm>L := L \cup \left\{\left(C,D\right)\right\}</jsm> | On ajoute le __nouveau__ concept.  |
 +| For each <jsm>f \in\left\{h | h \in  G \quad \& \quad g \prec  h \right\} </jsm> | On cherche à agrandir l'extension(C) en rajoutant un objet du complémentaire de valeur lexicographique supérieur. |
 +| <jsm>Z := C \cup \left\{f\right\} </jsm> | On ajoute l'objet candidat à l'extension.  |
 +| <jsm>Y := D \cap \left\{f\right\}\prime </jsm> | On calcule la nouvelle intention. |
 +| <jsm>X := Y\prime\left(=Z\cup \left\{h | h\in G\setminus Z\quad\&\quad Y \subseteq \left\{h\right\}\prime\right\}\right)</jsm> | On ferme l'extension par rapport à l'intention nouvelle. |
 +| Process <jsm>\left(Z; f; \left(X; Y\right)\right) </jsm> | On l'envoye au traitement : tester s'il s'agit d'un nouveau concept, puis si oui, l'ajouter au treillis et poursuivre les tentatives d'agrandissement, toujours par un objet de valeur lexicographique plus grande. |
  
 
comment_debug.txt · Dernière modification: 2010/01/31 10:16 (modification externe)
 
Sauf mention contraire, le contenu de ce wiki est placé sous la licence suivante :CC Attribution-Noncommercial-Share Alike 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki