Поддержка ограниченных типов диалога на основе формальной теории
Репозитарій Вінницького Національного Технічного Університету
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Поддержка ограниченных типов диалога на основе формальной теории
Support of limited types of dialogue on the basis of the formal theory Підтримка обмежених типів діалогу на основі формальної теорії |
|
| Creator |
Бісікало, О. В.
Бисикало, О. В. Bisikalo, O. V. |
|
| Subject |
ассоциативная пара
формальная теория граф образная конструкция модель асоціативна пара формальна теорія образна конструкція associative pair formal theory graph image construction model |
|
| Description |
Рассматривается задача поддержки трех ограниченных типов диалога с помощью прикладной теории первого порядка. Использование введенного понятия терма в ассоциативной нормальной форме позволяет доказать 3 полезные теоремы. Лингвистическую интерпретацию полученных результатов обеспечивает модель формальной теории в виде коммутативной полугруппы образных конструкций. Приведенные примеры демонстрируют интуитивную понятность построения вопросов и ответов к естественно-языковым предложениям на русском и английском языках. The problem of support of three limited types of dialogue on the basis of the applied theory of the first order is considered. Use of the entered concept of a term in the associative normal form allows to prove 3 useful theorems. Linguistic interpretation of the received results is provided by model of the formal theory in the form of commutative semigroup of image constructions. The given examples show intuitive clearness of creation of questions and answers to natural language sentences in Russian and English languages |
|
| Date |
2016-01-27T12:15:23Z
2016-01-27T12:15:23Z 2013-12 |
|
| Type |
Article
|
|
| Identifier |
Бисикало О. В. Поддержка ограниченных типов диалога на основе формальной теории [Текст] / О. В. Бисикало // Transaction of Azerbaijan National Academy of Sciences, Series of Physical-Technical and Mathematical Sciences: Informatics and Control Problems. - 2013. - Vol. XXXIII, No.6. – С. 6–15.
http://ir.lib.vntu.edu.ua/handle/123456789/6843 004.93:159.95 |
|
| Language |
ru
|
|
| Publisher |
Azerbaijan National Academy of Sciences
|
|