Формалізація базових алгоритмів співставлення зі зразком в продукційних системах

Автор(и)

  • Світлана Ігорівна Шаповалова Національний Технічний Університет України «Київський політехнічний інститут» вул. Політехнічна, 6, корпус №5, м. Київ, Україна, Україна
  • Ольга Олександрівна Мажара Національний Технічний Університет України «Київський політехнічний інститут» пр. Перемоги, 37, Київ, Україна, 03056, Україна https://orcid.org/0000-0001-7887-6764

DOI:

https://doi.org/10.15587/1729-4061.2015.46571

Ключові слова:

співставлення зі зразком, формалізація, Rete алгоритм, Treat алгоритм, продукційна система, логічне виведення

Анотація

В статті в єдиному форматі представлено формалізований опис продукційної системи, компіляцію Rete та Treat мережі потоку даних, а також правил переходу між вузлами Treat мережі. Запропоновано формалізацію співставлення за Treat алгоритмом, яка може бути використана для подальшої оцінки складності. Розширено модель розрахунку витрат пам’яті для Treat алгоритму.

Біографії авторів

Світлана Ігорівна Шаповалова, Національний Технічний Університет України «Київський політехнічний інститут» вул. Політехнічна, 6, корпус №5, м. Київ, Україна

Кандидат технічних наук, доцент

Кафедра автоматизації проектування енергетичних процесів і систем

Ольга Олександрівна Мажара, Національний Технічний Університет України «Київський політехнічний інститут» пр. Перемоги, 37, Київ, Україна, 03056

Аспірант

Кафедра автоматизації проектування енергетичних процесів і систем

Посилання

  1. Zhezhko, L., Jyejko, L., Karpik, A., Khoroshilov, V. (2005). Sistemy iskusstvennogo intellekta. Predstavleniye znaniy v informatsionnykh sistemakh. Novosibirsk: SGGA, 84.
  2. Kowalski, R., Sadri, F. (2010). Towards a Logic-based Production System Language. London. Available at: http://www.doc.ic.ac.uk/~fs/Papers/Reactive%20systems/LPS%20technical%20report.pdf
  3. Bulkin, V., Sharonova, N. (2006). Formal'noye predstavleniye znaniy v produktsionnykh sistemakh. Iskusstvennyy intellekt, 1, 147–157.
  4. Tao, Y., Zhijun, H., Ruizhao, Y. (1987). Artificial intelligence. Performance evaluation of the inference structure in expert system. San Francisco: Kaufmann Publishers Inc, 945–950.
  5. Shapovalova, S., Mazhara, O. (2014). Vybir optymalʹnoho alhorytmu spivstavlennya zi zrazkom pry proektuvanni produktsiynoyi systemy. Skhidno-Yevropeysʹkyy zhurnal peredovykh tekhnolohiy, 43–49. doi: 10.15587/1729-4061.2014.23338
  6. Dzharrantano, D., Rayli, G. (2007). Ekspertnyye sistemy: printsipy razrabotki i programirovaniye. Moskva: OOO «I.D. Vil'yams», 1152.
  7. Forgy, C. (1979). On the Efficient Implementation of Production System : PhD thesis. Pittsburg: Carnegie Mellon University Computer Science, 356.
  8. Miranker, D. P. (1990). TREAT: A New and Efficient Match Algorithm for AI Production Systems. London: Pitman, 144.
  9. Liu, D., Gu, T., Xue, J.-P. (2010). Rule Engine based on improvement Rete algorithm. The 2010 International Conference on Apperceiving Computing and Intelligence Analysis Proceeding, 346–349. doi: 10.1109/icacia.2010.5709916
  10. Berstel, B. (2002). Extending the RETE algorithm for event management. Proceedings Ninth International Symposium on Temporal Representation and Reasoning. doi: 10.1109/time.2002.1027472
  11. Kang, J. A., Mo, A., Cheng, K. (2004). Shortening Matching Time in OPS5 Production Systems. IEEE Transactions on Software Engineering, 30 (7), 448–457. doi: 10.1109/tse.2004.32
  12. Albert, L., Fages, F. (1988). Average case complicity analyzes of the Rete multi-pattern match algorithm. Automata, Languages and Programming 5th International Colloquium Tampere. Finland, 18–37. doi: 10.1007/3-540-19488-6_104
  13. Cirstea, H., Kirchner, C., Moossen, M., Moreau, P. E. (2004). Production Systems and Rete Algorithm Formalisation. Available at: https://hal.inria.fr/file/index/docid/280938/filename/rete.formalisation.pdf
  14. Wright, I. (2003). The execution kernel of rc++: Rete*, a faster rete with treat as special case. International Journal of Intelligent Games and Simulation, 36–48.

##submission.downloads##

Опубліковано

2015-08-22

Як цитувати

Шаповалова, С. І., & Мажара, О. О. (2015). Формалізація базових алгоритмів співставлення зі зразком в продукційних системах. Eastern-European Journal of Enterprise Technologies, 4(3(76), 22–27. https://doi.org/10.15587/1729-4061.2015.46571

Номер

Том 4 № 3(76) (2015): Процеси управління

Розділ

Процеси управління

Ліцензія

Авторське право (c) 2015 Світлана Ігорівна Шаповалова, Ольга Олександрівна Мажара

Creative Commons License

Ця робота ліцензується відповідно до Creative Commons Attribution 4.0 International License.

Закріплення та умови передачі авторських прав (ідентифікація авторства) здійснюється у Ліцензійному договорі. Зокрема, автори залишають за собою право на авторство свого рукопису та передають журналу право першої публікації цієї роботи на умовах ліцензії Creative Commons CC BY. При цьому вони мають право укладати самостійно додаткові угоди, що стосуються неексклюзивного поширення роботи у тому вигляді, в якому вона була опублікована цим журналом, але за умови збереження посилання на першу публікацію статті в цьому журналі.

Ліцензійний договір – це документ, в якому автор гарантує, що володіє усіма авторськими правами на твір (рукопис, статтю, тощо).
Автори, підписуючи Ліцензійний договір з ПП «ТЕХНОЛОГІЧНИЙ ЦЕНТР», мають усі права на подальше використання свого твору за умови посилання на наше видання, в якому твір опублікований. Відповідно до умов Ліцензійного договору, Видавець ПП «ТЕХНОЛОГІЧНИЙ ЦЕНТР» не забирає ваші авторські права та отримує від авторів дозвіл на використання та розповсюдження публікації через світові наукові ресурси (власні електронні ресурси, наукометричні бази даних, репозитарії, бібліотеки тощо).
За відсутності підписаного Ліцензійного договору або за відсутністю вказаних в цьому договорі ідентифікаторів, що дають змогу ідентифікувати особу автора, редакція не має права працювати з рукописом.
Важливо пам’ятати, що існує і інший тип угоди між авторами та видавцями – коли авторські права передаються від авторів до видавця. В такому разі автори втрачають права власності на свій твір та не можуть його використовувати в будь-який спосіб.