ПЕРСОНАЛЬНІ БАЗИ ДАНИХ ТА ЗНАНЬ ВІРТУАЛЬНИХ ДОСЛІДНИЦЬКИХ СПІЛЬНОТ

  • N. E. Kunanets Національний університет "Львівська політехніка", м. Львів
  • V. S. Lenko Національний університет "Львівська політехніка", м. Львів
  • V. V. Pasichnyk Національний університет "Львівська політехніка", м. Львів
  • Yu. M. Shcherbyna Львівський національний університет ім. Івана Франка, м. Львів
Ключові слова: е-наука, комунікація, блокчейн, онтологія, теорія типів, логічне міркування

Анотація

Досліджено процеси набуття та управління персональними даними і знаннями, а також комунікації в межах віртуальних дослідницьких спільнот. Розглянуто поняття віртуального наукового колективу та особливості захисту інформації у налагодженні процесів комунікації в ньому. Висвітлено проблеми в організації ефективної комунікації між учасниками віртуальних дослідницьких спільнот, що породжені відсутністю цілісного технологічного рішення, яке забезпечило б надійність, приватність, швидкодію та структурованість потоків інформації, даних і знань. Запропоновано принципово новий підхід до проектування платформ комунікації, що ґрунтується на ідеях децентралізації та крипто-безпеки. Проаналізовано методологічні відмінності між поняттями "інформація", "дані" та "знання". Висвітлено сучасний підхід до здійснення міркування в онтологічній моделі подання знань, що ґрунтується на використанні апарату теорії типів та асистента доведення теорем Coq. Структуровано подано відношення між логікою та теорією типів, а також наведено спосіб подання основних елементів онтології формальною мовою системи Coq. Розглянуто приклад здійснення міркування з використанням мови тактик Ltaс над фрагментом онтології, що описує певні відношення з предметної області функціонування віртуальних дослідницьких спільнот. Вказано шляхи та інструменти здійснення подальшого дослідження.

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

N. E. Kunanets, Національний університет "Львівська політехніка", м. Львів
д-р наук із соціальних комунікацій, професор кафедри Iнформаційних систем та мереж
V. S. Lenko, Національний університет "Львівська політехніка", м. Львів
аспірант кафедри Iнформаційних систем та мереж
V. V. Pasichnyk, Національний університет "Львівська політехніка", м. Львів
д-р техн. наук, професор кафедри Iнформаційних систем та мереж
Yu. M. Shcherbyna, Львівський національний університет ім. Івана Франка, м. Львів
канд. фіз.-мат. наук, професор кафедри Дискретного аналізу та інтелектуальних систем

Посилання

Bitshares Munich IVS (2016). ECHO – Free Encrypted Private Chat. Retrieved from: https://my-echo.com/#messenger

Coq (2017). French Institute for Research in Computer Science and Automation. The Coq Proof Assistant. Retrieved from: https://coq.inria.fr

Cornell University. (2017). Nuprl Proof Development System. Retrieved from: http://www.nuprl.org

Dapoigny, R., & Barlatier, P. (2008). Towards a Conceptual Structure based on Type theory. Retrieved from: http://ceur-ws.org/Vol-354/p63.pdf

Dhamdhere, S. N. (2014). Cloud computing and virtualization technologies in libraries. Hershey, PA: Information Science Reference.

Feilmayr, C., & Wöß, W. (2016). An analysis of ontologies and their success factors for application to business. Data & Knowledge Engineering, 101, 1–23. https://doi.org/10.1016/j.datak.2015.11.003

Hafsi, M., Dapoigny, R., & Bolon, P. (2015). Toward a Type-Theoretical Approach for an Ontologically-Based Detection of Underground Networks. Knowledge Science, Engineering and Management Lecture Notes in Computer Science, 90–101. https://doi.org/10.1007/978-3-319-25159-2_8

Homotopy type theory: univalent foundations of mathematics. (2013). Princeton, NJ: Univalent Foundations Program.

Kaisler, S., Armour, F., Espinosa, J. A., & Money, W. (2013). Big Data: Issues and Challenges Moving Forward. 2013 46th Hawaii International Conference on System Sciences. https://doi.org/10.1109/hicss.2013.645

Lean (2017). Microsoft Research. The Lean Theorem Prover. Retrieved from: https://leanprover.github.io

Li, W., Sforzin, A., Fedorov, S., & Karame, G. O. (2017). Towards Scalable and Private Industrial Blockchains. Proceedings of the ACM Workshop on Blockchain, Cryptocurrencies and Contracts – BCC 17. https://doi.org/10.1145/3055518.3055531

Liew, A. (2007). Understanding Data, Information, Knowledge and Their Inter-Relationships. Journal of Knowledge Management Practice, 8(2), 1–10.

Lytvyn, V. (2013). Pidkhid do pobudovy intelektualnykh system pidtrymky pryiniattia rishen na osnovi ontolohii. Problemy prohramuvannia, 4, 43–52.

Marshall, A. (2016). Powered by Blockchain, New Decentralized Messenger to Save Data, Battery and Time. Retrieved from: https://cointelegraph.com/news/powered-by-blockchain-new-decentralized-messenger-to-save-data-battery-and-time

Nakamoto, S. (2008). Bitcoin: A Peer-to-Peer Electronic Cash System. Retrieved from: https://bitcoin.org/bitcoin.pdf

Noy, N., & McGuinness, D. (2001). Ontology Development 101: A Guide to Creating Your First Ontology. Retrieved from: http://protege.stanford.edu/publications/ontology_development/ontology101-noy-mcguinness.html

Omohundro, S. (2014). Cryptocurrencies, smart contracts, and artificial intelligence. AI Matters, 1(2), 19–21. https://doi.org/10.1145/2685328.2685334

Protocol Labs (2016). IPFS is the Distributed Web. Retrieved from: https://ipfs.io

Romano, D., & Schmid, G. (2017). Beyond Bitcoin: A Critical Look at Blockchain-Based Systems. Cryptography, 1(2), 15. https://doi.org/10.3390/cryptography1020015

Shen, A. (2014). Algoritmicheskaia teoriia informatcii i sluchainost individualnyh obektov. Retrieved from: https://www.youtube.com/watch? v=X0Lo5IWLjko

Swan, M. (2015). Blockchain: blueprint for a new economy. Sebastopol, CA: OReilly Media, Inc.

Veretennikova, N., Pasichnyk, V., Kunanets, N., & Gats, B. (2015). E-Science: New paradigms, system integration and scientific research organization. 2015 Xth International Scientific and Technical Conference "Computer Sciences and Information Technologies" (CSIT). https://doi.org/10.1109/stc-csit.2015.7325436

Wang, Y. (2015). Formal Cognitive Models of Data, Information, Knowledge, and Intelligence. WSEAS Transactions on Computers, 14, 770–781.

Wuille, P. (2017). Hierarchical Deterministic Wallets. Retrieved from: https://github.com/bitcoin/bips/blob/master/bip-0032.mediawiki.

Опубліковано
2017-11-03
Як цитувати
Kunanets, N. E., Lenko, V. S., Pasichnyk, V. V., & Shcherbyna, Y. M. (2017). ПЕРСОНАЛЬНІ БАЗИ ДАНИХ ТА ЗНАНЬ ВІРТУАЛЬНИХ ДОСЛІДНИЦЬКИХ СПІЛЬНОТ. Науковий вісник НЛТУ України, 27(6), 185-191. https://doi.org/10.15421/40270638
Розділ
Освітянські проблеми вищої школи