Программная система DEDUC связывает научные результаты с практическими потребностями порождения комбинаторных распоряжений. Система разрабатывается с 1991 года. За 10 лет получена практически мощная система.

Теоретический базис системы включает автоматическое доказательство теорем с резолюцией и эвристический подход к развитию искусственного интеллекта. Практически система предназначена для генерирования расписания уроков при острых реальных требованиях.

Принцип действия системы обоснован на итеративному пронизанию двух процессов: помещение данных и оптимизирование пробелов в расписании. Оба процесса сопровождаются контролем при помощи системы автоматического доказательства, чтобы не нарушилось соблюдание установленных требований. В случае задержки в протечению процессов возможно переливание в инной поток к благоприятному распоряжению.

Возможности системы:

• автоматическое либо интерактивное порождение расписания согласно установленным требованиям;
• постановка и oбновление данных и требований при помощи оссобого интерфейса приспособленного для потребителя;
• постановка различных требований, включая разделения классов на группы, объединения групп либо отделений, работа в блок-уроках, ограничения при использованию кабинетов и учебных комнатах; требования преподавателей и другие педагогические необходимые условия;
• двухсменная работа;
• экранный просмотр и печать общего расписания уроков, расписания для классов и для преподавателей;
• получение различных распоряжений данных при тех же требованиях;
• oбновление архивированных расписаний, данных и требований.

Практическая действенность и ограничения система наблюдаются как в сложных так и в совсем тривиальных примерах. Получение удовлетворимого расписания существенно зависит от структуры установленных требований и от связи с данными, при чем количество требований не имеет значительного значения.

Существование скрытого противречья в требованиях отвергает возможность получения желаемого расписания. Поэтому, в процессе генерирования возможно редуцировать требования. Практический опыт на реальных примерах показывает что DEDUC при острых условиях даёт расписания, которые лучше произведенных в ручную. Время получения расписания измеряется минутами либо часами зависимо от количества данных, от структуры требований и от перформанс компьютера.

Сотрудники говорят что DEDUC “царь“, а я ему по банатский ласкаю:

“Давай, цыпочка моя, сделаем ещё одно расписание…!”