Доклад
- Когда и где
-
30 марта 2026 г. 16:00, понедельник
Академия НОЦ (К-211 нового здания) и online: https://videoconf.uran.ru/b/k4z-iqv-zk1-1ve
- Докладчики
-
-
Патракеев Михаил Александрович
-
Название
-
Куайн, рефлектика, и восемь способов верить в то, что кто-то шпион
-
Аннотация
-
Обратите внимание, что время проведения на час позже обычного в 16:00
Рефлектика — это разработанный мною формальный язык. Одновременно, рефлектика — это формальная теория, в том смысле, что истинность её высказываний устанавливается при помощи правил вывода. Кроме того, среди выражений рефлектики есть лямбда-термы, которые работают так, как мы привыкли — это позволяет использовать рефлектику в качестве исчисления, моделирующего работу алгоритмов
В первую очередь рефлектика интересна тем, что в аспекте выразительной силы она гораздо ближе к естественным языкам (таким как русский или английский), чем другие известные мне формальные языки. И мне хотелось бы найти какое-нибудь практическое применение рефлектики. Например, в качестве промежуточного слоя между естественным языком и LLM
На первом из двух докладов я расскажу об одном конкретном применении рефлектики для решения известной проблемы из философии языка. А именно, вопроса Куайна о том, какие смыслы имеет высказывание ‘Ральф верит в то, что кто-то шпион’?
На втором докладе я расскажу о том, как рефлектика строится и как она устроена
-
Презентация
-
-
Ссылка на видео
-
-
Видео
-
Вернуться к списку новостей