NLU/RGобзор следующего сезона

Константин Соколов

Mathlingvo, СПбГУ

http://nlu-rg.ru

Санкт-Петербург, 2014

2013 – 2014

2

Что было (1)

• основные семантические концепции интенсиональной логики

• семантика смысла и денотата Г. Фреге• теория объектов и пропозиций Б. Рассела• концепция истины А. Тарского• семантика возможных миров С. Крипке• теоретико-типовая концепция К. Айдукевича

3

Что было (2)

• ликбез по лингвистической семантике

• грамматическая семантика• лексическая семантика• формальная семантика как семантика предложения

• ликбез по математике и математической логике

• множества со структурой• начала теории категорий• начала теории моделей• λ-исчисление• начала теории типов и Agda• логические исчисления и табличный метод

4

Что было (3)

• лингвистические формализмы

• универсальная грамматика Р. Монтегю• комбинаторные грамматики• Dynamic Predicate Logic• Discourse Representation Theory• Hybrid Logic Dependency Semantics

• моделирование семантической композиции

• с помощью λ-исчисления• с помощью унификации графовых структур• топологическая трактовка принципа композициональности

5

2014 – 2015

6

Что будет (1)

• когнитивное направление в лингвистике и ИИ

• когнитивная семантика (Дж. Лакофф и др.)• концептуальные пространства (П. Гэрденфорс и др.)• моделирование когнитивных процессов (Б. Гёрцель и др.)

• данные и их структура

• Information Geometry (C.-И. Амари)• дифференциальная геометрия в машинном обучении• вычислительная топология

7

Что будет (2)

• обнаружение структуры данных

• Pattern Theory (У. Гренандер, Д. Мамфорд)• Representation Learning• Deep Learning

• гибридные (логико-статистические) подходы

• нейросимвольная интеграция• Gradient Symbol Processing (П. Смоленский)• композициональные дистрибутивные семантические

модели (Митчелл, Лапата, Садрзаде и пр.)

8

Спасибо!