Programski sistem DEDUC integriše naučne rezultate sa praktičnim potrebama generisanja kombinatornih rasporeda. Rad na razvoju sistema počeo je 1991. godine. Za 10 godina dobijen je moćan sistem.

Teorijska osnova sistema uključuje rezolucijski dokazivač teorema i heuristički pristup razvoju veštačke inteligencije. Praktično usmerenje sistema je na generisanje rasporeda časova pod realnim restriktivnim uslovima.

Princip funkcionisanja sistema je iterativno prožimanje dva procesa: smeštanje podataka i optimizacije praznina u rasporedu. Oba procesa odvijaju se pod kontrolom dokazivača kako se ne bi narušili postavljeni zahtevi. U slučaju zadrške u odvijanju procesa omogućeno je prelivanje u neki drugi tok ka povoljnijem rasporedu.

Mogućnosti sistema:

• automatsko ili interaktivno generisanje rasporeda na osnovu zadatih podataka i uslova;
• zadavanje i ažuriranje podataka i zahteva pomoću interfejsa prilagođenog korisniku;
• zadavanje različitih uslova, uključujući podele odeljenja na grupe, spajanje grupa i odeljenja, rad u blok-časovima, ograničenje u korišćenju kabineta i učionica; zahteve nastavnika i druge pedagoške obavezne ili poželjne zahteve;
• rad u više smena;
• ekranske preglede i štampanje opšteg rasporeda, odeljenjskih i nastavničkih rasporeda;
• dobijanje različitih verzija rasporeda za iste podatke i uslove;
• ažuriranje arhiviranih verzija rasporeda, podataka i uslova.

Praktična efikasnost i ograničenja sistema sagledavaju se kako na složenim tako i na sasvim jednostavnim primerima. Dobijanje prihvatljive verzije rasporeda bitno zavisi od strukture postavljenih zahteva i njihove veze sa podacima, dok uticaj broja zahteva nije izražen. Postojanje skrivene protivrečnosti u zahtevima onemogućuje generisanje takvog rasporeda. Zato je u procesu generisanja omogućeno redukovanje zahteva kako bi se došlo do prihvatljivog rasporeda. Iskustva na realnim praktičnim primerima upućuju na zaključak da se pomoću sistema DEDUC pod restriktivnim uslovima mogu generisati rasporedi koji su kvalitetniji od ručno kreiranih. Vreme potrebno za dobijanje traženog rasporeda zavisi od broja podataka i strukture uslova kao i od performansi računara, a kreće se od par minuta do nekoliko sati.

Saradnici za DEDUC kažu da je “CAR” a ja mu banaćanski tepam: “’Ajde pile moje da napravimo još jedan raspored...”!