Линейные логические преобразования в задачах семантической разметки текста
В статье исследован процесс построения цепей лексических единиц. Приведено его формальное описание
 с помощью теории линейных логических преобразований. Доказано утверждение об общем виде линейных
 логических преобразований. Проведен анализ вычисления линейных логических преобразован...
Saved in:
| Published in: | Искусственный интеллект |
|---|---|
| Date: | 2013 |
| Main Authors: | , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут проблем штучного інтелекту МОН України та НАН України
2013
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/85155 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Линейные логические преобразования в задачах семантической разметки текста / И.Д. Вечирская, Г.Г. Четвериков // Искусственный интеллект. — 2013. — № 2. — С. 109–118. — Бібліогр.: 11 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862573641309356032 |
|---|---|
| author | Вечирская, И.Д. Четвериков, Г.Г. |
| author_facet | Вечирская, И.Д. Четвериков, Г.Г. |
| citation_txt | Линейные логические преобразования в задачах семантической разметки текста / И.Д. Вечирская, Г.Г. Четвериков // Искусственный интеллект. — 2013. — № 2. — С. 109–118. — Бібліогр.: 11 назв. — рос. |
| collection | DSpace DC |
| container_title | Искусственный интеллект |
| description | В статье исследован процесс построения цепей лексических единиц. Приведено его формальное описание
с помощью теории линейных логических преобразований. Доказано утверждение об общем виде линейных
логических преобразований. Проведен анализ вычисления линейных логических преобразований для
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.
|
| first_indexed | 2025-11-26T07:56:19Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-85155 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1561-5359 |
| language | Russian |
| last_indexed | 2025-11-26T07:56:19Z |
| publishDate | 2013 |
| publisher | Інститут проблем штучного інтелекту МОН України та НАН України |
| record_format | dspace |
| spelling | Вечирская, И.Д. Четвериков, Г.Г. 2015-07-19T19:21:47Z 2015-07-19T19:21:47Z 2013 Линейные логические преобразования в задачах семантической разметки текста / И.Д. Вечирская, Г.Г. Четвериков // Искусственный интеллект. — 2013. — № 2. — С. 109–118. — Бібліогр.: 11 назв. — рос. 1561-5359 https://nasplib.isofts.kiev.ua/handle/123456789/85155 519.7:007.52; 519.711.3 В статье исследован процесс построения цепей лексических единиц. Приведено его формальное описание
 с помощью теории линейных логических преобразований. Доказано утверждение об общем виде линейных
 логических преобразований. Проведен анализ вычисления линейных логических преобразований для
 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. ru Інститут проблем штучного інтелекту МОН України та НАН України Искусственный интеллект Обучающие и экспертные системы Линейные логические преобразования в задачах семантической разметки текста Лінійні логічні перетворення в задачах семантичної розмітки тексту Linear logical transformations is in the semantic marking problem of text Article published earlier |
| spellingShingle | Линейные логические преобразования в задачах семантической разметки текста Вечирская, И.Д. Четвериков, Г.Г. Обучающие и экспертные системы |
| title | Линейные логические преобразования в задачах семантической разметки текста |
| title_alt | Лінійні логічні перетворення в задачах семантичної розмітки тексту Linear logical transformations is in the semantic marking problem of text |
| title_full | Линейные логические преобразования в задачах семантической разметки текста |
| title_fullStr | Линейные логические преобразования в задачах семантической разметки текста |
| title_full_unstemmed | Линейные логические преобразования в задачах семантической разметки текста |
| title_short | Линейные логические преобразования в задачах семантической разметки текста |
| title_sort | линейные логические преобразования в задачах семантической разметки текста |
| topic | Обучающие и экспертные системы |
| topic_facet | Обучающие и экспертные системы |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/85155 |
| work_keys_str_mv | AT večirskaâid lineinyelogičeskiepreobrazovaniâvzadačahsemantičeskoirazmetkiteksta AT četverikovgg lineinyelogičeskiepreobrazovaniâvzadačahsemantičeskoirazmetkiteksta AT večirskaâid líníinílogíčníperetvorennâvzadačahsemantičnoírozmítkitekstu AT četverikovgg líníinílogíčníperetvorennâvzadačahsemantičnoírozmítkitekstu AT večirskaâid linearlogicaltransformationsisinthesemanticmarkingproblemoftext AT četverikovgg linearlogicaltransformationsisinthesemanticmarkingproblemoftext |