Линейные логические преобразования в задачах семантической разметки текста

В статье исследован процесс построения цепей лексических единиц. Приведено его формальное описание с помощью теории линейных логических преобразований. Доказано утверждение об общем виде линейных логических преобразований. Проведен анализ вычисления линейных логических преобразований для n переме...

Повний опис

Збережено в:
Бібліографічні деталі
Опубліковано в: :Искусственный интеллект
Дата:2013
Автори: Вечирская, И.Д., Четвериков, Г.Г.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут проблем штучного інтелекту МОН України та НАН України 2013
Теми:
Онлайн доступ:https://nasplib.isofts.kiev.ua/handle/123456789/85155
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Линейные логические преобразования в задачах семантической разметки текста / И.Д. Вечирская, Г.Г. Четвериков // Искусственный интеллект. — 2013. — № 2. — С. 109–118. — Бібліогр.: 11 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
Опис
Резюме:В статье исследован процесс построения цепей лексических единиц. Приведено его формальное описание с помощью теории линейных логических преобразований. Доказано утверждение об общем виде линейных логических преобразований. Проведен анализ вычисления линейных логических преобразований для n переменных. Исследованы правила вычисления в зависимости от общего вида области определения. Приведены примеры вычисления по каждому правилу. У статті досліджено процес побудови ланцюгів лексичних одиниць. Наведено його формальний опис за допомогою теорії лінійних логічних перетворень. Доведено твердження про загальний вигляд лінійних логічних перетворень. Проведено аналіз обчислення лінійних логічних перетворень для n змінних. Досліджено правила обчислення в залежності від загального вигляду області означення. Наведено приклади обчислення по кожному правилу. In the article the process of building chains of lexical units has been investigated. Its formal description have been presented using the theory of linear logical transformation. The theorem on general form of linear logical transformation is proved. Computation of linear logical transformation is analyzed depending on n variables. Computations rules of definitional domain are investigated depending on general form. Computation on every rule is given an example.
ISSN:1561-5359