ПЕРСОНАЛЬНІ БАЗИ ДАНИХ ТА ЗНАНЬ ВІРТУАЛЬНИХ ДОСЛІДНИЦЬКИХ СПІЛЬНОТ
Анотація
Досліджено процеси набуття та управління персональними даними і знаннями, а також комунікації в межах віртуальних дослідницьких спільнот. Розглянуто поняття віртуального наукового колективу та особливості захисту інформації у налагодженні процесів комунікації в ньому. Висвітлено проблеми в організації ефективної комунікації між учасниками віртуальних дослідницьких спільнот, що породжені відсутністю цілісного технологічного рішення, яке забезпечило б надійність, приватність, швидкодію та структурованість потоків інформації, даних і знань. Запропоновано принципово новий підхід до проектування платформ комунікації, що ґрунтується на ідеях децентралізації та крипто-безпеки. Проаналізовано методологічні відмінності між поняттями "інформація", "дані" та "знання". Висвітлено сучасний підхід до здійснення міркування в онтологічній моделі подання знань, що ґрунтується на використанні апарату теорії типів та асистента доведення теорем Coq. Структуровано подано відношення між логікою та теорією типів, а також наведено спосіб подання основних елементів онтології формальною мовою системи Coq. Розглянуто приклад здійснення міркування з використанням мови тактик Ltaс над фрагментом онтології, що описує певні відношення з предметної області функціонування віртуальних дослідницьких спільнот. Вказано шляхи та інструменти здійснення подальшого дослідження.Завантаження
Посилання
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.
Авторське право (c) 2017 Науковий вісник НЛТУ України
Ця робота ліцензується відповідно до Creative Commons Attribution 4.0 International License.
