DOI: https://doi.org/10.15587/2313-8416.2018.121695

Розробка формальної теорії статті земельного кодексу України та її алгоритмізація

Maksim Kukhar, Konstantin Meteshkin

Аннотация


В роботі представлена актуальна задача використання онтологічного інжинірингу земельних відносин. На прикладі статі 162д Земельного кодексу України, показана можливість побудови математичних конструкцій, які характеризують земельні відношення, за допомогою логіки предикатів. Сформована формальна теорія на основі логіки предикатів та продукційних правил задачі визначення деградованості земельної ділянки і їх алгоритмізація


Ключевые слова


формалізація; логіка предикатів; алгоритм; програма; продукційні правила; земельні відносини; аксіома

Полный текст:

PDF (Українська)

Литература


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.


Пристатейная библиография ГОСТ


Lam P., Mitchell J., Sundaram S. A. Formalization of HIPAA for a Medical Messaging System. 2010. P. 1–13. URL: https://theory.stanford.edu/~jcm/papers/hipaa_formalization.pdf

Киселева О. М., Селякова С. М. Cинтез базы знаний экспертной системы диагностики и лечения гриппа // Информационные управляющие системы и компьютерный мониторинг. 2013. № 10. С. 563–567.

Киселева О. М., Селякова С. М. Формальные модели дифференциальной диагностики функции носового дыхания // Математическое моделирование. Системный анализ. Принятие решений. 2014. № 2 (83). С. 61–65.

Метешкин К. А. Краеугольные камни пирамиды знаний научно-педагогических и педагогических работников. ХХІ век. Харьков: ХНАГХ, 2012. 335 с.

Капустина А. И., Пальчунов Д. Е. Разработка онтологической модели тарифов и услуг сотовой связи, основанной на логически полных определениях понятий // Вестник НГУ Серия: Информационные технологии. 2017. T. 15, № 2. С. 34–46.

Hidayat А. Formalization of sharia law in indonesia // South East Asia Journal of Contemporary Business, Economics and Law. 2013. Vol. 3, Issue 3. P. 27–31.

Манько Д. Г. Технології формалізації права // Науковий вісник Міжнародного гуманітарного університету. Серія: Юриспруденція. 2013. № 5. С. 18–21.

Радейко Р. І. Формалізація як метод дослідження правових явищ // Вісник Національного університету "Львівська політехніка". Юридичні науки. 2014. № 810. С. 86–93.

Mahmoud M. Y., Felty A. P. Quantum Programming Language in a Linear Logic. 2017. P. 1–32. URL: http://www.site.uottawa.ca/~afelty/dist/HybridProtoQuipper17.pdf

Бессмертный И. А. Искусственный интеллект. Санкт Петербург: СПбГУ ИТМО, 2010. 132 с.







Copyright (c) 2018 Maksim Kukhar, Konstantin Meteshkin

Creative Commons License
Эта работа лицензирована Creative Commons Attribution 4.0 International License.

ISSN 2313-8416 (Online), ISSN 2313-6286 (Print)