NLU/RG, pt.2 - Понятийный аппарат (1)

NLU/RG , pt. 2

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

Mathlingvo, СПбГУ, i-Free

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

План

• Краткое введение для тех, кто не был в прошлый раз• Обоснование выбора статей, пара слов о Фреге и Бурбаки• Обсуждение статьи Фреге “Смысл и денотат”• Обсуждение статьи Бурбаки “Архитектура математики”• Рассказ о лабораторных• Рассказ про RTE и SemEval’2014

1

Краткое введение (1)

• NLU – что это? “Понимание” – что это?• Инженерный подход (не философия, не тест Тьюринга, непремия Лёбнера)

• Междисциплинарный характер• Формат Reading Group• Откуда эта программа

2

Краткое введение (2)

• Norvig-Chomsky debate• Статистические подходы vs. символьные• Возможен ли синтез, имеет ли он смысл?

3

Обоснование выбора статей

• Первые несколько встреч – об основных понятиях, базовыхконцепциях и т.п.

• Понятия и терминология – объект или инструмент?• Понятия для дальнейшего (пример: “интенсиональная базаданных”)

• Понятийный аппарат логики vs. понятийный аппаратлингвистики

4

Несколько слов о Готлобе Фреге

• “Begriffsschrift” (“Исчисление понятий”), 1879 г.• Аксиоматическое построение логики. Кванторы.• Логицизм• “Sinn und Bedeutung” (“Смысл и значение” или “Смысл иденотат”), 1892 г.

• Парадокс Рассела и теория типов

5

Несколько слов о Николя Бурбаки

• Родился в 1935 г.• Официально умер в 1968 г.• А. Картан, А. Вейль, К. Шевалле и пр.; Серр, Гротендик,Эйленберг и пр.

• “Элементы математики”• Теория множеств, аксиоматизация, структуры

6

«Смысл и денотат» Г. Фреге (1892 г.)

• Треугольник Фреге• Имя, денотат, концепт• Номинативная теория предложения• Значение предложения - его истинностное значение, смыслпредложения - суждение

• Принцип композициональности (принцип Фреге)

7

«Архитектура математики» Н. Бурбаки (1948 г.)

• Множество со структурой• Иерархия структур• Отношения между структурами (согласованность,гомоморфизм)

8

«Архитектура математики» Н. Бурбаки (структуры)

• Структуры порядка• Алгебраические структуры• Топологические структуры

9

«Архитектура математики» Н. Бурбаки (группа)

• пара (G , ∗)• ∗ : G × G → G• ∀ a, b, c ∈ G . (a ∗ b) ∗ c = a ∗ (b ∗ c)• ∀ a ∈ G ∃ e ∈ G . a ∗ e = e ∗ a = a• ∀ a ∈ G ∃ a−1 ∈ G . a ∗ a−1 = a−1 ∗ a = e

10

«Архитектура математики» Н. Бурбаки (примеры групп)

• группа вращений SO(3,R)• R+, операция – сложение, единица 0.• R×6=0, операция – умножение, единица 1.

11

«Архитектура математики» Н. Бурбаки (структуры R)

• Линейно упорядоченное множество• Структура аддитивной группы R+

• Структура мультипликативной группы R×

• Поле• Метрическое пространство• Пространство с мерой• Топологическое пространство

12

Лабораторные работы

• ATP и соревнования пруверов (CASC)• ASP (Potassco)• Дедуктивные БД (DLV-DB)• RDF + OWL Reasoners• Coq• GAP• Stanford CompTop• Deep Learning

13

SemEval-2014

• 8th International Workshop on Semantic Evaluation• Dublin, Ireland, August 23-30, 2014• Co-located with COLING and *Sem• http://www.senseval.org/• http://alt.qcri.org/semeval2014/

14

SemEval-2014 (задачи прошлых лет)

• Word Sense Disambiguation• Coreference Resolution• Semantic Role Labeling• Textual Entailment• Sentiment Analysis• &c.

15

SemEval-2014 (deadlines)

• Tasks chosen/merged October 15, 2013• Training data ready December 15, 2013• Test data ready March 10, 2014• Evaluation start March 15, 2014• Evaluation end March 30, 2014• Paper submission due April 30, 2014• SemEval workshop August 23-30, 2014

16

Спасибо!