Розробка формальної теорії статті земельного кодексу України та її алгоритмізація
DOI:
https://doi.org/10.15587/2313-8416.2018.121695Słowa kluczowe:
формалізація, логіка предикатів, алгоритм, програма, продукційні правила, земельні відносини, аксіомаAbstrakt
В роботі представлена актуальна задача використання онтологічного інжинірингу земельних відносин. На прикладі статі 162д Земельного кодексу України, показана можливість побудови математичних конструкцій, які характеризують земельні відношення, за допомогою логіки предикатів. Сформована формальна теорія на основі логіки предикатів та продукційних правил задачі визначення деградованості земельної ділянки і їх алгоритмізація
Bibliografia
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##
Opublikowane
Numer
Dział
Licencja
Copyright (c) 2018 Maksim Kukhar, Konstantin Meteshkin
Utwór dostępny jest na licencji Creative Commons Uznanie autorstwa 4.0 Międzynarodowe.
Our journal abides by the Creative Commons CC BY copyright rights and permissions for open access journals.
Authors, who are published in this journal, agree to the following conditions:
1. The authors reserve the right to authorship of the work and pass the first publication right of this work to the journal under the terms of a Creative Commons CC BY, which allows others to freely distribute the published research with the obligatory reference to the authors of the original work and the first publication of the work in this journal.
2. The authors have the right to conclude separate supplement agreements that relate to non-exclusive work distribution in the form in which it has been published by the journal (for example, to upload the work to the online storage of the journal or publish it as part of a monograph), provided that the reference to the first publication of the work in this journal is included.
