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

Понедельник, 15 января, ПОМИ РАН, ауд. 106. Начало в 14:00.

Докладчик: А.С. Герасимов.

Тема: Рациональная логика Павелки первого порядка: бесповторное гиперсеквенциальное исчисление и алгоритмы поиска вывода.

Abstract

Бесконечнозначная логика Лукасевича первого порядка \L

и её расширение рациональными истинностными константами — рациональная логика Павелки первого порядка RPL

— являются одними из важнейших математических нечётких логик, формализующих приближённые рассуждения. В докладе мы представим ориентированное на поиск вывода снизу вверх гиперсеквенциальное исчисление GRP

для RPL

, каждое правило которого обратимо и не имеет ни в какой посылке повторений обозначений мультимножеств формул. Сравним (с точки зрения выводимости) GRP

с другими исчислениями для \L

и RPL

. Установим некоторые теоретико-доказательственные свойства GRP

, чем обеспечим основания для алгоритмов поиска вывода. Наконец, опишем семейство алгоритмов поиска вывода в табличном варианте исчисления GRP

.