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

• Published in: Искусственный интеллект
• Date: 2013
• Main Authors: Вечирская, И.Д., Четвериков, Г.Г.
• Format: Article
• Language: Russian
• Published: Інститут проблем штучного інтелекту МОН України та НАН України 2013
• Subjects: Обучающие и экспертные системы
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/85155
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Линейные логические преобразования в задачах семантической разметки текста / И.Д. Вечирская, Г.Г. Четвериков // Искусственный интеллект. — 2013. — № 2. — С. 109–118. — Бібліогр.: 11 назв. — рос.

В статье исследован процесс построения цепей лексических единиц. Приведено его формальное описание
 с помощью теории линейных логических преобразований. Доказано утверждение об общем виде линейных
 логических преобразований. Проведен анализ вычисления линейных логических преобразований для
 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.