В качестве темы выпускной квалификационной работы был выбран обзор одного из направлений в области искусственного интеллекта, связанных с использованием программирования с ограничениями. Наряду с описанием прикладных возможностей применения методов логического программирования с ограничениями, Марии Васильевне было предложено изучить техническую сторону вопроса, основанную на комбинировании логического инструментария, а также программирования и элементов теории процессов.
Само направление исследований имеет высочайшую прикладную ценность, связанную с решением задач направленных, в частности, на оптимизацию нелинейных процессов, а также поддержку процессов планирования и принятия решений. 
В рамках работы Мария Васильевна описала основные характеристики проектируемых и реализуемых интеллектуальных систем, обозначила логические аспекты их построения и функционирования, привела историческую справку по развитию логического программирования в XX веке и привела примеры работы алгоритмов. В последней главе собраны некоторые примеры применения средств, описанных в предыдущих главах.
Считаю, что в ходе проведенного исследования тема дипломной работы раскрыта достаточно широко. Допускаю, что может сложиться впечатление о недостаточно глубоком раскрытии темы, особенно в части описания прикладных возможностей. Однако при этом следует учесть сложности в доступе к соответствующей информации. Во-первых, соответствующие ресурсы недостаточно систематизированы (отсутствуют сколь-нибудь полные обзоры), во-вторых, ресурсы доступны лишь на иностранных языках, и, самое основное, доступ к данной информации ограничен из-за коммерческой тайны.
Выпускная работа написана с соблюдением требований к структуре, содержания, и оформления ВКР.
Работа написана автором полностью самостоятельно и обсуждалась в ходе специального семинара кафедры логики.
Обзор литературы охватывает ряд важнейших публикаций в данной предметной области, как классических, так и современных.
Считаю, что дипломная работа Евчик Марии Васильевны «Прикладные возможности логического программирования с ограничениями» соответствует требованиям Государственного образовательного стандарта к уровню подготовки выпускника (бакалавра) по специальности 030100 «Философия», и может быть допущена к защите.