  La derivazione delle regole implicite per probabilistico

La derivazione delle regole implicite dall'insieme minimale è indispensabile per il passo di imputazione.

E' un passo che per ogni variabile detta 'generatrice' verifica se le regole che la contengono, raggruppate a 2,3,....n ne coprono l'intero dominio, e in questo caso, se le altre variabili contenute nelle regole generano una nuova regola che viene detta 'implicita'. Questa regola viene poi a far parte dell'insieme delle regole e rientra nel passo.

Non è possibile quantificare a priori il tempo, anche di molte ore, necessario alla derivazione dell'insieme completo.

In questa fase vengono registrati tra gli altri i seguenti file esterni:

  "MAXICE.dat" che contiene la matrice dell'insieme completo in forma binaria.
  "GENER.dat" con la storia di ogni regola nella generazione.
  "COMPLETO.dat" con le regole in forma leggibile dall'insieme completo.
  "LISGEN.dat" con la descrizione per ogni regola generata della variabile
  "SYSDER.dat" con i messaggi del passo di derivazione.

Solo dopo il passo di derivazione

, nel quale vengono eseguiti i programmi 'derivaz', 'decoreg' e 'gengen', è possibile effettuare la fase di correzione.

Se il passo di derivazione si ferma per edit degeneri, riferirsi al file "GENER.dat" e al file "COMPLETO.dat" per capire quali regole sono incompatibili tra loro considerando che "GENER.dat" contiene un record per ogni regola con numeri indicanti:

  la variabile generatrice (primo numero nella riga);
  le regole che hanno contribuito alla generazione della regola in esame (numeri successivi);
  -9999 che chiude l'insieme delle regole generatrici;
  i numeri di regola negativi (es.: -34) indicano che la regola è stata cancellata nei cicli di derivazione, e quindi bisogna considerare le regole successive al -9999 che hanno derivato la regola in esame e così via;

le regole esplicite hanno il record corrispondente su "GENER.dat" con tutte le colonne a 0.

Scegliendo "display derivazione" si ha un layout dei giri effettuati.

Scegliendo "insieme completo" vengono mostrate tutte le regole, numerate, che formano l'insieme delle regole esplicite ed implicite.