Формалізація процесів в земельних відносинах України
DOI:
https://doi.org/10.26642/tn-2017-2(80)-139-143Ключові слова:
земельні відносини, теорія категорій, формалізм, категорія, об'єкт категорії, мала категорія, комутативна діаграма, морфізм, функторАнотація
В роботі перерахований ряд проблемних задач в сфері земельних відносин України, серед яких: слабкий зв’язок між законами, суперечливість трактування законів, недостатнє використання сучасних інформаційних технологій. Актуальність роботи полягає в необхідність вирішення проблемних завдань земельних відносин в України та відсутність, запропонованого в роботі, математичного апарату для вирішення цих завдань. Проаналізовані роботи вчених, що працюють в сфері земельних відносин та що працюють в сфері формалізації права. Запропоновано вирішення актуальних задач шляхом створення математичного забезпечення для розробки системи підтримки прийняття рішень в земельних відносинах. Основу цього математичного забезпечення складають методи теорії категорій, які забезпечують формалізацію складних задач. На основі методів теорії категорій побудовані моделі земельних відносин з використанням даних Земельного кодексу України. Вони стануть елементом онтології земельних відносин, які будуть структурними частинами баз знань системи підтримки прийняття рішень землеустрою України. Слід також наголосити, що подібні моделі можливо використовувати і в інших предметних областях.Посилання
Truskavec'ka mis'ka rada (2017), oficijnyj sajt, «Informacija dlja goliv OSBB ta chleniv ob’jednann' pro prava na zemlju pid bagatokvartyrnym budynkom», available at: http://www.tmr.gov.ua/press-center/news-offices/65infpol/4180-informatsiia-dlia-holiv-osbb-ta-chleniv-obiednann-pro-prava-na-zemliu-pid-bahatokvartyrnymbudynkom
Merem1, E.C. (2008), «Vykorystannya heoprostorovykh informatsiynykh tekhnolohiy u haluzi upravlinnya pryrodnymy resursamy: Pryklad upravlinnya zemlerobstvom v Zakhidniy Afrytsi», Scientific Journal Sensors, No. 8 (2), Basel, pp. 607–619.
Shypulin, V.D. (2013), Systema zemel'nogo administruvannja: osnovy suchasnoi' teorii', navch. posibnyk, HNUMG im. O.M. Beketova, Kharkiv, 220 p.
Man'ko, D.G. (2013), «Tehnologii' formalizacii' prava», Naukovyj visnyk Mizhnarodnogo gumanitarnogo universytetu, serija Jurysprudencija, No. 5, Odesa, pp. 18–21.
Radejko, R.I. (2014), «Teoretyko-pravovi aspekty vyrishennja problemy formalizacii'», Instytut prava ta psyhologii' Nacional'nogo universytetu «L'vivs'ka politehnika», No. 8, Vol. 10, Lviv, pp. 86–93.
Radejko, R.I. (2013), «Formalizacija jak metod doslidzhennja pravovyh javyshh», Instytut prava ta psyhologii' Nacional'nogo universytetu «L'vivs'ka politehnika», No. 6, Vol. 2, Lviv, pp. 42–46.
Bronshteyn, I.N. and Semendyaev, K.A. (1981), Spravochnik po matematike dlya inzhenerov i uchashchikhsya vuzov, Nauka, Glavnaya redaktsiya fiziko-matematicheskoy literatury, Moscow, 719 p.
Borisovich, Yu.B., Bliznyakov, N.M., Izrailovich, Ya.A. and Fomenko, T.N. (1995), Vvedenie v topologiyu, ucheb. posobie, 2nd ed., dop., Nauka, Fizmatlit., Moscow, 416 p.
Meteshkin, K.A. (2000), «Osobennosti predstavleniya ob"ektov kategorii formal'nymi teoriyami», Systemy obrobky informacii', zbirnyk naukovyh prac', No. 4, Vol. 10, HFV «Transport Ukrai'ny», Kharkiv, pp. 143–146.
Meteshkin, K.A. (2004), Kiberneticheskaya pedagogika: teoreticheskie osnovy upravleniya obrazovaniem na baze integrirovannogo intellekta, monografiya, Mezhdunarodnyy Slavyanskiy universitet, Kharkiv, 400 p.
Meteshkin, K.A., Kon', D.A. and Akhmedova, R.Kh. (2016), Osnovy teorii sistem: innovatsionnaya avtorskaya tekhnologiya obucheniya «Partnerstvo», ucheb. posobie, KhNUGKh im. A.N. Beketova, Kharkiv, 236 p.
##submission.downloads##
Опубліковано
Як цитувати
Номер
Розділ
Ліцензія
Авторське право (c) 2020 Костянтин Олександрович Метешкін, Максим Анатолійович Кухар
Ця робота ліцензується відповідно до Creative Commons Attribution-NonCommercial 4.0 International License.
Автор, який подає матеріали до друку, зберігає за собою всі авторські права та надає відповідному виданню право першої публікації, дозволяючи розповсюджувати даний матеріал із зазначенням авторства та джерела первинної публікації, а також погоджується на розміщення її електронної версії на сайті Національної бібліотеки ім. В.І. Вернадського та у відкритому доступі в електронному архіві університету та на сайті журналу.
