Понедельник, 22.09.2014. А.С. Герасимов: "Семантические таблицы с метапеременными для логики нечётких неравенств"

  • The directory /tmp/drutex-19b2b41aec59ce586dc519b7ba9b6bf9-1 has been created.
  • The directory /tmp/drutex-19b2b41aec59ce586dc519b7ba9b6bf9-2 has been created.
  • The directory /tmp/drutex-19b2b41aec59ce586dc519b7ba9b6bf9-3 has been created.
  • The directory /tmp/drutex-19b2b41aec59ce586dc519b7ba9b6bf9-4 has been created.
  • The directory /tmp/drutex-19b2b41aec59ce586dc519b7ba9b6bf9-5 has been created.

Понедельник, 22 сентября, ПОМИ РАН, ауд. 203. Начало в 14:00.

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

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

Abstract

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