1

Step 1

Освоить унификацию вдоль и поперёк

2

Step 2

Понять как работает J-оператор

3

Step 3

Запустить код из репозитория

4

Step 4

Описать какую-нибудь грамматику

1

Step 1

Освоить унификацию вдоль и поперёк

2

Step 2

Понять как работает J-оператор

3

Step 3

Запустить код из репозитория

4

Step 4

Описать какую-нибудь грамматику

28 February 2020

Goal abandoned

The author does not write in the goal 3 years 11 months 8 days

Education

Понять как парсить русский текст при помощи FCG

Московская лингвистическая школа - ведущая лингвистическая школа мира.
Е.В. Рахлина - российский лингвист ( https://istina.msu.ru/workers/504351/ )
была редактором книги
Лингвистика конструкций / Отв. ред. Е. В. Рахилина. — М.: Издательский центр "Азбуковник", 2010. — 584 с.

И там она рекламирует подход французов в FCG (это первый практически реализованный "в металле" движок такого типа)

И в принципе есть вроде бы соответствие между этой моделью и "моделью Смысл-Текст" Мельчука
(в начале есть текст, в конце обработки получается смысл и наоборот)

Смежные работы интересные есть (работа про отображение текста на онтологию):
2012, Игорь Богуславский & Вячеслав Диконов & Cветлана Тимошенко,
Онтология для поддержки задач извлечения смысла из текста на естественном языке

Ну вот, я хочу разобраться, как движок FCG работает, практически как его использовать.
его ведь можно скачать, скомпилировать и запустить,

Проблема у этих книжек - экстремальная абстрактность, хочется ближе к железу, больше конкретики.
Пример какой-нибудь сделать.
Но мешает непонимание того, как это всё работает.

 Goal Accomplishment Criteria

Просветление достигнуто

 Goal ecological compatibility

Если сильный ИИ убъёт всех людей, то экология улучшитcя.

  1. Освоить унификацию вдоль и поперёк

  2. Понять как работает J-оператор

  3. Запустить код из репозитория

  4. Описать какую-нибудь грамматику

  • 1207
  • 28 February 2020, 20:46

Goal diary

Comments

Инга05/13/2021

Обложка цели — огонь.

406day
sevbes8 Apr 2021, 10:01

Видеостудия в Москве (с рисованием на стекле) - 4900 руб/час:
https://svetak.ru/arenda-video-studii

10 часов - 30%скидка (т.е. 34300 руб)
100 часов - 40% скидка (т.е. 294000 руб)

не то, чтобы у меня прям материал был в наличии, который читать,

но конкретно для съёмки никаких препятствий нет и есть цена для подсчёта рентабельности проекта.

Интересно было бы сравнить монетизацию способов публикации: в форме монографии и в форме видеокурса.

Ещё было бы интересно найти подобную студию для fullbody tracking. Просто интересно.

Comments

Tiessa09/30/2020

Как идут дела?

sevbes09/30/2020

Появились две более достижимые цели, эту забросил, и теперь она у меня недостижимая мечта. Но закрывать не буду, пусть висит, вдруг вернусь когда-нибудь?

Яна05/14/2021

sevbes, а какие более достижимые? чего-то я тебя в ленте давно не вижу, или не отписываешься?

71day
sevbes8 May 2020, 03:20

В книжке

2010, Laura Kallmeyer, Parsing Beyond Context-Free Grammars

есть глава 3, там ПОНЯТНО написано, как при описывать алгоритм разбора текста при помощи правил вывода.

Но всё равно мне пока чего-то не хватает для просветления.





Comments

Alyona04/04/2020

Как-то слишком сложно

9day
sevbes7 Mar 2020, 21:21

Обнаружил класс языков "Mildly Context Sensitive", который появился в 1985-м году (но они как-то прошли ранее мимо меня). Они круче чем Context Free Grammars, но при этом всё ещё разбираются за полиномиальное время.

2006, Bruno Mery & Maxime Amblard & Irène Durand & Christian Retoré, A Case Study of the Convergence of Mildly Context-Sensitive Formalisms for Natural Language Syntax: from Minimalist Grammars to Multiple Context-Free Grammars

Это, конечно, сбивает с пути через матлогику, пролог, DCG к FCG. (Но даже на этом пути мне были неясны некоторые переходы, например между DCG и FCG). На текущий момент просветление отдалилось.

sevbes03/08/2020

https://en.wikipedia.org/wiki/Range_concatenation_grammars

"RCGs treat the grammatical process more as a proof than as a production."

4day

Post for step «Освоить унификацию вдоль и поперёк»

sevbes2 Mar 2020, 13:38

В процессе гугления разных слов обнаружил страницу факультета Математики и Кибернетики МГУ:

Лекционные курсы кафедры МК

там несколько учебных курсов (разных лекторов), например:

Математическая логика и логическое программирование (3-й поток)

http://mk.cs.msu.ru/images/0/04/LectLog19.pdf

Математическая логика и логическое программирование (группа 318)

математическая логика тут при том, что именно в ней излагается унификация и всё что к ней относится.

Load 3 comments
sevbes04/07/2021

Укороченный курс матлогики:

https://www.youtube.com/playlist?list=PLxYr6TaF_SDVKoHEb9PJsOew-zTrICkQ7

как и у многих других курсов ему не хватает "привязок" снаружи (т.е. примернов того, как это тайное знание использовать на практике).

Если есть логика предикатов, теорема о её полноте (что если существует корректная формула, то существует и её доказательство), с этого места можно читать про пролог и его процедуру унификации.

sevbes04/07/2021

Может быть составить план изучения с обоснованием что в каком порядке изучать и почему? Вообще-то этим академия наук должна заниматься и передавать в министерство образования, а не я. Дальше мысль пока не идёт.

Яна05/14/2021

sevbes, было бы очень интересно, я даже подопытным кроликом готова поработать - в смысле взять и попробовать реализовать этот план обучения :)))

