Понедельник, 22 сентября, ПОМИ РАН, ауд. 203. Начало в 14:00.
Докладчик: А.С. Герасимов (СПбГУ).
Тема: Семантические таблицы с метапеременными для логики нечётких неравенств.
Abstract
Предлагается табличное исчисление с метапеременными для логики нечётких неравенств F
![$ \forall $](../../../sites/default/files/tex/3370873d789eff50a6a74251886f6ca6c56bf527/index.png)
— расширения бесконечнозначной логики Лукасевича первого порядка \L
![$ \forall $](../../../sites/default/files/tex/3370873d789eff50a6a74251886f6ca6c56bf527/index.png)
. Устанавливается,
что множество всех \L
![$ \forall $](../../../sites/default/files/tex/3370873d789eff50a6a74251886f6ca6c56bf527/index.png)
-предложений, выводимых в гиперсеквенциальном исчислении для \L
![$ \forall $](../../../sites/default/files/tex/3370873d789eff50a6a74251886f6ca6c56bf527/index.png)
, вкладывается (с сохранением выводимости) во множество всех F
![$ \forall $](../../../sites/default/files/tex/3370873d789eff50a6a74251886f6ca6c56bf527/index.png)
-предложений,
выводимых в данном табличном исчислении. Доказывается NP-полнота задачи проверки закрываемости таблицы и предлагается алгоритм решения этой задачи, основанный на унификации и линейном программировании.