Планируется разработать кроссплатформенную программу для автоматизации приема экзаменов через тестирование. Во время тестирования ответ тестируемого должен проверяться на уровень совпадения по смыслу с правильным ответом. Ответ вводится на русском языке (с заданными ограничениями на построение фразы). Оценка в процентах выдается в зависимости от уровеня совпадения. Требуется модуль, отвечающий за обоснование оценки (система должна быть способна объяснить почему поставила ту или иную оценку). Ядро системы реализует логический вывод в логике предикатов первого порядка. Для его разработки рассматриваются Prolog и Erlang. Графический интерфейс - на С, GTK+. Требуется модуль (отдельное приложение) построения базы знаний на основе предложений естественного (русского с ограничениями) языка. При вводе предложений на русском языке требуется проверка орфографии и посказки.