Семантические таблицы с метапеременными для логики нечётких неравенств

Понедельник, 22 сентября, комната 203. Начало в 14:00.

Докладчик: А.С. Герасимов (СПбУ).

Тема: Семантические таблицы с метапеременными для логики нечётких неравенств.

Abstract

Предлагается табличное исчисление с метапеременными для логики нечётких неравенств F$ \forall $ --- расширения бесконечнозначной логики Лукасевича первого порядка \L$ \forall $. Устанавливается, что множество всех \L$ \forall $-предложений, выводимых в гиперсеквенциальном исчислении для \L$ \forall $, вкладывается (с сохранением выводимости) во множество всех F$ \forall $-предложений, выводимых в данном табличном исчислении. Доказывается NP-полнота задачи проверки закрываемости таблицы и предлагается алгоритм решения этой задачи, основанный на унификации и линейном программировании.