Модель формальной теории в виде коммутативной полугруппы образных конструкций
Работа посвящена созданию математического аппарата для поддержки диалога с пользователем на основе обобщения информации предложений текста. Разработана формальная теория первого порядка, предполагающая построение модели в виде коммутативной полугруппы конструкций из языковых образов. На основе 15-ти...
Gespeichert in:
| Veröffentlicht in: | Проблемы машиностроения |
|---|---|
| Datum: | 2013 |
| Hauptverfasser: | , , |
| Format: | Artikel |
| Sprache: | Russian |
| Veröffentlicht: |
Інстиут проблем машинобудування ім. А.М. Підгорного НАН України
2013
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/80954 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Модель формальной теории в виде коммутативной полугруппы образных конструкций / О.В. Бисикало, И.А. Кравчук, А.А. Кириленко // Проблемы машиностроения. — 2013. — Т. 16, № 6. — С. 24-30. — Бібліогр.: 17 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-80954 |
|---|---|
| record_format |
dspace |
| spelling |
Бисикало, О.В. Кравчук, И.А. Кириленко, А.А. 2015-04-28T18:47:45Z 2015-04-28T18:47:45Z 2013 Модель формальной теории в виде коммутативной полугруппы образных конструкций / О.В. Бисикало, И.А. Кравчук, А.А. Кириленко // Проблемы машиностроения. — 2013. — Т. 16, № 6. — С. 24-30. — Бібліогр.: 17 назв. — рос. 0131-2928 https://nasplib.isofts.kiev.ua/handle/123456789/80954 004.93:159.95 Работа посвящена созданию математического аппарата для поддержки диалога с пользователем на основе обобщения информации предложений текста. Разработана формальная теория первого порядка, предполагающая построение модели в виде коммутативной полугруппы конструкций из языковых образов. На основе 15-ти аксиом сформулированы и доказаны теоремы, позволяющие обеспечить базовые функции поддержки ограниченного понятием языкового образа диалога. Робота присвячена створенню математичного апарату для підтримки діалогу з користувачем на основі узагальнення інформації речень тексту. Розроблена формальна теорія першого порядку, що припускає побудову моделі у вигляді комутативної напівгрупи конструкцій мовних образів. На основі 15ти аксіом сформульовані і доведені теореми, що дозволяють забезпечити функції підтримки обмеженого поняттям мовного образу діалогу. The paper deals with the issues of creating the mathematical apparatus for dialogue support with user, based on information generalization of each sentence in the text by the formal concept of linguistic image. Relevance of the research issues is associated with ensuring stepwise finding of the required specialized information during training and professional development of modern engineers within the question-answering systems. ru Інстиут проблем машинобудування ім. А.М. Підгорного НАН України Проблемы машиностроения Прикладная математика Модель формальной теории в виде коммутативной полугруппы образных конструкций Formal theory model in the form of commutative semigroup of image constructions Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Модель формальной теории в виде коммутативной полугруппы образных конструкций |
| spellingShingle |
Модель формальной теории в виде коммутативной полугруппы образных конструкций Бисикало, О.В. Кравчук, И.А. Кириленко, А.А. Прикладная математика |
| title_short |
Модель формальной теории в виде коммутативной полугруппы образных конструкций |
| title_full |
Модель формальной теории в виде коммутативной полугруппы образных конструкций |
| title_fullStr |
Модель формальной теории в виде коммутативной полугруппы образных конструкций |
| title_full_unstemmed |
Модель формальной теории в виде коммутативной полугруппы образных конструкций |
| title_sort |
модель формальной теории в виде коммутативной полугруппы образных конструкций |
| author |
Бисикало, О.В. Кравчук, И.А. Кириленко, А.А. |
| author_facet |
Бисикало, О.В. Кравчук, И.А. Кириленко, А.А. |
| topic |
Прикладная математика |
| topic_facet |
Прикладная математика |
| publishDate |
2013 |
| language |
Russian |
| container_title |
Проблемы машиностроения |
| publisher |
Інстиут проблем машинобудування ім. А.М. Підгорного НАН України |
| format |
Article |
| title_alt |
Formal theory model in the form of commutative semigroup of image constructions |
| description |
Работа посвящена созданию математического аппарата для поддержки диалога с пользователем на основе обобщения информации предложений текста. Разработана формальная теория первого порядка, предполагающая построение модели в виде коммутативной полугруппы конструкций из языковых образов. На основе 15-ти аксиом сформулированы и доказаны теоремы, позволяющие обеспечить базовые функции поддержки ограниченного понятием языкового образа диалога.
Робота присвячена створенню математичного апарату для підтримки діалогу з користувачем на основі узагальнення інформації речень тексту. Розроблена формальна теорія першого порядку, що припускає побудову моделі у вигляді комутативної напівгрупи конструкцій мовних образів. На основі 15ти аксіом сформульовані і доведені теореми, що дозволяють забезпечити функції підтримки обмеженого поняттям мовного образу діалогу.
The paper deals with the issues of creating the mathematical apparatus for dialogue support with user, based on information generalization of each sentence in the text by the formal concept of linguistic image. Relevance of the research issues is associated with ensuring stepwise finding of the required specialized information during training and professional development of modern engineers within the question-answering systems.
|
| issn |
0131-2928 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/80954 |
| citation_txt |
Модель формальной теории в виде коммутативной полугруппы образных конструкций / О.В. Бисикало, И.А. Кравчук, А.А. Кириленко // Проблемы машиностроения. — 2013. — Т. 16, № 6. — С. 24-30. — Бібліогр.: 17 назв. — рос. |
| work_keys_str_mv |
AT bisikaloov modelʹformalʹnoiteoriivvidekommutativnoipolugruppyobraznyhkonstrukcii AT kravčukia modelʹformalʹnoiteoriivvidekommutativnoipolugruppyobraznyhkonstrukcii AT kirilenkoaa modelʹformalʹnoiteoriivvidekommutativnoipolugruppyobraznyhkonstrukcii AT bisikaloov formaltheorymodelintheformofcommutativesemigroupofimageconstructions AT kravčukia formaltheorymodelintheformofcommutativesemigroupofimageconstructions AT kirilenkoaa formaltheorymodelintheformofcommutativesemigroupofimageconstructions |
| first_indexed |
2025-12-02T06:37:00Z |
| last_indexed |
2025-12-02T06:37:00Z |
| _version_ |
1850861737719365632 |