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

Abstract

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