2day

Post for step «Освоить унификацию вдоль и поперёк»

sevbes29 Feb 2020, 02:46

https://ru.wikipedia.org/wiki/Частный_случай_формулы

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

Тут:

1) нехватает ссылки на те работы, где эта алгоритмическая неразрешимость демонстрируется и доказывается. И вообще ссылок на литературу нет.

2) не описаны сценарии использования унификации. Где и для чего она применяется?

3) не хватает примеров

https://en.wikipedia.org/wiki/Unification_(computer_science)

«If a solution is required to make both sides of each equation literally equal, the process is called syntactic or free unification, otherwise semantic or equational unification, or E-unification, or unification modulo theory.»
«Syntactical first-order unification is used in logic programming and programming language type system implementation, especially in Hindley–Milner based type inference algorithms.
Semantic unification is used in SMT solvers, term rewriting algorithms and cryptographic protocol analysis.»

Load 2 comments
sevbes02/29/2020

Higher-order unification is used in proof assistants, for example Isabelle and Twelf, and restricted forms of higher-order unification (higher-order pattern unification) are used in some programming language implementations, such as lambdaProlog

Isabelle ещё используется для доказательства корректности ядра seL4 операционных систем

Isabelle also features efficient automatic reasoning tools, such as a term rewriting engine and a tableaux prover

sevbes02/29/2020

разные применения могут быть:

1) яндекс подобные алгоритмы применяет для того, чтобы учитывать падежи при поиске фраз в интернете, бизнес на этом сделали

2) существует голосовой помошник Яндекс.Алиса, он тоже анализирует русский язык

3) существуют системы вопрос-ответ, которые ищут по базе знаний (например IBM Watson), но там английский, а я не такой, у меня русский язык родной. И таких людей ещё 140 миллионов, и никуда они в ближайшие 50 лет не исчезнут.

5) имея анализ текстов с учётом русского языка можно более точно автоматизированно выделять интересные новости из новостного потока.

6) можно написать язык программирования, который учитывает падежи русского языка (я в школе мечтал, это у меня нереализованное детское желание)

You can publish
your goal here

We can help you achieve it!

309 000

like-minded

tools

for an exciting achievement

Join us!
Sign up

Signup

Уже зарегистрированы?
Quick sign-up through social networks.
Sign in

Sign in.
Allowed.

Not registered yet?
 
Log in through social networks
Forgot your password?
Юлия Вангордер
Юрий
Anton Piotrowski
Инга
KsArT
Terinel
sevbes
Юлия Вангордер
KsArT
Яна
sevbes
Tiessa
Яна
Яна
KsArT
Яна
Яна
KsArT