Розробка формальної теорії статті земельного кодексу України та її алгоритмізація
DOI:
https://doi.org/10.15587/2313-8416.2018.121695Ключові слова:
формалізація, логіка предикатів, алгоритм, програма, продукційні правила, земельні відносини, аксіомаАнотація
В роботі представлена актуальна задача використання онтологічного інжинірингу земельних відносин. На прикладі статі 162д Земельного кодексу України, показана можливість побудови математичних конструкцій, які характеризують земельні відношення, за допомогою логіки предикатів. Сформована формальна теорія на основі логіки предикатів та продукційних правил задачі визначення деградованості земельної ділянки і їх алгоритмізація
Посилання
Lam, P., Mitchell, J., Sundaram, S. A. (2010). Formalization of HIPAA for a Medical Messaging System. 1–13. Available at: https://theory.stanford.edu/~jcm/papers/hipaa_formalization.pdf
Kiseleva, O. M., Seliakova, S. M. (2013). Synthesis of the knowledge base of the expert system for the diagnosis and treatment of influenza. Informatsionnye upravlyayushhie sistemy i komp'yuternyy monitoring, 10, 563–567.
Kiseleva, O. M., Seliakova, S. M. (2014). Formal models of differential diagnosis of nasal breathing function. Matematicheskoe modelirovanie. Sistemnyy analiz. Prinyatie resheniy, 2 (83), 61–65.
Meteshkin, K. A. (2012). Kraeugol'nye kamni piramidy znanii nauchno-pedagogicheskih i pedagogicheskih rabotnikov [The cornerstones of the pyramid of knowledge of scientific pedagogical and pedagogical workers]. Kharkiv: HNAGH, 335.
Kapustina, A. I., Palchunov, D. E. (2017). Development of an ontological model of tariffs and cellular communication services based on logically complete definitions of concepts. Vestnik NGU Seriya: Informatsionnye tekhnologii, 15 (2), 34–46.
Hidayat, А. (2013). Formalization of sharia law in indonesia. South East Asia Journal of Contemporary Business, Economics and Law, 3 (3), 27–31.
Man'ko, D. G. (2013). Technologies of formalization of law. Naukovyi visnyk Mizhnarodnoho humanitarnoho universytetu. Seriia: Yurysprudentsiia, 5, 18–21.
Radeiko, R. I. (2014). Formalization as a method of studying legal phenomena. Visnyk Natsionalnoho universytetu "Lvivska politekhnika". Yurydychni nauky, 810, 86–93.
Mahmoud, M. Y., Felty, A. P. (2017). Quantum Programming Language in a Linear Logic. 1–32. Available at: http://www.site.uottawa.ca/~afelty/dist/HybridProtoQuipper17.pdf
Bessmertnyi, I. A. (2010). Iskusstvennyi intellekt [Artificial Intelligence]. Saint Petersburg: SPbGU ITMO, 132.
##submission.downloads##
Опубліковано
Номер
Розділ
Ліцензія
Авторське право (c) 2018 Maksim Kukhar, Konstantin Meteshkin
Ця робота ліцензується відповідно до Creative Commons Attribution 4.0 International License.
Наше видання використовує положення про авторські права Creative Commons CC BY для журналів відкритого доступу.
Автори, які публікуються у цьому журналі, погоджуються з наступними умовами:
1. Автори залишають за собою право на авторство своєї роботи та передають журналу право першої публікації цієї роботи на умовах ліцензії Creative Commons CC BY, котра дозволяє іншим особам вільно розповсюджувати опубліковану роботу з обов'язковим посиланням на авторів оригінальної роботи та першу публікацію роботи у цьому журналі.
2. Автори мають право укладати самостійні додаткові угоди щодо неексклюзивного розповсюдження роботи у тому вигляді, в якому вона була опублікована цим журналом (наприклад, розміщувати роботу в електронному сховищі установи або публікувати у складі монографії), за умови збереження посилання на першу публікацію роботи у цьому журналі.
