Модель формальної теорії у вигляді комутативної напівгрупи образних конструкцій
Ключові слова:
формальна теорія, комутативна напівгрупа, мовний образ, образна конструкція, підтримка діалогуАнотація
Робота присвячена створенню математичного апарату для підтримки діалогу з користувачем на основі узагальнення інформації речень тексту. Розроблено формальна теорія першого порядку, що припускає побудову моделі у вигляді комутативної напівгрупи конструкцій мовних образів. На основі 15-ти аксіом сформульовані і доведені теореми, що дозволяють забезпечити функції підтримки обмеженого поняттям мовного образу діалогу.
Посилання
Turing, A. Computing Machinery and Intelligence [Text] / A. Turing // Mind. – 1950. – Vol. LIX, № 236. – P. 433 – 460. 2. Galitsky, B. Natural Language Question Answering System: Technique of Semantic Headers [Text] / B. Galitsky // International Series on Advanced Intelligence. – Australia: Advanced Knowledge International. – 2003. – Vol. 2. – Р. 12-20. 3. Бисикало, О. В. Ассоциативный поиск для задач обучения на основе электронного тезауруса образов [Текст] / О. В. Бисикало // Управляющие системы и машины. – 2009. – № 2. – С. 28 – 33. 4. Бісікало, О. В. Формалізація понять мовного образу та образного сенсу природно-мовних конструкцій [Text] / О. В. Бісікало // Математичні машини і системи. – 2012. – № 2. – С. 70 – 73. 5. Крылов, С. А. Некоторые уточнения к определениям понятий словоформы и лексемы [Текст] / С. А. Крылов // Семиотика и информатика. – 1982. – Вып. 19. – С. 118 – 136. 6. Бісікало, О. В. Формальні методи образного аналізу та синтезу природно-мовних конструкцій [Текст]: монографія / О. В. Бісікало. – Вінниця: Вінниць. нац. техн. ун-т, 2013. – 316 с. 7. Бодянский, Е. Классификация текстовых документов с помощью нечеткой вероятностной нейронной сети / Е. Бодянский, Н. Рябова, О. Золотухин // Восточно-Европейский журнал передовых технологий. – 2011. – T. 6, № 2(54). – С. 16 – 18. – Режим доступу: http://journals.uran.ua/eejet/article/view/1917 8. Соснин, П. И. Вопросно-ответное программирование человеко-компьютерной деятельности [Текст] / П. И. Соснин. – Ульяновск: Ульянов. техн. ун-т, 2010. – 240 с. 9. Чмир, І. О. Моделювання та синтез діалогових агентів в інтелектуальних системах [Текст] : автореф. дис. д-ра техн. наук: 05.13.23 / І. О. Чмир. – Київ, 2008 . – 33 с. 10. Burger, J. Tasks and Program Structures to Roadmap Research in Question & Answering (Q & A) [Text] /J. Burger, C. Cardie, V. Chaudhri et al. – New York, 2001. – P. 1 – 35. 11. Grillet, P. A. Commutative Semigroups [Text] / P. A. Grillet // Dordrecht: Kluwer Academic Publishers, 2001. – 440 p. 12. Горюшкин, А. П. Элементы абстрактной и компьютерной алгебры [Текст] : уч. пос. / А. П. Горюш-кин, В. А. Горюшкин. – 2-е изд., испр. и доп. – Петропавловск-Камчатский : КамГУ им. Витуса Беринга, 2011. – 518 с. 13. Clifford, A. H., Preston, G. B. The Algebraic Theory of Semigroups [Text] / A. H. Clifford, G. B. Preston // American Mathematical Soc., 1967. – 352 p. 14. Grillet, P. A. Semigroups: An Introduction to the Structure Theory [Text] / P. A. Grillet. – CRC Press, 1995. – 408 p. 15. Rosenfeld, V. Using Semigroups in Modeling of Genomic Sequences [Text] / V. Rosenfeld // MATCH Communications in Mathematical and in Computer Chemistry. – 2006. – Vol. 56. – P. 281 – 290. 16. Столл, Р. Множества. Логика. Аксиоматические теории [Text] : пер с англ. – М.: Просвещение, 1968. – 231 с. 17. Bisikalo, O. Formalization of semantic network of image constructions in electronic content [Электронный ресурс] / O. Bisikalo, I. Kravchuk // Cornell University Library (Computer Science, Computation and Language), arXiv: 1201.1192v1. – January 2012. – 4 р. – Aviable at: http://arxiv.org/ftp/arxiv/papers/1201/1201.1192.pdf. – 10.12.2013 г. – Загл. с экрана. 1. Turing, A. M. (1950). Computing machinery and intelligence. Mind, 59, 460. 2. Galitsky, B. (2003). Natural Language Question Answering System: Technique of Semantic Headers. Ad-vanced Knowledge International, Vol. 2, 12-20. 3. Bisikalo, O. V. (2009). Assotsiativnyy poisk dlya zadach obucheniya na osnove elektronnogo tezaurusa obrazov. Upravlyayushchiye sistemy i mashiny, 2, 28–33. 4. Bisikalo, O. V. (2012). Formalizatsiya ponyat movnogo obrazu ta obraznogo sensu pryrodno-movnykh konstruktsiy. Matematychni mashyny i systemy, 2, 70–73. 5. Krylov, S. A. (1982). Nekotoryye utochneniya k opredeleniyam ponyatiy slovoformy i leksemy. Semiotika i informatika, 19, 118–136. 6. Bisikalo, O. V. (2013). Formalni metody obraznoho analizu ta syntezu pryrodno-movnykh kon-struktsiy. Vinnitsya: VNTU, 316. 7. Bodyanskiy, E., Ryabova, N., Zolotukhin, O. (2012). Classification of text documents using the fuzzy probabilistic neural network. Eastern-European Journal Of Enterprise Technologies, 6 (2(54)), 16–18. Available at: http://journals.uran.ua/eejet/article/view/1917 8. Sosnin, P. I. (2010). Voprosno-otvetnoye pro-grammirovaniye cheloveko-kompyuternoy deyatelnosti. Uly-anovsk: UlGTU, 240. 9. Chmyr, І. О. (2008). Modelyuvannya ta syntez dialohovykh ahentiv v intelektualnykh systemakh. Kyiv, 33. 10. Burger, J., Cardie, C., Chaudhri, V. (2001). Is-sues, Tasks and Program Structures to Roadmap Research in Question & Answering (Q & A). New York: NIST, 1-35. 11. Grillet, P. A. (2001). Commutative Semigroups. Dordrecht: Kluwer Academic Publishers, 440. 12. Goryushkin, А. P., Goryushkin, V. А. (2011). Elementy abstraktnoy i kompyuternoy algebry. Petropav-lovsk-Kamchatsky: КаmGU im. Vitusa Beringa, 518. 13. Clifford, A. H., Preston, G. B. (1967). The Al-gebraic Theory of Semigroups. American Mathematical Soc, 352. 14. Grillet, P. A. (1995). Semigroups: An Introduc-tion to the Structure Theory. New York: Marcel Dekker, 408. 15. Rosenfeld, V. (2006). Using Semigroups in Modeling of Genomic Sequences. MATCH Communications in Mathematical and in Computer Chemistry, 56, 281–290. 16. Stoll, R. (1968). Mnozhestva. Logika. Aksio-maticheskiye teorii. Мoscow: Prosveshcheniye, 231. 17. Bisikalo, O., Kravchuk, I. (2012). Formalization of semantic network of image constructions in electronic content. Cornell University Library (Computer Science, Computation and Language), arXiv: 1201.1192v1, 13. Avail-able at: http://arxiv.org/ftp/arxiv/papers/1201/1201.1192.pdf (accessed 10 December 2013).
##submission.downloads##
Опубліковано
Номер
Розділ
Ліцензія
Авторське право (c) 2015 Олег Владимирович Бисикало, Ирина Анатольевна Кравчук, Анна Александровна Кириленко
Ця робота ліцензується відповідно до Creative Commons Attribution-NoDerivatives 4.0 International License.
Автори, які публікуються в цьому журналі, погоджуються з наступними умовами:
- Автори залишають за собою право на авторство своєї роботи і передають журналу право першої публікації цієї роботи на умовах ліцензійного договору (угоди).
- Автори мають право самостійно укладати додаткові договори (угоди) з неексклюзивного поширення роботи в тому вигляді, в якому вона була опублікована цим журналом (наприклад, розміщувати роботу в електронному сховищі установи або публікувати в складі монографії), за умови збереження посилання на першу публікацію роботи в цьому журналі.
- Політика журналу дозволяє розміщення авторами в мережі Інтернет (наприклад, у сховищах установи або на персональних веб-сайтах) рукопису роботи як до подачі цього рукопису в редакцію, так і під час її редакційної обробки, оскільки це сприяє виникненню продуктивної наукової дискусії і позитивно позначається на оперативності та динаміці цитування опублікованої роботи (див. The Effect of Open Access).
