  Controllo delle regole probabilistiche

La fase di controllo dell'insieme minimo, cioè dall'insieme delle regole scritte dall'utente, verifica eventuali incongruenze e ridondanze nelle regole, accorpa regole che hanno stesse variabili e hanno domini diversi solo per un valore, esplode le liste creando tante regole quante sono le variabili nella lista, segnala le modifiche effettuate,si ferma se ci sono regole contraddittorie, quali ad esempio:

  regole in contrapposizione tra loro del tipo:
  SESSO(1) ETA(0-15)
  SESSO<1) ETA<16-99)
  (il sesso è sempre incompatibile con l'età da 0 a 15 anni).
  regole che per accorpamenti successivi rimangano con una sola variabile.
  regole che per una variabile hanno indicato tutto il dominio ecc.

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

  "TABVARF.dat" che contiene, per ogni variabile, il dominio definito in classi derivate dall'insieme delle regole che la trattano.
  "MINICE.dat" con la matrice derivante dell'insieme minimo in binario.
  "MINSET.dat" con le regole in forma leggibile da "MINICE.dat".
  "SERICE.dat" per il trattamento della matrice nei passi successivi.
  "SYSCON.dat" con i messaggi del passo di controllo.
  "regole_da_minset" per il riciclo del passo di controllo per eventuali ulteriori accorpamenti.

Le segnalazioni di errore o di avvertimento riferite al file "MINSET.dat", comprendendo nella numerazione anche i commenti.

E' opportuno riciclare il passo di controllo con in input il file generato "regole_da_minset" per ulteriori accorpamenti delle regole derivate da precedenti unioni di regole.

Dopo il passo di controllo, nel quale vengono eseguiti i programmi 'contreg.exe' e 'genreg.exe', è possibile la fase di "CHECK" dei dati.