Розробка формальної теорії статті земельного кодексу України та її алгоритмізація
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.
Загрузки
Опубликован
Выпуск
Раздел
Лицензия
Copyright (c) 2018 Maksim Kukhar, Konstantin Meteshkin
Это произведение доступно по лицензии Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная.
Наше издание использует положения об авторских правах Creative Commons CC BY для журналов открытого доступа.
Авторы, которые публикуются в этом журнале, соглашаются со следующими условиями:
1. Авторы оставляют за собой право на авторство своей работы и передают журналу право первой публикации этой работы на условиях лицензии Creative Commons CC BY, которая позволяет другим лицам свободно распространять опубликованную работу с обязательной ссылкой на авторов оригинальной работы и первую публикацию работы в этом журнале.
2. Авторы имеют право заключать самостоятельные дополнительные соглашения, которые касаются неэксклюзивного распространения работы в том виде, в котором она была опубликована этим журналом (например, размещать работу в электронном хранилище учреждения или публиковать в составе монографии), при условии сохранения ссылки на первую публикацию работы в этом журнале .
