; -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CHANGER_TOUR_COURANT SUBSTITUTION : (NO_X) par 3 (TOUR_X) par TOUR_3 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE TOUR_COURANT' = (NO_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE TOUR_COURANT' = (NO_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE TOUR_COURANT ' = (NO_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE TOUR_COURANT' = (NO_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE TOUR_COURANT ' = (NO_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE TOUR_COURANT' = (NO_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MATCH_SUIVANT_TOUR_SUIVANT - PREMISSE TOUR_COURANT' = (NO_X) - V --> V Nombre de premisses non satisfaites apres propagation 2 - Etat V REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE TOUR_COURANT' = (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MEME_TOUR_COURANT - PREMISSE TOUR_COURANT' = (NO_X) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CHANGER_TOUR_COURANT - PREMISSE TOUR_COURANT' = (NO_X) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V TOUR_COURANT' 2 ----------------------------------------- INFERENCE : 1 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MEME_TOUR_COURANT SUBSTITUTION : (NB_X) par 6 (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 1 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 1 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE FIN_PLACEMENT_JOUEUR_PAR_TOUR - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - V --> F Nombre de premisses non satisfaites apres propagation 2 - Etat V REGLE MEME_TOUR_COURANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CHANGER_TOUR_COURANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat F ETAPE_PLACEMENT_JOUEUR' 1 ----------------------------------------- INFERENCE : 2 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par JOUEUR_243 (X) par 11 (CLASSEMENT_X) par 15/5 FAITS DEDUITS : ETAPE_PLACEMENT_JOUEUR' 1 REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MEILLEUR' 11 ----------------------------------------- INFERENCE : 3 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_SORTIE SUBSTITUTION : (JOUEUR_X) par JOUEUR_243 FAITS DEDUITS : REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 2 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 1 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 1 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat F ETAPE_PLACEMENT_JOUEUR' 2 ----------------------------------------- INFERENCE : 4 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MEILLEUR_JOUEUR_ENTRE_TOUR_N SUBSTITUTION : (JOUEUR_X) par JOUEUR_243 (CLASSEMENT_X) par 15/5 (CLASS_X) par 11 (X) par 2 (TOUR_X) par TOUR_2 FAITS DEDUITS : REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE (TOUR_X) NB_JOUEUR_ENTRANT (VAR1) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MEME_TOUR_COURANT - PREMISSE (TOUR_X) NB_JOUEUR_ENTRANT (NB_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V TOUR_2 NB_JOUEUR_ENTRANT 5 TOUR_2 NB_JOUEUR_ENTRANT 6 ' INEXISTANT REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE CLASSEMENT_MEILLEUR' > (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_BOUCLAGE - PREMISSE CLASSEMENT_MEILLEUR' > (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MEILLEUR' 19 REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 2 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE FIN_PLACEMENT_JOUEUR_PAR_TOUR - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - F --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MEME_TOUR_COURANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CHANGER_TOUR_COURANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat F ETAPE_PLACEMENT_JOUEUR' 0 REGLE CREATION_MATCH - PREMISSE (JOUEUR_Y) ENTRE (TOUR_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CREATION_MATCH - PREMISSE (JOUEUR_X) ENTRE (TOUR_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE (JOUEUR_X) ENTRE (TOUR_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE (JOUEUR_X) ENTRE (TOUR_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE (JOUEUR_X) ENTRE (TOUR_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE (JOUEUR_X) ENTRE (TOUR_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V JOUEUR_243 ENTRE TOUR_2 JOUEUR_243 ENTRE TOUR_1 ' INEXISTANT ----------------------------------------- INFERENCE : 5 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MEME_TOUR_COURANT SUBSTITUTION : (NB_X) par 5 (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 1 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 1 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE FIN_PLACEMENT_JOUEUR_PAR_TOUR - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - V --> F Nombre de premisses non satisfaites apres propagation 2 - Etat V REGLE MEME_TOUR_COURANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CHANGER_TOUR_COURANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat F ETAPE_PLACEMENT_JOUEUR' 1 ----------------------------------------- INFERENCE : 6 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par JOUEUR_236 (X) par 11 (CLASSEMENT_X) par 15/5 FAITS DEDUITS : ETAPE_PLACEMENT_JOUEUR' 1 REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MEILLEUR' 11 ----------------------------------------- INFERENCE : 7 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_SORTIE SUBSTITUTION : (JOUEUR_X) par JOUEUR_236 FAITS DEDUITS : REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 2 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 1 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 1 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat F ETAPE_PLACEMENT_JOUEUR' 2 ----------------------------------------- INFERENCE : 8 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MEILLEUR_JOUEUR_ENTRE_TOUR_N SUBSTITUTION : (JOUEUR_X) par JOUEUR_236 (CLASSEMENT_X) par 15/5 (X) par 2 (CLASS_X) par 11 (TOUR_X) par TOUR_2 FAITS DEDUITS : REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE (TOUR_X) NB_JOUEUR_ENTRANT (VAR1) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MEME_TOUR_COURANT - PREMISSE (TOUR_X) NB_JOUEUR_ENTRANT (NB_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V TOUR_2 NB_JOUEUR_ENTRANT 4 TOUR_2 NB_JOUEUR_ENTRANT 5 ' INEXISTANT REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE CLASSEMENT_MEILLEUR' > (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_BOUCLAGE - PREMISSE CLASSEMENT_MEILLEUR' > (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MEILLEUR' 19 REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 2 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE FIN_PLACEMENT_JOUEUR_PAR_TOUR - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - F --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MEME_TOUR_COURANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CHANGER_TOUR_COURANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat F ETAPE_PLACEMENT_JOUEUR' 0 REGLE CREATION_MATCH - PREMISSE (JOUEUR_Y) ENTRE (TOUR_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CREATION_MATCH - PREMISSE (JOUEUR_X) ENTRE (TOUR_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE (JOUEUR_X) ENTRE (TOUR_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE (JOUEUR_X) ENTRE (TOUR_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE (JOUEUR_X) ENTRE (TOUR_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE (JOUEUR_X) ENTRE (TOUR_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V JOUEUR_236 ENTRE TOUR_2 JOUEUR_236 ENTRE TOUR_1 ' INEXISTANT ----------------------------------------- INFERENCE : 9 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MEME_TOUR_COURANT SUBSTITUTION : (NB_X) par 4 (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 1 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 1 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE FIN_PLACEMENT_JOUEUR_PAR_TOUR - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - V --> F Nombre de premisses non satisfaites apres propagation 2 - Etat V REGLE MEME_TOUR_COURANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CHANGER_TOUR_COURANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat F ETAPE_PLACEMENT_JOUEUR' 1 ----------------------------------------- INFERENCE : 10 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par JOUEUR_219 (X) par 11 (CLASSEMENT_X) par 15/5 FAITS DEDUITS : ETAPE_PLACEMENT_JOUEUR' 1 REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MEILLEUR' 11 ----------------------------------------- INFERENCE : 11 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_SORTIE SUBSTITUTION : (JOUEUR_X) par JOUEUR_219 FAITS DEDUITS : REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 2 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 1 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 1 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat F ETAPE_PLACEMENT_JOUEUR' 2 ----------------------------------------- INFERENCE : 12 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MEILLEUR_JOUEUR_ENTRE_TOUR_N SUBSTITUTION : (JOUEUR_X) par JOUEUR_219 (X) par 2 (CLASSEMENT_X) par 15/5 (CLASS_X) par 11 (TOUR_X) par TOUR_2 FAITS DEDUITS : REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE (TOUR_X) NB_JOUEUR_ENTRANT (VAR1) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MEME_TOUR_COURANT - PREMISSE (TOUR_X) NB_JOUEUR_ENTRANT (NB_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V TOUR_2 NB_JOUEUR_ENTRANT 3 TOUR_2 NB_JOUEUR_ENTRANT 4 ' INEXISTANT REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE CLASSEMENT_MEILLEUR' > (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_BOUCLAGE - PREMISSE CLASSEMENT_MEILLEUR' > (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MEILLEUR' 19 REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 2 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE FIN_PLACEMENT_JOUEUR_PAR_TOUR - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - F --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MEME_TOUR_COURANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CHANGER_TOUR_COURANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat F ETAPE_PLACEMENT_JOUEUR' 0 REGLE CREATION_MATCH - PREMISSE (JOUEUR_Y) ENTRE (TOUR_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CREATION_MATCH - PREMISSE (JOUEUR_X) ENTRE (TOUR_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE (JOUEUR_X) ENTRE (TOUR_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE (JOUEUR_X) ENTRE (TOUR_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE (JOUEUR_X) ENTRE (TOUR_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE (JOUEUR_X) ENTRE (TOUR_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V JOUEUR_219 ENTRE TOUR_2 JOUEUR_219 ENTRE TOUR_1 ' INEXISTANT ----------------------------------------- INFERENCE : 13 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MEME_TOUR_COURANT SUBSTITUTION : (NB_X) par 3 (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 1 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 1 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE FIN_PLACEMENT_JOUEUR_PAR_TOUR - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - V --> F Nombre de premisses non satisfaites apres propagation 2 - Etat V REGLE MEME_TOUR_COURANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CHANGER_TOUR_COURANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat F ETAPE_PLACEMENT_JOUEUR' 1 ----------------------------------------- INFERENCE : 14 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par JOUEUR_217 (X) par 11 (CLASSEMENT_X) par 15/5 FAITS DEDUITS : ETAPE_PLACEMENT_JOUEUR' 1 REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MEILLEUR' 11 ----------------------------------------- INFERENCE : 15 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_SORTIE SUBSTITUTION : (JOUEUR_X) par JOUEUR_217 FAITS DEDUITS : REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 2 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 1 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 1 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat F ETAPE_PLACEMENT_JOUEUR' 2 ----------------------------------------- INFERENCE : 16 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MEILLEUR_JOUEUR_ENTRE_TOUR_N SUBSTITUTION : (JOUEUR_X) par JOUEUR_217 (CLASSEMENT_X) par 15/5 (X) par 2 (CLASS_X) par 11 (TOUR_X) par TOUR_2 FAITS DEDUITS : REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE (TOUR_X) NB_JOUEUR_ENTRANT (VAR1) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MEME_TOUR_COURANT - PREMISSE (TOUR_X) NB_JOUEUR_ENTRANT (NB_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V TOUR_2 NB_JOUEUR_ENTRANT 2 TOUR_2 NB_JOUEUR_ENTRANT 3 ' INEXISTANT REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE CLASSEMENT_MEILLEUR' > (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_BOUCLAGE - PREMISSE CLASSEMENT_MEILLEUR' > (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MEILLEUR' 19 REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 2 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE FIN_PLACEMENT_JOUEUR_PAR_TOUR - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - F --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MEME_TOUR_COURANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CHANGER_TOUR_COURANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat F ETAPE_PLACEMENT_JOUEUR' 0 REGLE CREATION_MATCH - PREMISSE (JOUEUR_Y) ENTRE (TOUR_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CREATION_MATCH - PREMISSE (JOUEUR_X) ENTRE (TOUR_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE (JOUEUR_X) ENTRE (TOUR_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE (JOUEUR_X) ENTRE (TOUR_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE (JOUEUR_X) ENTRE (TOUR_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE (JOUEUR_X) ENTRE (TOUR_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V JOUEUR_217 ENTRE TOUR_2 JOUEUR_217 ENTRE TOUR_1 ' INEXISTANT ----------------------------------------- INFERENCE : 17 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MEME_TOUR_COURANT SUBSTITUTION : (NB_X) par 2 (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 1 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 1 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE FIN_PLACEMENT_JOUEUR_PAR_TOUR - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - V --> F Nombre de premisses non satisfaites apres propagation 2 - Etat V REGLE MEME_TOUR_COURANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CHANGER_TOUR_COURANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat F ETAPE_PLACEMENT_JOUEUR' 1 ----------------------------------------- INFERENCE : 18 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_BOUCLAGE SUBSTITUTION : (X) par 12 (JOUEUR_X) par JOUEUR_215 (CLASSEMENT_X) par 30/0 FAITS DEDUITS : ETAPE_PLACEMENT_JOUEUR' 1 REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MEILLEUR' 12 ----------------------------------------- INFERENCE : 19 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_SORTIE SUBSTITUTION : (JOUEUR_X) par JOUEUR_215 FAITS DEDUITS : REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 2 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 1 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 1 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat F ETAPE_PLACEMENT_JOUEUR' 2 ----------------------------------------- INFERENCE : 20 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MEILLEUR_JOUEUR_ENTRE_TOUR_N SUBSTITUTION : (JOUEUR_X) par JOUEUR_215 (CLASSEMENT_X) par 30/0 (CLASS_X) par 12 (X) par 2 (TOUR_X) par TOUR_2 FAITS DEDUITS : REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE (TOUR_X) NB_JOUEUR_ENTRANT (VAR1) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MEME_TOUR_COURANT - PREMISSE (TOUR_X) NB_JOUEUR_ENTRANT (NB_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V TOUR_2 NB_JOUEUR_ENTRANT 1 TOUR_2 NB_JOUEUR_ENTRANT 2 ' INEXISTANT REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE CLASSEMENT_MEILLEUR' > (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_BOUCLAGE - PREMISSE CLASSEMENT_MEILLEUR' > (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MEILLEUR' 19 REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 2 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE FIN_PLACEMENT_JOUEUR_PAR_TOUR - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - F --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MEME_TOUR_COURANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CHANGER_TOUR_COURANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat F ETAPE_PLACEMENT_JOUEUR' 0 REGLE CREATION_MATCH - PREMISSE (JOUEUR_Y) ENTRE (TOUR_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CREATION_MATCH - PREMISSE (JOUEUR_X) ENTRE (TOUR_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE (JOUEUR_X) ENTRE (TOUR_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE (JOUEUR_X) ENTRE (TOUR_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE (JOUEUR_X) ENTRE (TOUR_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE (JOUEUR_X) ENTRE (TOUR_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V JOUEUR_215 ENTRE TOUR_2 JOUEUR_215 ENTRE TOUR_1 ' INEXISTANT ----------------------------------------- INFERENCE : 21 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MEME_TOUR_COURANT SUBSTITUTION : (NB_X) par 1 (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 1 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 1 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE FIN_PLACEMENT_JOUEUR_PAR_TOUR - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - V --> F Nombre de premisses non satisfaites apres propagation 2 - Etat V REGLE MEME_TOUR_COURANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CHANGER_TOUR_COURANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat F ETAPE_PLACEMENT_JOUEUR' 1 ----------------------------------------- INFERENCE : 22 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par JOUEUR_227 (X) par 13 (CLASSEMENT_X) par 30/1 FAITS DEDUITS : ETAPE_PLACEMENT_JOUEUR' 1 REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MEILLEUR' 13 ----------------------------------------- INFERENCE : 23 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_SORTIE SUBSTITUTION : (JOUEUR_X) par JOUEUR_227 FAITS DEDUITS : REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 2 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 1 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 1 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat F ETAPE_PLACEMENT_JOUEUR' 2 ----------------------------------------- INFERENCE : 24 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MEILLEUR_JOUEUR_ENTRE_TOUR_N SUBSTITUTION : (JOUEUR_X) par JOUEUR_227 (X) par 2 (CLASSEMENT_X) par 30/1 (CLASS_X) par 13 (TOUR_X) par TOUR_2 FAITS DEDUITS : REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE (TOUR_X) NB_JOUEUR_ENTRANT (VAR1) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MEME_TOUR_COURANT - PREMISSE (TOUR_X) NB_JOUEUR_ENTRANT (NB_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CHANGER_TOUR_COURANT - PREMISSE (TOUR_X) NB_JOUEUR_ENTRANT 0 - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V TOUR_2 NB_JOUEUR_ENTRANT 0 TOUR_2 NB_JOUEUR_ENTRANT 1 ' INEXISTANT REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE CLASSEMENT_MEILLEUR' > (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_BOUCLAGE - PREMISSE CLASSEMENT_MEILLEUR' > (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MEILLEUR' 19 REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 2 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE FIN_PLACEMENT_JOUEUR_PAR_TOUR - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - F --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MEME_TOUR_COURANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CHANGER_TOUR_COURANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V ETAPE_PLACEMENT_JOUEUR' 0 REGLE CREATION_MATCH - PREMISSE (JOUEUR_Y) ENTRE (TOUR_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CREATION_MATCH - PREMISSE (JOUEUR_X) ENTRE (TOUR_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE (JOUEUR_X) ENTRE (TOUR_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE (JOUEUR_X) ENTRE (TOUR_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE (JOUEUR_X) ENTRE (TOUR_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE (JOUEUR_X) ENTRE (TOUR_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V JOUEUR_227 ENTRE TOUR_2 JOUEUR_227 ENTRE TOUR_1 ' INEXISTANT ----------------------------------------- INFERENCE : 25 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CHANGER_TOUR_COURANT SUBSTITUTION : (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : REGLE FIN_PLACEMENT_JOUEUR_PAR_TOUR - PREMISSE TOUR_COURANT' = 1 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CREATION_MATCH - PREMISSE TOUR_COURANT' = (NO_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE TOUR_COURANT' = (NO_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE TOUR_COURANT ' = (NO_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE TOUR_COURANT' = (NO_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE TOUR_COURANT ' = (NO_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE TOUR_COURANT' = (NO_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MATCH_SUIVANT_TOUR_SUIVANT - PREMISSE TOUR_COURANT' = (NO_X) - V --> V Nombre de premisses non satisfaites apres propagation 2 - Etat V REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE TOUR_COURANT' = (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MEME_TOUR_COURANT - PREMISSE TOUR_COURANT' = (NO_X) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CHANGER_TOUR_COURANT - PREMISSE TOUR_COURANT' = (NO_X) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V TOUR_COURANT' 1 ----------------------------------------- INFERENCE : 26 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : FIN_PLACEMENT_JOUEUR_PAR_TOUR FAITS DEDUITS : REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_TOUR_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - F --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE FIN_PLACEMENT_JOUEUR_PAR_TOUR - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MEME_TOUR_COURANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat F REGLE CHANGER_TOUR_COURANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 0 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat F ETAPE_PLACEMENT_JOUEUR' 3 ----------------------------------------- INFERENCE : 27 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_SUIVANT_MEME_TOUR SUBSTITUTION : (NB_X) par 10 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MATCH_SUIVANT_TOUR_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - V --> F Nombre de premisses non satisfaites apres propagation 2 - Etat V ETAPE_PLACEMENT_JOUEUR' 4 ----------------------------------------- INFERENCE : 28 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par JOUEUR_223 (X) par 13 (CLASSEMENT_X) par 30/1 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : ETAPE_PLACEMENT_JOUEUR' 4 REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MEILLEUR' 13 ----------------------------------------- INFERENCE : 29 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE SUBSTITUTION : (JOUEUR_X) par JOUEUR_223 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat F ETAPE_PLACEMENT_JOUEUR' 5 ----------------------------------------- INFERENCE : 30 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par JOUEUR_223 (X) par 13 (CLASSEMENT_X) par 30/1 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 13 ----------------------------------------- INFERENCE : 31 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par JOUEUR_242 (X) par 14 (CLASSEMENT_X) par 30/2 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 14 ----------------------------------------- INFERENCE : 32 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par JOUEUR_240 (X) par 15 (CLASSEMENT_X) par 30/3 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 15 ----------------------------------------- INFERENCE : 33 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par JOUEUR_491 (X) par 16 (CLASSEMENT_X) par 30/4 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 16 ----------------------------------------- INFERENCE : 34 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par JOUEUR_206 (X) par 17 (CLASSEMENT_X) par 30/5 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 17 ----------------------------------------- INFERENCE : 35 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par JOUEUR_231 (X) par 18 (CLASSEMENT_X) par NC (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 18 ----------------------------------------- INFERENCE : 36 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE SUBSTITUTION : (JOUEUR_X) par JOUEUR_223 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE MATCH_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CREATION_MATCH - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat F ETAPE_PLACEMENT_JOUEUR' 6 ----------------------------------------- INFERENCE : 37 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CREATION_MATCH SUBSTITUTION : (JOUEUR_X) par JOUEUR_223 (JOUEUR_Y) par JOUEUR_231 (TOUR_X) par TOUR_1 (NO_X) par 1 (CLASSEMENT_X) par 30/1 (CLASS_X) par 13 (CLASSEMENT_Y) par NC (CLASS_Y) par 18 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE (TOUR_X) NB_MATCH (VAR1) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE (TOUR_X) NB_MATCH (NB_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V TOUR_1 NB_MATCH 9 TOUR_1 NB_MATCH 10 ' INEXISTANT JOUEUR_231 JOUE JOUEUR_223 JOUEUR_231 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_223 JOUE JOUEUR_231 JOUEUR_223 JOUE PAS_D_ADVERSAIRE ' INEXISTANT ----------------------------------------- INFERENCE : 38 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CREATION_MATCH SUBSTITUTION : (JOUEUR_X) par JOUEUR_221 (JOUEUR_Y) par JOUEUR_214 (TOUR_X) par TOUR_1 (NO_X) par 1 (CLASSEMENT_X) par 30/1 (CLASS_X) par 13 (CLASSEMENT_Y) par NC (CLASS_Y) par 18 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE (TOUR_X) NB_MATCH (VAR1) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE (TOUR_X) NB_MATCH (NB_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V TOUR_1 NB_MATCH 8 TOUR_1 NB_MATCH 9 ' INEXISTANT JOUEUR_214 JOUE JOUEUR_221 JOUEUR_214 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_221 JOUE JOUEUR_214 JOUEUR_221 JOUE PAS_D_ADVERSAIRE ' INEXISTANT ----------------------------------------- INFERENCE : 39 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CREATION_MATCH SUBSTITUTION : (JOUEUR_X) par JOUEUR_216 (JOUEUR_Y) par JOUEUR_210 (TOUR_X) par TOUR_1 (NO_X) par 1 (CLASSEMENT_X) par 30/1 (CLASS_X) par 13 (CLASSEMENT_Y) par NC (CLASS_Y) par 18 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE (TOUR_X) NB_MATCH (VAR1) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE (TOUR_X) NB_MATCH (NB_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V TOUR_1 NB_MATCH 7 TOUR_1 NB_MATCH 8 ' INEXISTANT JOUEUR_210 JOUE JOUEUR_216 JOUEUR_210 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_216 JOUE JOUEUR_210 JOUEUR_216 JOUE PAS_D_ADVERSAIRE ' INEXISTANT ----------------------------------------- INFERENCE : 40 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_SUIVANT SUBSTITUTION : (JOUEUR_X) par VAINQUEUR_2-6 (JOUEUR_Y) par VAINQUEUR_2-7 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE CLASSEMENT_MEILLEUR' > (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_BOUCLAGE - PREMISSE CLASSEMENT_MEILLEUR' > (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MEILLEUR' 19 REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE CLASSEMENT_MOINS_BON' < (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 0 REGLE MATCH_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CREATION_MATCH - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_TOUR_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - F --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V ETAPE_PLACEMENT_JOUEUR' 3 ----------------------------------------- INFERENCE : 41 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_SUIVANT_MEME_TOUR SUBSTITUTION : (NB_X) par 7 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MATCH_SUIVANT_TOUR_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - V --> F Nombre de premisses non satisfaites apres propagation 2 - Etat V ETAPE_PLACEMENT_JOUEUR' 4 ----------------------------------------- INFERENCE : 42 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par JOUEUR_207 (X) par 13 (CLASSEMENT_X) par 30/1 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : ETAPE_PLACEMENT_JOUEUR' 4 REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MEILLEUR' 13 ----------------------------------------- INFERENCE : 43 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE SUBSTITUTION : (JOUEUR_X) par JOUEUR_207 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat F ETAPE_PLACEMENT_JOUEUR' 5 ----------------------------------------- INFERENCE : 44 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par JOUEUR_207 (X) par 13 (CLASSEMENT_X) par 30/1 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 13 ----------------------------------------- INFERENCE : 45 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par JOUEUR_242 (X) par 14 (CLASSEMENT_X) par 30/2 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 14 ----------------------------------------- INFERENCE : 46 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par JOUEUR_240 (X) par 15 (CLASSEMENT_X) par 30/3 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 15 ----------------------------------------- INFERENCE : 47 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par JOUEUR_491 (X) par 16 (CLASSEMENT_X) par 30/4 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 16 ----------------------------------------- INFERENCE : 48 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par JOUEUR_206 (X) par 17 (CLASSEMENT_X) par 30/5 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 17 ----------------------------------------- INFERENCE : 49 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE SUBSTITUTION : (JOUEUR_X) par JOUEUR_207 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE MATCH_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CREATION_MATCH - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat F ETAPE_PLACEMENT_JOUEUR' 6 ----------------------------------------- INFERENCE : 50 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CREATION_MATCH SUBSTITUTION : (JOUEUR_X) par JOUEUR_207 (JOUEUR_Y) par JOUEUR_206 (CLASSEMENT_Y) par 30/5 (CLASS_Y) par 17 (CLASSEMENT_X) par 30/1 (CLASS_X) par 13 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE (TOUR_X) NB_MATCH (VAR1) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE (TOUR_X) NB_MATCH (NB_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V TOUR_1 NB_MATCH 6 TOUR_1 NB_MATCH 7 ' INEXISTANT JOUEUR_206 JOUE JOUEUR_207 JOUEUR_206 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_207 JOUE JOUEUR_206 JOUEUR_207 JOUE PAS_D_ADVERSAIRE ' INEXISTANT ----------------------------------------- INFERENCE : 51 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_SUIVANT SUBSTITUTION : (JOUEUR_Y) par VAINQUEUR_2-6 (JOUEUR_X) par VAINQUEUR_2-7 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE CLASSEMENT_MEILLEUR' > (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_BOUCLAGE - PREMISSE CLASSEMENT_MEILLEUR' > (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MEILLEUR' 19 REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE CLASSEMENT_MOINS_BON' < (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 0 REGLE MATCH_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CREATION_MATCH - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_TOUR_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - F --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V ETAPE_PLACEMENT_JOUEUR' 3 ----------------------------------------- INFERENCE : 52 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_SUIVANT_MEME_TOUR SUBSTITUTION : (NB_X) par 6 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MATCH_SUIVANT_TOUR_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - V --> F Nombre de premisses non satisfaites apres propagation 2 - Etat V ETAPE_PLACEMENT_JOUEUR' 4 ----------------------------------------- INFERENCE : 53 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par JOUEUR_205 (X) par 13 (CLASSEMENT_X) par 30/1 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : ETAPE_PLACEMENT_JOUEUR' 4 REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MEILLEUR' 13 ----------------------------------------- INFERENCE : 54 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE SUBSTITUTION : (JOUEUR_X) par JOUEUR_205 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat F ETAPE_PLACEMENT_JOUEUR' 5 ----------------------------------------- INFERENCE : 55 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par JOUEUR_205 (X) par 13 (CLASSEMENT_X) par 30/1 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 13 ----------------------------------------- INFERENCE : 56 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par JOUEUR_242 (X) par 14 (CLASSEMENT_X) par 30/2 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 14 ----------------------------------------- INFERENCE : 57 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par JOUEUR_240 (X) par 15 (CLASSEMENT_X) par 30/3 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 15 ----------------------------------------- INFERENCE : 58 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par JOUEUR_491 (X) par 16 (CLASSEMENT_X) par 30/4 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 16 ----------------------------------------- INFERENCE : 59 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE SUBSTITUTION : (JOUEUR_X) par JOUEUR_205 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE MATCH_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CREATION_MATCH - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat F ETAPE_PLACEMENT_JOUEUR' 6 ----------------------------------------- INFERENCE : 60 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CREATION_MATCH SUBSTITUTION : (JOUEUR_X) par JOUEUR_205 (JOUEUR_Y) par JOUEUR_491 (TOUR_X) par TOUR_1 (NO_X) par 1 (CLASSEMENT_X) par 30/1 (CLASS_X) par 13 (CLASSEMENT_Y) par 30/4 (CLASS_Y) par 16 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE (TOUR_X) NB_MATCH (VAR1) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE (TOUR_X) NB_MATCH (NB_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V TOUR_1 NB_MATCH 5 TOUR_1 NB_MATCH 6 ' INEXISTANT JOUEUR_491 JOUE JOUEUR_205 JOUEUR_491 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_205 JOUE JOUEUR_491 JOUEUR_205 JOUE PAS_D_ADVERSAIRE ' INEXISTANT ----------------------------------------- INFERENCE : 61 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CREATION_MATCH SUBSTITUTION : (JOUEUR_X) par JOUEUR_203 (JOUEUR_Y) par JOUEUR_225 (TOUR_X) par TOUR_1 (NO_X) par 1 (CLASSEMENT_X) par 30/1 (CLASS_X) par 13 (CLASSEMENT_Y) par 30/4 (CLASS_Y) par 16 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE (TOUR_X) NB_MATCH (VAR1) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE (TOUR_X) NB_MATCH (NB_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V TOUR_1 NB_MATCH 4 TOUR_1 NB_MATCH 5 ' INEXISTANT JOUEUR_225 JOUE JOUEUR_203 JOUEUR_225 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_203 JOUE JOUEUR_225 JOUEUR_203 JOUE PAS_D_ADVERSAIRE ' INEXISTANT ----------------------------------------- INFERENCE : 62 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_SUIVANT SUBSTITUTION : (JOUEUR_X) par VAINQUEUR_2-5 (JOUEUR_Y) par VAINQUEUR_2-7 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE CLASSEMENT_MEILLEUR' > (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_BOUCLAGE - PREMISSE CLASSEMENT_MEILLEUR' > (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MEILLEUR' 19 REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE CLASSEMENT_MOINS_BON' < (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 0 REGLE MATCH_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CREATION_MATCH - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_TOUR_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - F --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V ETAPE_PLACEMENT_JOUEUR' 3 ----------------------------------------- INFERENCE : 63 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_SUIVANT_MEME_TOUR SUBSTITUTION : (NB_X) par 4 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MATCH_SUIVANT_TOUR_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - V --> F Nombre de premisses non satisfaites apres propagation 2 - Etat V ETAPE_PLACEMENT_JOUEUR' 4 ----------------------------------------- INFERENCE : 64 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par JOUEUR_242 (X) par 14 (CLASSEMENT_X) par 30/2 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : ETAPE_PLACEMENT_JOUEUR' 4 REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MEILLEUR' 14 ----------------------------------------- INFERENCE : 65 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE SUBSTITUTION : (JOUEUR_X) par JOUEUR_242 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat F ETAPE_PLACEMENT_JOUEUR' 5 ----------------------------------------- INFERENCE : 66 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par JOUEUR_242 (X) par 14 (CLASSEMENT_X) par 30/2 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 14 ----------------------------------------- INFERENCE : 67 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par JOUEUR_240 (X) par 15 (CLASSEMENT_X) par 30/3 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 15 ----------------------------------------- INFERENCE : 68 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par JOUEUR_222 (X) par 16 (CLASSEMENT_X) par 30/4 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 16 ----------------------------------------- INFERENCE : 69 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE SUBSTITUTION : (JOUEUR_X) par JOUEUR_242 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE MATCH_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CREATION_MATCH - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat F ETAPE_PLACEMENT_JOUEUR' 6 ----------------------------------------- INFERENCE : 70 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CREATION_MATCH SUBSTITUTION : (JOUEUR_Y) par JOUEUR_222 (JOUEUR_X) par JOUEUR_242 (CLASSEMENT_Y) par 30/4 (CLASS_Y) par 16 (CLASSEMENT_X) par 30/2 (CLASS_X) par 14 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE (TOUR_X) NB_MATCH (VAR1) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE (TOUR_X) NB_MATCH (NB_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V TOUR_1 NB_MATCH 3 TOUR_1 NB_MATCH 4 ' INEXISTANT JOUEUR_222 JOUE JOUEUR_242 JOUEUR_222 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_242 JOUE JOUEUR_222 JOUEUR_242 JOUE PAS_D_ADVERSAIRE ' INEXISTANT ----------------------------------------- INFERENCE : 71 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CREATION_MATCH SUBSTITUTION : (JOUEUR_Y) par JOUEUR_209 (JOUEUR_X) par JOUEUR_237 (CLASSEMENT_Y) par 30/4 (CLASS_Y) par 16 (CLASSEMENT_X) par 30/2 (CLASS_X) par 14 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE (TOUR_X) NB_MATCH (VAR1) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE (TOUR_X) NB_MATCH (NB_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V TOUR_1 NB_MATCH 2 TOUR_1 NB_MATCH 3 ' INEXISTANT JOUEUR_209 JOUE JOUEUR_237 JOUEUR_209 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_237 JOUE JOUEUR_209 JOUEUR_237 JOUE PAS_D_ADVERSAIRE ' INEXISTANT ----------------------------------------- INFERENCE : 72 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CREATION_MATCH SUBSTITUTION : (JOUEUR_Y) par JOUEUR_202 (JOUEUR_X) par JOUEUR_230 (CLASSEMENT_Y) par 30/4 (CLASS_Y) par 16 (CLASSEMENT_X) par 30/2 (CLASS_X) par 14 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE (TOUR_X) NB_MATCH (VAR1) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE (TOUR_X) NB_MATCH (NB_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V TOUR_1 NB_MATCH 1 TOUR_1 NB_MATCH 2 ' INEXISTANT JOUEUR_202 JOUE JOUEUR_230 JOUEUR_202 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_230 JOUE JOUEUR_202 JOUEUR_230 JOUE PAS_D_ADVERSAIRE ' INEXISTANT ----------------------------------------- INFERENCE : 73 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_SUIVANT SUBSTITUTION : (JOUEUR_Y) par VAINQUEUR_2-5 (JOUEUR_X) par VAINQUEUR_2-7 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE CLASSEMENT_MEILLEUR' > (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_BOUCLAGE - PREMISSE CLASSEMENT_MEILLEUR' > (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MEILLEUR' 19 REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE CLASSEMENT_MOINS_BON' < (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 0 REGLE MATCH_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CREATION_MATCH - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_TOUR_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - F --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V ETAPE_PLACEMENT_JOUEUR' 3 ----------------------------------------- INFERENCE : 74 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_SUIVANT_MEME_TOUR SUBSTITUTION : (NB_X) par 1 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MATCH_SUIVANT_TOUR_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - V --> F Nombre de premisses non satisfaites apres propagation 2 - Etat V ETAPE_PLACEMENT_JOUEUR' 4 ----------------------------------------- INFERENCE : 75 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par JOUEUR_240 (X) par 15 (CLASSEMENT_X) par 30/3 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : ETAPE_PLACEMENT_JOUEUR' 4 REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MEILLEUR' 15 ----------------------------------------- INFERENCE : 76 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE SUBSTITUTION : (JOUEUR_X) par JOUEUR_240 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat F ETAPE_PLACEMENT_JOUEUR' 5 ----------------------------------------- INFERENCE : 77 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par JOUEUR_240 (X) par 15 (CLASSEMENT_X) par 30/3 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 15 ----------------------------------------- INFERENCE : 78 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE SUBSTITUTION : (JOUEUR_X) par JOUEUR_240 (TOUR_X) par TOUR_1 (NO_X) par 1 FAITS DEDUITS : REGLE MATCH_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CREATION_MATCH - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat F ETAPE_PLACEMENT_JOUEUR' 6 ----------------------------------------- INFERENCE : 79 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CREATION_MATCH SUBSTITUTION : (JOUEUR_Y) par JOUEUR_228 (JOUEUR_X) par JOUEUR_240 (TOUR_X) par TOUR_1 (NO_X) par 1 (CLASSEMENT_X) par 30/3 (CLASS_X) par 15 (CLASSEMENT_Y) par 30/3 (CLASS_Y) par 15 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE (TOUR_X) NB_MATCH (VAR1) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE (TOUR_X) NB_MATCH (NB_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MATCH_SUIVANT_TOUR_SUIVANT - PREMISSE (TOUR_X) NB_MATCH 0 - F --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V TOUR_1 NB_MATCH 0 TOUR_1 NB_MATCH 1 ' INEXISTANT JOUEUR_228 JOUE JOUEUR_240 JOUEUR_228 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_240 JOUE JOUEUR_228 JOUEUR_240 JOUE PAS_D_ADVERSAIRE ' INEXISTANT ----------------------------------------- INFERENCE : 80 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_SUIVANT SUBSTITUTION : (JOUEUR_X) par VAINQUEUR_2-4 (JOUEUR_Y) par VAINQUEUR_2-7 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE CLASSEMENT_MEILLEUR' > (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_BOUCLAGE - PREMISSE CLASSEMENT_MEILLEUR' > (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MEILLEUR' 19 REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE CLASSEMENT_MOINS_BON' < (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 0 REGLE MATCH_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CREATION_MATCH - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_TOUR_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V ETAPE_PLACEMENT_JOUEUR' 3 ----------------------------------------- INFERENCE : 81 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_SUIVANT_TOUR_SUIVANT SUBSTITUTION : (NO_X) par 1 (TOUR_X) par TOUR_1 FAITS DEDUITS : REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MATCH_SUIVANT_TOUR_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V ETAPE_PLACEMENT_JOUEUR' 4 REGLE FIN_PLACEMENT_JOUEUR_PAR_TOUR - PREMISSE TOUR_COURANT' = 1 - V --> F Nombre de premisses non satisfaites apres propagation 2 - Etat F REGLE CREATION_MATCH - PREMISSE TOUR_COURANT' = (NO_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE TOUR_COURANT' = (NO_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE TOUR_COURANT ' = (NO_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE TOUR_COURANT' = (NO_X) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE TOUR_COURANT ' = (NO_X) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE TOUR_COURANT' = (NO_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MATCH_SUIVANT_TOUR_SUIVANT - PREMISSE TOUR_COURANT' = (NO_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE TOUR_COURANT' = (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MEME_TOUR_COURANT - PREMISSE TOUR_COURANT' = (NO_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CHANGER_TOUR_COURANT - PREMISSE TOUR_COURANT' = (NO_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V TOUR_COURANT' 2 ----------------------------------------- INFERENCE : 82 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par JOUEUR_243 (X) par 11 (CLASSEMENT_X) par 15/5 (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : ETAPE_PLACEMENT_JOUEUR' 4 REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MEILLEUR' 11 ----------------------------------------- INFERENCE : 83 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE SUBSTITUTION : (JOUEUR_X) par VAINQUEUR_1-9 (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat F ETAPE_PLACEMENT_JOUEUR' 5 ----------------------------------------- INFERENCE : 84 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par JOUEUR_243 (X) par 11 (CLASSEMENT_X) par 15/5 (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 11 ----------------------------------------- INFERENCE : 85 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par JOUEUR_215 (X) par 12 (CLASSEMENT_X) par 30/0 (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 12 ----------------------------------------- INFERENCE : 86 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par JOUEUR_227 (X) par 13 (CLASSEMENT_X) par 30/1 (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 13 ----------------------------------------- INFERENCE : 87 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par VAINQUEUR_1-9 (X) par 19 (CLASSEMENT_X) par PIRE (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 19 ----------------------------------------- INFERENCE : 88 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE SUBSTITUTION : (JOUEUR_X) par VAINQUEUR_1-9 (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : REGLE MATCH_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CREATION_MATCH - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat F ETAPE_PLACEMENT_JOUEUR' 6 ----------------------------------------- INFERENCE : 89 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CREATION_MATCH SUBSTITUTION : (JOUEUR_Y) par VAINQUEUR_1-9 (JOUEUR_X) par JOUEUR_243 (CLASSEMENT_Y) par PIRE (CLASS_Y) par 19 (CLASSEMENT_X) par 15/5 (CLASS_X) par 11 (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE (TOUR_X) NB_MATCH (VAR1) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE (TOUR_X) NB_MATCH (NB_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V TOUR_2 NB_MATCH 7 TOUR_2 NB_MATCH 8 ' INEXISTANT VAINQUEUR_1-9 JOUE JOUEUR_243 VAINQUEUR_1-9 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_243 JOUE VAINQUEUR_1-9 JOUEUR_243 JOUE PAS_D_ADVERSAIRE ' INEXISTANT ----------------------------------------- INFERENCE : 90 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CREATION_MATCH SUBSTITUTION : (JOUEUR_Y) par VAINQUEUR_1-8 (JOUEUR_X) par JOUEUR_236 (CLASSEMENT_Y) par PIRE (CLASS_Y) par 19 (CLASSEMENT_X) par 15/5 (CLASS_X) par 11 (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE (TOUR_X) NB_MATCH (VAR1) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE (TOUR_X) NB_MATCH (NB_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V TOUR_2 NB_MATCH 6 TOUR_2 NB_MATCH 7 ' INEXISTANT VAINQUEUR_1-8 JOUE JOUEUR_236 VAINQUEUR_1-8 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_236 JOUE VAINQUEUR_1-8 JOUEUR_236 JOUE PAS_D_ADVERSAIRE ' INEXISTANT ----------------------------------------- INFERENCE : 91 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CREATION_MATCH SUBSTITUTION : (JOUEUR_Y) par VAINQUEUR_1-7 (JOUEUR_X) par JOUEUR_219 (CLASSEMENT_Y) par PIRE (CLASS_Y) par 19 (CLASSEMENT_X) par 15/5 (CLASS_X) par 11 (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE (TOUR_X) NB_MATCH (VAR1) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE (TOUR_X) NB_MATCH (NB_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V TOUR_2 NB_MATCH 5 TOUR_2 NB_MATCH 6 ' INEXISTANT VAINQUEUR_1-7 JOUE JOUEUR_219 VAINQUEUR_1-7 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_219 JOUE VAINQUEUR_1-7 JOUEUR_219 JOUE PAS_D_ADVERSAIRE ' INEXISTANT ----------------------------------------- INFERENCE : 92 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CREATION_MATCH SUBSTITUTION : (JOUEUR_Y) par VAINQUEUR_1-6 (JOUEUR_X) par JOUEUR_217 (CLASSEMENT_Y) par PIRE (CLASS_Y) par 19 (CLASSEMENT_X) par 15/5 (CLASS_X) par 11 (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE (TOUR_X) NB_MATCH (VAR1) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE (TOUR_X) NB_MATCH (NB_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V TOUR_2 NB_MATCH 4 TOUR_2 NB_MATCH 5 ' INEXISTANT VAINQUEUR_1-6 JOUE JOUEUR_217 VAINQUEUR_1-6 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_217 JOUE VAINQUEUR_1-6 JOUEUR_217 JOUE PAS_D_ADVERSAIRE ' INEXISTANT ----------------------------------------- INFERENCE : 93 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_SUIVANT SUBSTITUTION : (JOUEUR_Y) par VAINQUEUR_2-4 (JOUEUR_X) par VAINQUEUR_2-7 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE CLASSEMENT_MEILLEUR' > (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_BOUCLAGE - PREMISSE CLASSEMENT_MEILLEUR' > (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MEILLEUR' 19 REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE CLASSEMENT_MOINS_BON' < (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 0 REGLE MATCH_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CREATION_MATCH - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_TOUR_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V ETAPE_PLACEMENT_JOUEUR' 3 ----------------------------------------- INFERENCE : 94 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_SUIVANT_MEME_TOUR SUBSTITUTION : (NB_X) par 4 (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MATCH_SUIVANT_TOUR_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat F ETAPE_PLACEMENT_JOUEUR' 4 ----------------------------------------- INFERENCE : 95 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (X) par 12 (JOUEUR_X) par JOUEUR_215 (CLASSEMENT_X) par 30/0 (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : ETAPE_PLACEMENT_JOUEUR' 4 REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MEILLEUR' 12 ----------------------------------------- INFERENCE : 96 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE SUBSTITUTION : (JOUEUR_X) par VAINQUEUR_1-5 (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat F ETAPE_PLACEMENT_JOUEUR' 5 ----------------------------------------- INFERENCE : 97 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (X) par 12 (JOUEUR_X) par JOUEUR_215 (CLASSEMENT_X) par 30/0 (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 12 ----------------------------------------- INFERENCE : 98 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par JOUEUR_227 (X) par 13 (CLASSEMENT_X) par 30/1 (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 13 ----------------------------------------- INFERENCE : 99 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par VAINQUEUR_1-5 (X) par 19 (CLASSEMENT_X) par PIRE (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 19 ----------------------------------------- INFERENCE : 100 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE SUBSTITUTION : (JOUEUR_X) par VAINQUEUR_1-5 (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : REGLE MATCH_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CREATION_MATCH - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat F ETAPE_PLACEMENT_JOUEUR' 6 ----------------------------------------- INFERENCE : 101 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CREATION_MATCH SUBSTITUTION : (JOUEUR_Y) par VAINQUEUR_1-5 (TOUR_X) par TOUR_2 (NO_X) par 2 (JOUEUR_X) par JOUEUR_215 (CLASSEMENT_X) par 30/0 (CLASS_X) par 12 (CLASSEMENT_Y) par PIRE (CLASS_Y) par 19 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE (TOUR_X) NB_MATCH (VAR1) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE (TOUR_X) NB_MATCH (NB_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V TOUR_2 NB_MATCH 3 TOUR_2 NB_MATCH 4 ' INEXISTANT VAINQUEUR_1-5 JOUE JOUEUR_215 VAINQUEUR_1-5 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_215 JOUE VAINQUEUR_1-5 JOUEUR_215 JOUE PAS_D_ADVERSAIRE ' INEXISTANT ----------------------------------------- INFERENCE : 102 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_SUIVANT SUBSTITUTION : (JOUEUR_X) par VAINQUEUR_2-3 (JOUEUR_Y) par VAINQUEUR_2-7 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE CLASSEMENT_MEILLEUR' > (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_BOUCLAGE - PREMISSE CLASSEMENT_MEILLEUR' > (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MEILLEUR' 19 REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE CLASSEMENT_MOINS_BON' < (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 0 REGLE MATCH_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CREATION_MATCH - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_TOUR_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat F ETAPE_PLACEMENT_JOUEUR' 3 ----------------------------------------- INFERENCE : 103 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_SUIVANT_MEME_TOUR SUBSTITUTION : (NB_X) par 3 (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MATCH_SUIVANT_TOUR_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat F ETAPE_PLACEMENT_JOUEUR' 4 ----------------------------------------- INFERENCE : 104 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par JOUEUR_227 (X) par 13 (CLASSEMENT_X) par 30/1 (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : ETAPE_PLACEMENT_JOUEUR' 4 REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MEILLEUR' 13 ----------------------------------------- INFERENCE : 105 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE SUBSTITUTION : (JOUEUR_X) par VAINQUEUR_1-4 (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat F ETAPE_PLACEMENT_JOUEUR' 5 ----------------------------------------- INFERENCE : 106 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par JOUEUR_227 (X) par 13 (CLASSEMENT_X) par 30/1 (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 13 ----------------------------------------- INFERENCE : 107 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par VAINQUEUR_1-4 (X) par 19 (CLASSEMENT_X) par PIRE (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 19 ----------------------------------------- INFERENCE : 108 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE SUBSTITUTION : (JOUEUR_X) par VAINQUEUR_1-4 (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : REGLE MATCH_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CREATION_MATCH - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat F ETAPE_PLACEMENT_JOUEUR' 6 ----------------------------------------- INFERENCE : 109 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CREATION_MATCH SUBSTITUTION : (JOUEUR_Y) par VAINQUEUR_1-4 (JOUEUR_X) par JOUEUR_227 (TOUR_X) par TOUR_2 (NO_X) par 2 (CLASSEMENT_Y) par PIRE (CLASS_Y) par 19 (CLASSEMENT_X) par 30/1 (CLASS_X) par 13 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE (TOUR_X) NB_MATCH (VAR1) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE (TOUR_X) NB_MATCH (NB_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V TOUR_2 NB_MATCH 2 TOUR_2 NB_MATCH 3 ' INEXISTANT VAINQUEUR_1-4 JOUE JOUEUR_227 VAINQUEUR_1-4 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_227 JOUE VAINQUEUR_1-4 JOUEUR_227 JOUE PAS_D_ADVERSAIRE ' INEXISTANT ----------------------------------------- INFERENCE : 110 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_SUIVANT SUBSTITUTION : (JOUEUR_Y) par VAINQUEUR_2-3 (JOUEUR_X) par VAINQUEUR_2-7 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE CLASSEMENT_MEILLEUR' = (CLASS_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE CLASSEMENT_MEILLEUR' > (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_TOUR_BOUCLAGE - PREMISSE CLASSEMENT_MEILLEUR' > (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MEILLEUR' 19 REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE CLASSEMENT_MOINS_BON' < (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 0 REGLE MATCH_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CREATION_MATCH - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_TOUR_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat F ETAPE_PLACEMENT_JOUEUR' 3 ----------------------------------------- INFERENCE : 111 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_SUIVANT_MEME_TOUR SUBSTITUTION : (NB_X) par 2 (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MATCH_SUIVANT_TOUR_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat F ETAPE_PLACEMENT_JOUEUR' 4 ----------------------------------------- INFERENCE : 112 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE SUBSTITUTION : (JOUEUR_X) par VAINQUEUR_1-3 (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat F ETAPE_PLACEMENT_JOUEUR' 5 ----------------------------------------- INFERENCE : 113 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (JOUEUR_X) par VAINQUEUR_1-3 (X) par 19 (CLASSEMENT_X) par PIRE (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 19 ----------------------------------------- INFERENCE : 114 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE SUBSTITUTION : (JOUEUR_X) par VAINQUEUR_1-3 (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : REGLE MATCH_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CREATION_MATCH - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat F ETAPE_PLACEMENT_JOUEUR' 6 ----------------------------------------- INFERENCE : 115 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CREATION_MATCH SUBSTITUTION : (JOUEUR_Y) par VAINQUEUR_1-2 (JOUEUR_X) par VAINQUEUR_1-3 (CLASSEMENT_X) par PIRE (CLASS_X) par 19 (CLASSEMENT_Y) par PIRE (CLASS_Y) par 19 (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE (TOUR_X) NB_MATCH (VAR1) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE (TOUR_X) NB_MATCH (NB_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V TOUR_2 NB_MATCH 1 TOUR_2 NB_MATCH 2 ' INEXISTANT VAINQUEUR_1-2 JOUE VAINQUEUR_1-3 VAINQUEUR_1-2 JOUE PAS_D_ADVERSAIRE ' INEXISTANT VAINQUEUR_1-3 JOUE VAINQUEUR_1-2 VAINQUEUR_1-3 JOUE PAS_D_ADVERSAIRE ' INEXISTANT ----------------------------------------- INFERENCE : 116 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CREATION_MATCH SUBSTITUTION : (JOUEUR_Y) par VAINQUEUR_1-0 (JOUEUR_X) par VAINQUEUR_1-1 (CLASSEMENT_X) par PIRE (CLASS_X) par 19 (CLASSEMENT_Y) par PIRE (CLASS_Y) par 19 (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE (TOUR_X) NB_MATCH (VAR1) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE (TOUR_X) NB_MATCH (NB_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MATCH_SUIVANT_TOUR_SUIVANT - PREMISSE (TOUR_X) NB_MATCH 0 - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V TOUR_2 NB_MATCH 0 TOUR_2 NB_MATCH 1 ' INEXISTANT VAINQUEUR_1-0 JOUE VAINQUEUR_1-1 VAINQUEUR_1-0 JOUE PAS_D_ADVERSAIRE ' INEXISTANT VAINQUEUR_1-1 JOUE VAINQUEUR_1-0 VAINQUEUR_1-1 JOUE PAS_D_ADVERSAIRE ' INEXISTANT ----------------------------------------- INFERENCE : 117 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_SUIVANT SUBSTITUTION : (JOUEUR_X) par VAINQUEUR_2-2 (JOUEUR_Y) par VAINQUEUR_2-7 FAITS DEDUITS : CLASSEMENT_MEILLEUR' 19 REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE CLASSEMENT_MOINS_BON' < (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 0 REGLE MATCH_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CREATION_MATCH - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_TOUR_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V ETAPE_PLACEMENT_JOUEUR' 3 ----------------------------------------- INFERENCE : 118 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_SUIVANT_TOUR_SUIVANT SUBSTITUTION : (TOUR_X) par TOUR_2 (NO_X) par 2 FAITS DEDUITS : REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MATCH_SUIVANT_TOUR_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 3 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V ETAPE_PLACEMENT_JOUEUR' 4 REGLE CREATION_MATCH - PREMISSE TOUR_COURANT' = (NO_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE TOUR_COURANT' = (NO_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE TOUR_COURANT ' = (NO_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE TOUR_COURANT' = (NO_X) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE TOUR_COURANT ' = (NO_X) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE TOUR_COURANT' = (NO_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MATCH_SUIVANT_TOUR_SUIVANT - PREMISSE TOUR_COURANT' = (NO_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MEILLEUR_JOUEUR_ENTRE_TOUR_N - PREMISSE TOUR_COURANT' = (X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MEME_TOUR_COURANT - PREMISSE TOUR_COURANT' = (NO_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CHANGER_TOUR_COURANT - PREMISSE TOUR_COURANT' = (NO_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V TOUR_COURANT' 3 ----------------------------------------- INFERENCE : 119 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE SUBSTITUTION : (JOUEUR_X) par VAINQUEUR_2-7 (TOUR_X) par TOUR_3 (NO_X) par 3 FAITS DEDUITS : REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 4 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat F ETAPE_PLACEMENT_JOUEUR' 5 ----------------------------------------- INFERENCE : 120 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE SUBSTITUTION : (X) par 19 (CLASSEMENT_X) par PIRE (JOUEUR_X) par VAINQUEUR_2-7 (TOUR_X) par TOUR_3 (NO_X) par 3 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE CLASSEMENT_MOINS_BON' = (CLASS_Y) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V CLASSEMENT_MOINS_BON' 19 ----------------------------------------- INFERENCE : 121 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE SUBSTITUTION : (JOUEUR_X) par VAINQUEUR_2-7 (TOUR_X) par TOUR_3 (NO_X) par 3 FAITS DEDUITS : REGLE MATCH_SUIVANT - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CREATION_MATCH - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 6 - F --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE ETAPE_PLACEMENT_JOUEUR' = 5 - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat F ETAPE_PLACEMENT_JOUEUR' 6 ----------------------------------------- INFERENCE : 122 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CREATION_MATCH SUBSTITUTION : (JOUEUR_Y) par VAINQUEUR_2-6 (JOUEUR_X) par VAINQUEUR_2-7 (TOUR_X) par TOUR_3 (NO_X) par 3 (CLASSEMENT_Y) par PIRE (CLASS_Y) par 19 (CLASSEMENT_X) par PIRE (CLASS_X) par 19 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE (TOUR_X) NB_MATCH (VAR1) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE (TOUR_X) NB_MATCH (NB_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V TOUR_3 NB_MATCH 3 TOUR_3 NB_MATCH 4 ' INEXISTANT VAINQUEUR_2-6 JOUE VAINQUEUR_2-7 VAINQUEUR_2-6 JOUE PAS_D_ADVERSAIRE ' INEXISTANT VAINQUEUR_2-7 JOUE VAINQUEUR_2-6 VAINQUEUR_2-7 JOUE PAS_D_ADVERSAIRE ' INEXISTANT ----------------------------------------- INFERENCE : 123 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CREATION_MATCH SUBSTITUTION : (JOUEUR_Y) par VAINQUEUR_2-4 (JOUEUR_X) par VAINQUEUR_2-5 (TOUR_X) par TOUR_3 (NO_X) par 3 (CLASSEMENT_Y) par PIRE (CLASS_Y) par 19 (CLASSEMENT_X) par PIRE (CLASS_X) par 19 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE (TOUR_X) NB_MATCH (VAR1) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE (TOUR_X) NB_MATCH (NB_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V TOUR_3 NB_MATCH 2 TOUR_3 NB_MATCH 3 ' INEXISTANT VAINQUEUR_2-4 JOUE VAINQUEUR_2-5 VAINQUEUR_2-4 JOUE PAS_D_ADVERSAIRE ' INEXISTANT VAINQUEUR_2-5 JOUE VAINQUEUR_2-4 VAINQUEUR_2-5 JOUE PAS_D_ADVERSAIRE ' INEXISTANT ----------------------------------------- INFERENCE : 124 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CREATION_MATCH SUBSTITUTION : (JOUEUR_Y) par VAINQUEUR_2-2 (JOUEUR_X) par VAINQUEUR_2-3 (TOUR_X) par TOUR_3 (NO_X) par 3 (CLASSEMENT_Y) par PIRE (CLASS_Y) par 19 (CLASSEMENT_X) par PIRE (CLASS_X) par 19 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE (TOUR_X) NB_MATCH (VAR1) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE (TOUR_X) NB_MATCH (NB_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V TOUR_3 NB_MATCH 1 TOUR_3 NB_MATCH 2 ' INEXISTANT VAINQUEUR_2-2 JOUE VAINQUEUR_2-3 VAINQUEUR_2-2 JOUE PAS_D_ADVERSAIRE ' INEXISTANT VAINQUEUR_2-3 JOUE VAINQUEUR_2-2 VAINQUEUR_2-3 JOUE PAS_D_ADVERSAIRE ' INEXISTANT ----------------------------------------- INFERENCE : 125 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : CREATION_MATCH SUBSTITUTION : (JOUEUR_Y) par VAINQUEUR_2-0 (JOUEUR_X) par VAINQUEUR_2-1 (TOUR_X) par TOUR_3 (NO_X) par 3 (CLASSEMENT_Y) par PIRE (CLASS_Y) par 19 (CLASSEMENT_X) par PIRE (CLASS_X) par 19 FAITS DEDUITS : REGLE CREATION_MATCH - PREMISSE (TOUR_X) NB_MATCH (VAR1) - V --> V Nombre de premisses non satisfaites apres propagation 0 - Etat V REGLE MATCH_SUIVANT_MEME_TOUR - PREMISSE (TOUR_X) NB_MATCH (NB_X) - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MATCH_SUIVANT_TOUR_SUIVANT - PREMISSE (TOUR_X) NB_MATCH 0 - V --> V Nombre de premisses non satisfaites apres propagation 1 - Etat V TOUR_3 NB_MATCH 0 TOUR_3 NB_MATCH 1 ' INEXISTANT VAINQUEUR_2-0 JOUE VAINQUEUR_2-1 VAINQUEUR_2-0 JOUE PAS_D_ADVERSAIRE ' INEXISTANT VAINQUEUR_2-1 JOUE VAINQUEUR_2-0 REGLE MATCH_SUIVANT - PREMISSE (JOUEUR_Y) JOUE PAS_D_ADVERSAIRE - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE MATCH_SUIVANT - PREMISSE (JOUEUR_X) JOUE PAS_D_ADVERSAIRE - V --> F Nombre de premisses non satisfaites apres propagation 2 - Etat V REGLE CREATION_MATCH - PREMISSE (JOUEUR_Y) JOUE PAS_D_ADVERSAIRE - V --> F Nombre de premisses non satisfaites apres propagation 1 - Etat V REGLE CREATION_MATCH - PREMISSE (JOUEUR_X) JOUE PAS_D_ADVERSAIRE - V --> F Nombre de premisses non satisfaites apres propagation 2 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE (JOUEUR_X) JOUE PAS_D_ADVERSAIRE - V --> F Nombre de premisses non satisfaites apres propagation 2 - Etat V REGLE CLASSEMENT_MOINS_BON_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE (JOUEUR_X) JOUE PAS_D_ADVERSAIRE - V --> F Nombre de premisses non satisfaites apres propagation 2 - Etat F REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_SORTIE - PREMISSE (JOUEUR_X) JOUE PAS_D_ADVERSAIRE - V --> F Nombre de premisses non satisfaites apres propagation 2 - Etat V REGLE CLASSEMENT_MEILLEUR_PAS_PLACE_DANS_MATCH_BOUCLAGE - PREMISSE (JOUEUR_X) JOUE PAS_D_ADVERSAIRE - V --> F Nombre de premisses non satisfaites apres propagation 2 - Etat F VAINQUEUR_2-1 JOUE PAS_D_ADVERSAIRE ' INEXISTANT ----------------------------------------- INFERENCE : 126 ---------------- ******************************************************************************** INFERENCES ---------- -------------------------------------------------------------------------------- Nombre d'inferences : 0 Duree de chargement de la Base Compilee : 0.00 s Duree de chargement de la Base de Faits : 0.00 s Duree de l'execution des inferences : 0.00 s Duree totale : 0.00 s -------------------------------------------------------------------------------- BASE DE FAITS FINALE -------------------- -------------------------------------------------------------------------------- Nombre total d'objets : 311 Nombre de triplets : 239 Nombre d'objets en place 1 : 0 Nombre d'objets en place 2 : 7 Nombre d'objets en place 3 : 0 Nombre d'objets en place statut : 8 -------------------------------------------------------------------------------- ; ; Faits statiques : ----------------- ; TOUR_1' TOUR NB_TOUR' 3 PIRE' CLASSEMENT NC' CLASSEMENT 30/5' CLASSEMENT 30/4' CLASSEMENT 30/3' CLASSEMENT 30/2' CLASSEMENT 30/1' CLASSEMENT 30/0' CLASSEMENT 15/5' CLASSEMENT 15/4' CLASSEMENT 15/3' CLASSEMENT 15/2' CLASSEMENT 15/1' CLASSEMENT 15/0' CLASSEMENT 5/6' CLASSEMENT 4/6' CLASSEMENT 3/6' CLASSEMENT 2/6' CLASSEMENT 1/6' CLASSEMENT 0/6' CLASSEMENT PIRE VAUT 19 NC VAUT 18 30/5 VAUT 17 30/4 VAUT 16 30/3 VAUT 15 30/2 VAUT 14 30/1 VAUT 13 30/0 VAUT 12 15/5 VAUT 11 15/4 VAUT 10 15/3 VAUT 9 15/2 VAUT 8 15/1 VAUT 7 15/0 VAUT 6 5/6 VAUT 5 4/6 VAUT 4 3/6 VAUT 3 2/6 VAUT 2 1/6 VAUT 1 0/6 VAUT 0 JOUEUR_210' JOUEUR JOUEUR_210 ENTRE TOUR_1 JOUEUR_210 EST_CLASSE NC JOUEUR_214' JOUEUR JOUEUR_214 ENTRE TOUR_1 JOUEUR_214 EST_CLASSE NC JOUEUR_231' JOUEUR JOUEUR_231 ENTRE TOUR_1 JOUEUR_231 EST_CLASSE NC JOUEUR_206' JOUEUR JOUEUR_206 ENTRE TOUR_1 JOUEUR_206 EST_CLASSE 30/5 JOUEUR_202' JOUEUR JOUEUR_202 ENTRE TOUR_1 JOUEUR_202 EST_CLASSE 30/4 JOUEUR_209' JOUEUR JOUEUR_209 ENTRE TOUR_1 JOUEUR_209 EST_CLASSE 30/4 JOUEUR_222' JOUEUR JOUEUR_222 ENTRE TOUR_1 JOUEUR_222 EST_CLASSE 30/4 JOUEUR_225' JOUEUR JOUEUR_225 ENTRE TOUR_1 JOUEUR_225 EST_CLASSE 30/4 JOUEUR_491' JOUEUR JOUEUR_491 ENTRE TOUR_1 JOUEUR_491 EST_CLASSE 30/4 JOUEUR_228' JOUEUR JOUEUR_228 ENTRE TOUR_1 JOUEUR_228 EST_CLASSE 30/3 JOUEUR_240' JOUEUR JOUEUR_240 ENTRE TOUR_1 JOUEUR_240 EST_CLASSE 30/3 JOUEUR_230' JOUEUR JOUEUR_230 ENTRE TOUR_1 JOUEUR_230 EST_CLASSE 30/2 JOUEUR_237' JOUEUR JOUEUR_237 ENTRE TOUR_1 JOUEUR_237 EST_CLASSE 30/2 JOUEUR_242' JOUEUR JOUEUR_242 ENTRE TOUR_1 JOUEUR_242 EST_CLASSE 30/2 JOUEUR_203' JOUEUR JOUEUR_203 ENTRE TOUR_1 JOUEUR_203 EST_CLASSE 30/1 JOUEUR_205' JOUEUR JOUEUR_205 ENTRE TOUR_1 JOUEUR_205 EST_CLASSE 30/1 JOUEUR_207' JOUEUR JOUEUR_207 ENTRE TOUR_1 JOUEUR_207 EST_CLASSE 30/1 JOUEUR_216' JOUEUR JOUEUR_216 ENTRE TOUR_1 JOUEUR_216 EST_CLASSE 30/1 JOUEUR_221' JOUEUR JOUEUR_221 ENTRE TOUR_1 JOUEUR_221 EST_CLASSE 30/1 JOUEUR_223' JOUEUR JOUEUR_223 ENTRE TOUR_1 JOUEUR_223 EST_CLASSE 30/1 JOUEUR_227' JOUEUR JOUEUR_227 EST_CLASSE 30/1 JOUEUR_215' JOUEUR JOUEUR_215 EST_CLASSE 30/0 JOUEUR_217' JOUEUR JOUEUR_217 EST_CLASSE 15/5 JOUEUR_219' JOUEUR JOUEUR_219 EST_CLASSE 15/5 JOUEUR_236' JOUEUR JOUEUR_236 EST_CLASSE 15/5 JOUEUR_243' JOUEUR JOUEUR_243 EST_CLASSE 15/5 TOUR_1 NUMERO 1 TOUR_1 NB_JOUEUR_ENTRANT 20 VAINQUEUR_1-0' JOUEUR TOUR_2' TOUR VAINQUEUR_1-0 ENTRE TOUR_2 VAINQUEUR_1-0 EST_CLASSE PIRE VAINQUEUR_1-1' JOUEUR VAINQUEUR_1-1 ENTRE TOUR_2 VAINQUEUR_1-1 EST_CLASSE PIRE VAINQUEUR_1-2' JOUEUR VAINQUEUR_1-2 ENTRE TOUR_2 VAINQUEUR_1-2 EST_CLASSE PIRE VAINQUEUR_1-3' JOUEUR VAINQUEUR_1-3 ENTRE TOUR_2 VAINQUEUR_1-3 EST_CLASSE PIRE VAINQUEUR_1-4' JOUEUR VAINQUEUR_1-4 ENTRE TOUR_2 VAINQUEUR_1-4 EST_CLASSE PIRE VAINQUEUR_1-5' JOUEUR VAINQUEUR_1-5 ENTRE TOUR_2 VAINQUEUR_1-5 EST_CLASSE PIRE VAINQUEUR_1-6' JOUEUR VAINQUEUR_1-6 ENTRE TOUR_2 VAINQUEUR_1-6 EST_CLASSE PIRE VAINQUEUR_1-7' JOUEUR VAINQUEUR_1-7 ENTRE TOUR_2 VAINQUEUR_1-7 EST_CLASSE PIRE VAINQUEUR_1-8' JOUEUR VAINQUEUR_1-8 ENTRE TOUR_2 VAINQUEUR_1-8 EST_CLASSE PIRE VAINQUEUR_1-9' JOUEUR VAINQUEUR_1-9 ENTRE TOUR_2 VAINQUEUR_1-9 EST_CLASSE PIRE TOUR_2 NUMERO 2 VAINQUEUR_2-0' JOUEUR TOUR_3' TOUR VAINQUEUR_2-0 ENTRE TOUR_3 VAINQUEUR_2-0 EST_CLASSE PIRE VAINQUEUR_2-1' JOUEUR VAINQUEUR_2-1 ENTRE TOUR_3 VAINQUEUR_2-1 EST_CLASSE PIRE VAINQUEUR_2-2' JOUEUR VAINQUEUR_2-2 ENTRE TOUR_3 VAINQUEUR_2-2 EST_CLASSE PIRE VAINQUEUR_2-3' JOUEUR VAINQUEUR_2-3 ENTRE TOUR_3 VAINQUEUR_2-3 EST_CLASSE PIRE VAINQUEUR_2-4' JOUEUR VAINQUEUR_2-4 ENTRE TOUR_3 VAINQUEUR_2-4 EST_CLASSE PIRE VAINQUEUR_2-5' JOUEUR VAINQUEUR_2-5 ENTRE TOUR_3 VAINQUEUR_2-5 EST_CLASSE PIRE VAINQUEUR_2-6' JOUEUR VAINQUEUR_2-6 ENTRE TOUR_3 VAINQUEUR_2-6 EST_CLASSE PIRE VAINQUEUR_2-7' JOUEUR VAINQUEUR_2-7 ENTRE TOUR_3 VAINQUEUR_2-7 EST_CLASSE PIRE TOUR_3 NUMERO 3 TOUR_3 NB_JOUEUR_ENTRANT 0 ; Faits deduits (dynamiques ou generes) : --------------------------------------- ; ETAPE_PLACEMENT_JOUEUR' 6 TOUR_COURANT' 3 CLASSEMENT_MEILLEUR' 19 CLASSEMENT_MOINS_BON' 19 JOUEUR_210 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_214 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_231 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_206 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_202 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_209 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_222 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_225 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_491 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_228 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_240 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_230 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_237 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_242 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_203 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_205 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_207 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_216 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_221 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_223 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_227 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_227 ENTRE TOUR_1 ' INEXISTANT JOUEUR_215 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_215 ENTRE TOUR_1 ' INEXISTANT JOUEUR_217 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_217 ENTRE TOUR_1 ' INEXISTANT JOUEUR_219 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_219 ENTRE TOUR_1 ' INEXISTANT JOUEUR_236 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_236 ENTRE TOUR_1 ' INEXISTANT JOUEUR_243 JOUE PAS_D_ADVERSAIRE ' INEXISTANT JOUEUR_243 ENTRE TOUR_1 ' INEXISTANT TOUR_1 NB_MATCH 10 ' INEXISTANT VAINQUEUR_1-0 JOUE PAS_D_ADVERSAIRE ' INEXISTANT VAINQUEUR_1-1 JOUE PAS_D_ADVERSAIRE ' INEXISTANT VAINQUEUR_1-2 JOUE PAS_D_ADVERSAIRE ' INEXISTANT VAINQUEUR_1-3 JOUE PAS_D_ADVERSAIRE ' INEXISTANT VAINQUEUR_1-4 JOUE PAS_D_ADVERSAIRE ' INEXISTANT VAINQUEUR_1-5 JOUE PAS_D_ADVERSAIRE ' INEXISTANT VAINQUEUR_1-6 JOUE PAS_D_ADVERSAIRE ' INEXISTANT VAINQUEUR_1-7 JOUE PAS_D_ADVERSAIRE ' INEXISTANT VAINQUEUR_1-8 JOUE PAS_D_ADVERSAIRE ' INEXISTANT VAINQUEUR_1-9 JOUE PAS_D_ADVERSAIRE ' INEXISTANT TOUR_2 NB_MATCH 8 ' INEXISTANT TOUR_2 NB_JOUEUR_ENTRANT 6 ' INEXISTANT VAINQUEUR_2-0 JOUE PAS_D_ADVERSAIRE ' INEXISTANT VAINQUEUR_2-1 JOUE PAS_D_ADVERSAIRE ' INEXISTANT VAINQUEUR_2-2 JOUE PAS_D_ADVERSAIRE ' INEXISTANT VAINQUEUR_2-3 JOUE PAS_D_ADVERSAIRE ' INEXISTANT VAINQUEUR_2-4 JOUE PAS_D_ADVERSAIRE ' INEXISTANT VAINQUEUR_2-5 JOUE PAS_D_ADVERSAIRE ' INEXISTANT VAINQUEUR_2-6 JOUE PAS_D_ADVERSAIRE ' INEXISTANT VAINQUEUR_2-7 JOUE PAS_D_ADVERSAIRE ' INEXISTANT TOUR_3 NB_MATCH 4 ' INEXISTANT TOUR_2 NB_JOUEUR_ENTRANT 5 ' INEXISTANT JOUEUR_243 ENTRE TOUR_2 TOUR_2 NB_JOUEUR_ENTRANT 4 ' INEXISTANT JOUEUR_236 ENTRE TOUR_2 TOUR_2 NB_JOUEUR_ENTRANT 3 ' INEXISTANT JOUEUR_219 ENTRE TOUR_2 TOUR_2 NB_JOUEUR_ENTRANT 2 ' INEXISTANT JOUEUR_217 ENTRE TOUR_2 TOUR_2 NB_JOUEUR_ENTRANT 1 ' INEXISTANT JOUEUR_215 ENTRE TOUR_2 TOUR_2 NB_JOUEUR_ENTRANT 0 JOUEUR_227 ENTRE TOUR_2 TOUR_1 NB_MATCH 9 ' INEXISTANT JOUEUR_231 JOUE JOUEUR_223 JOUEUR_223 JOUE JOUEUR_231 TOUR_1 NB_MATCH 8 ' INEXISTANT JOUEUR_214 JOUE JOUEUR_221 JOUEUR_221 JOUE JOUEUR_214 TOUR_1 NB_MATCH 7 ' INEXISTANT JOUEUR_210 JOUE JOUEUR_216 JOUEUR_216 JOUE JOUEUR_210 TOUR_1 NB_MATCH 6 ' INEXISTANT JOUEUR_206 JOUE JOUEUR_207 JOUEUR_207 JOUE JOUEUR_206 TOUR_1 NB_MATCH 5 ' INEXISTANT JOUEUR_491 JOUE JOUEUR_205 JOUEUR_205 JOUE JOUEUR_491 TOUR_1 NB_MATCH 4 ' INEXISTANT JOUEUR_225 JOUE JOUEUR_203 JOUEUR_203 JOUE JOUEUR_225 TOUR_1 NB_MATCH 3 ' INEXISTANT JOUEUR_222 JOUE JOUEUR_242 JOUEUR_242 JOUE JOUEUR_222 TOUR_1 NB_MATCH 2 ' INEXISTANT JOUEUR_209 JOUE JOUEUR_237 JOUEUR_237 JOUE JOUEUR_209 TOUR_1 NB_MATCH 1 ' INEXISTANT JOUEUR_202 JOUE JOUEUR_230 JOUEUR_230 JOUE JOUEUR_202 TOUR_1 NB_MATCH 0 JOUEUR_228 JOUE JOUEUR_240 JOUEUR_240 JOUE JOUEUR_228 TOUR_2 NB_MATCH 7 ' INEXISTANT VAINQUEUR_1-9 JOUE JOUEUR_243 JOUEUR_243 JOUE VAINQUEUR_1-9 TOUR_2 NB_MATCH 6 ' INEXISTANT VAINQUEUR_1-8 JOUE JOUEUR_236 JOUEUR_236 JOUE VAINQUEUR_1-8 TOUR_2 NB_MATCH 5 ' INEXISTANT VAINQUEUR_1-7 JOUE JOUEUR_219 JOUEUR_219 JOUE VAINQUEUR_1-7 TOUR_2 NB_MATCH 4 ' INEXISTANT VAINQUEUR_1-6 JOUE JOUEUR_217 JOUEUR_217 JOUE VAINQUEUR_1-6 TOUR_2 NB_MATCH 3 ' INEXISTANT VAINQUEUR_1-5 JOUE JOUEUR_215 JOUEUR_215 JOUE VAINQUEUR_1-5 TOUR_2 NB_MATCH 2 ' INEXISTANT VAINQUEUR_1-4 JOUE JOUEUR_227 JOUEUR_227 JOUE VAINQUEUR_1-4 TOUR_2 NB_MATCH 1 ' INEXISTANT VAINQUEUR_1-2 JOUE VAINQUEUR_1-3 VAINQUEUR_1-3 JOUE VAINQUEUR_1-2 TOUR_2 NB_MATCH 0 VAINQUEUR_1-0 JOUE VAINQUEUR_1-1 VAINQUEUR_1-1 JOUE VAINQUEUR_1-0 TOUR_3 NB_MATCH 3 ' INEXISTANT VAINQUEUR_2-6 JOUE VAINQUEUR_2-7 VAINQUEUR_2-7 JOUE VAINQUEUR_2-6 TOUR_3 NB_MATCH 2 ' INEXISTANT VAINQUEUR_2-4 JOUE VAINQUEUR_2-5 VAINQUEUR_2-5 JOUE VAINQUEUR_2-4 TOUR_3 NB_MATCH 1 ' INEXISTANT VAINQUEUR_2-2 JOUE VAINQUEUR_2-3 VAINQUEUR_2-3 JOUE VAINQUEUR_2-2 TOUR_3 NB_MATCH 0 VAINQUEUR_2-0 JOUE VAINQUEUR_2-1 VAINQUEUR_2-1 JOUE VAINQUEUR_2-0