Formal theory model in the form of commutative semigroup of image constructions
| Jazyk: | ruština |
|---|---|
| Rok vydání: | 2015 |
| Předmět: |
formal theory
commutative semi-group linguistic image image construction dialogue support формальна теорія комутативна напівгрупа мовний образ образна конструкція підтримка діалогу Computer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing) формальная теория коммутативная полугруппа языковый образ образная конструкция поддержка диалога УДК 004.93:159.95 |
| Zdroj: | Journal of Mechanical Engineering; Том 16, № 6 (2013); 24-40 Проблемы машиностроения; Том 16, № 6 (2013); 24-40 Проблеми машинобудування; Том 16, № 6 (2013); 24-40 |
| ISSN: | 0131-2928 2411-0779 |
| Popis: | 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.Assuming syntactic relations between all meaningful words of each sentence and linguistic images, corresponding to these words are known, formal first-order theory was proposed The finite alphabet, procedures for constructing terms as character lines and formulas as admissible expressions of the formal theory \[Th\] were introduced into the theory structure. The axiom schemes such as 3 propositional calculus, 2 first-order predicate calculus, as well as proper axioms \[Th\] such as 6 commutative semi-groups and 4 applied axioms (productions) of the theory were singled out from many formulas. The concept of the term in the associative normal form (ANF) was introduced. Three theorems, allowing to convert any term into the ANF-term and any ANF-term into the question-answering structure of terms, and to present the ANF-term of the answering structure in the form of components (subtrees) from different sentences (trees) were formulated and proved.The formal theory model \[Th\] was proposed as the commutative semi-group of image constructions; linguistic interpretation and model limitations were considered. Three rules were introduced for easy use of the formal theory model \[Th\] in linguistic applications. The research results allow to provide basic support functions for the dialogue, limited by the linguistic image concept at the formal level. Работа посвящена созданию математического аппарата для поддержки диалога с пользователем на основе обобщения информации предложений текста. Разработана формальная теория первого порядка, предполагающая построение модели в виде коммутативной полугруппы конструкций из языковых образов. На основе 15-ти аксиом сформулированы и доказаны теоремы, позволяющие обеспечить базовые функции поддержки ограниченного понятием языкового образа диалога. Робота присвячена створенню математичного апарату для підтримки діалогу з користувачем на основі узагальнення інформації речень тексту. Розроблено формальна теорія першого порядку, що припускає побудову моделі у вигляді комутативної напівгрупи конструкцій мовних образів. На основі 15-ти аксіом сформульовані і доведені теореми, що дозволяють забезпечити функції підтримки обмеженого поняттям мовного образу діалогу. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|