Filosofia generale di Omniscol

Prima delle funzionalità, alcuni principi strutturano l'esperienza Omniscol e spiegano perché il software prende certe decisioni piuttosto che altre.

Il contesto operativo

L'orario non è una semplice tabella da riempire. È un problema di ottimizzazione sotto vincoli:

• vincoli numerosi e spesso impliciti;
• vincoli a volte contraddittori;
• forte posta in gioco operativa: l'inizio dell'anno, il semestre o il periodo deve funzionare.

Omniscol è concepito come un assistente di pianificazione sotto vincoli: accelera il lavoro, segnala le impossibilità e lascia all'utente le decisioni operative.

Che cosa Omniscol non è

Omniscol è pensato per interfacciarsi con altri sistemi tramite importazioni, esportazioni, iCal, API REST documentata, OIDC / SSO in base al contratto e sincronizzazione con sistemi esterni. Non cerca di sostituire gli strumenti operativi che coprono altri perimetri. Vedere anche integrations.partners.

I cinque principi fondanti

1. Il dato prima del calcolo

Non è possibile generare un orario affidabile senza dati integri: siti, aule, professori, classi, gruppi, materie, monte ore, disponibilità e vincoli.

2. Separazione struttura / vita quotidiana

Costruire un orario e convivere con un orario pubblicato sono due attività diverse. La prima avviene soprattutto in Gestione degli orari, la seconda in Orario, Assenze e Dashboard.

3. Vincoli rigidi e vincoli di ottimizzazione

Alcuni vincoli rendono un orario non valido e sono trattati come vincoli stretti: un professore in un solo luogo nello stesso momento, una classe senza sovrapposizioni salvo i gruppi in partizione, un'aula standard assegnata a una sola lezione, le indisponibilità, le capacità, le risorse materiali e gli spostamenti tra siti.

Altri vincoli servono a migliorare la soluzione: disponibilità sconsigliate, buchi, equilibrio delle giornate, ordine didattico tra materie, massimi o minimi di ore, numero di giorni di presenza. Sono valutati come penalità che il solver cerca di ridurre.

4. Bozze e versioni

Un orario non pubblicato non ha alcun impatto su ciò che vedono gli utenti. Può duplicare, testare, confrontare, bloccare alcune lezioni, avviare di nuovo una generazione e pubblicare solo quando il risultato è soddisfacente.

Gli snapshot, quando sono attivati, aggiungono una rete di sicurezza per tornare indietro o ripristinare alcuni dati.

5. L'utente resta padrone del dato

Omniscol consente l'esportazione JSON completa, le esportazioni operative in base agli schermi e la reversibilità. Le automazioni non sostituiscono la decisione umana.

I conflitti sono un'informazione, non un errore

Nell'inserimento manuale, Omniscol segnala i conflitti ma lascia all'utente la decisione. È utile per i casi particolari reali: aula per tempi supplementari, superamento consapevole di una capacità teorica, assegnazione di un'aula fuori specializzazione per un motivo locale.

Nella generazione automatica, il solver non produce volontariamente sovrapposizioni gravi. Se non viene trovata alcuna soluzione completa, conserva il miglior orario calcolato e lascia le lezioni impossibili da collocare nella lista dei post-it non posizionati.

Il blocco di una lezione consente di ancorare una collocazione desiderata: la generazione successiva regola le altre lezioni attorno a questo blocco.

Multi-orario come principio di modellazione

Omniscol è nativamente multi-orario. Più orari possono coesistere per uno stesso istituto:

• anni scolastici distinti;
• semestri o periodi;
• separazione logica per campus, dipartimento o ciclo;
• combinazione di tipi diversi, per esempio settimanale ricorrente e calendario datato.

In Premium, più orari possono essere attivi in parallelo — una attivazione specifica è possibile anche su alcuni account Standard. Una scuola può avere un ciclo preparatorio in due orari settimanali per ogni semestre, un ciclo di grande scuola in calendario non ricorrente e contemporaneamente, un programma ExecMBA di 18 mesi, che inizia e termina in modo sfalsato rispetto agli altri planning e all'anno scolastico. Con Omniscol si può creare ogni orario separatamente, ma beneficiare della gestione dei conflitti incrociati durante la pianificazione, per poi attivare tutto in parallelo, contemporaneamente, così che il risultato finale sia una vista fusa, trasparente per gli utenti finali.

IA di ottimizzazione e agenti esterni

Il solver è un'IA di ottimizzazione metaeuristica Monte-Carlo neuro-simbolica. Il motore esplora collocazioni sotto vincoli, cerca una soluzione valida poi ottimizza le penalità, con una rapidità impressionante (es.: meno di un minuto per una scuola media di 16 classi). Se non viene trovata una soluzione valida, un sistema di rilassamento sacrifica le lezioni in modo intelligente, e procede comunque all'ottimizzazione del risultato. Omniscol è una società AI-first, nata da una lunga fase di R&S "deeptech".

Omniscol dispone anche di altri algoritmi di tipo IA simbolica, per verificare i conflitti, rilevare le incoerenze di configurazione, formulare proposte di miglioramento o avvisi di configurazione, prefiltrare la migliore soluzione in una lista di proposte, oppure allocare automaticamente un sottoinsieme di aule a un sottoinsieme di lezioni, il tutto nel browser, immediatamente.

Omniscol espone anche strumenti API ad agenti compatibili tramite MCP quando l'opzione e i diritti sono attivi. Ciò consente di interagire con Omniscol in linguaggio naturale, per estendere le possibilità offerte dall'interfaccia grafica, recuperando direttamente i dati pertinenti dal server di Omniscol. Questi agenti agiscono nel perimetro del token fornito; gli usi di consultazione sono i più sicuri, e ogni azione di scrittura deve restare verificata dall'utente. Attualmente, il miglior agente IA per interagire con Omniscol è Claude, in versione Desktop.