DEVELOPMENT OF FORMAL THEORY OF ARTICLES OF THE LAND CODE OF UKRAINE AND ITS ALGORITHMIZATION
Journal Title: Вісник Кременчуцького національного університету імені Михайла Остроградського - Year 2017, Vol 1, Issue 107
Abstract
Purpose. To construct a formal theory that describes the logic of land relations of Article 162 of the Land Code of Ukraine with its further algorithmization and implementation as a programme. Currently, there is an urgent task, which is in the field of ontological engineering. In the field of land management, this task is to integrate knowledge about land relations to transform and present them in the form of mathematical relations or mathematical constructions. Methodology. In the paper, mathematical modeling using the methods of predicate logic, which effectively implement the formalization of land legislation, has been used. In addition, algorithmic methods and programming techniques have been applied. Results. The formal theory has been constructed on the basis of Article 162 of the Land Code of Ukraine. The theorem of this formal theory is written as a condition-action rule. According to the theorem, an algorithm for determining the degraded land has been developed. Originality. In the paper, the predicate calculus for the formalization of the land legislation of Ukraine is used. The formal theory has been constructed on the example of Article 162 of the Land Code of Ukraine. Practicalvalue. As a practical illustration, a program has been developed in the programming language Python. The program determines the permissibility of the content of fluorine, zinc, lead, copper, and nickel in the soil of the land. The result of the program shows whether the land is degraded or usable. Сonclusions. Thus, the paper shows the possibility of a formal representation of land relations in the formal theory, which is used for algorithmization and programming a specific problem. In the future, the research shown in the article can be used in the development of information and management systems in the sphere of land relations of Ukraine or reconstructed for other fields of human activity.
Authors and Affiliations
М. Kukhar
Keywords
Related Articles
- EP ID EP660626
- DOI -
- Views 66
- Downloads 0
DEVELOPMENT OF A CONCEPTUAL MODEL FOR THE DEVELOPMENT OF ORGANIZATIONAL SUPPORT OF INDUSTRIAL ENTERPRISE INNOVATIVE ACTIVITY
Purpose. To development the model for organization support of innovative activity at the enterprise constructing and validation using the methods of economic and mathematical modeling. Methodology. The regression analys...
STRUCTURE AND CONTENT OF STEP-BY-STEP TRAINING OF EXPERTS IN THE FIELD OF TOURISM (USING THE EXAMPLE OF EDUCATIONAL INSTITUTIONS OF TURKEY)
Purpose. To reveal pedagogical conditions and the essence of gradual training for tourism in Turkey and the possibility of their further effective use in the educational process of domestic higher education. Methodology....
SYSTEM OF METHODS OF INTENSIFICATION IN INTELLIGENT TECHNOLOGIES OF PLASTIC DEFORMATION
Purpose. The analysis of methods for intensifying the processes of pressure treatment is given. The most effective methods including the effects ofan additional force are identified. The necessity of applying the gauge...
MODELS AND METHOD OF AUTOMATED CHOICE OF ROUTES ELECTRONIC DOCUMENTS AT THE DEPARTMENTAL LEVEL
Purpose. An approach to automating the routing procedure in the electronic document management system is pro-posed. The criteria for choosing a route based on the thematic principle and on the frequency of regular contac...
PRODUCTION DEVELOPMENT OF HOT-ROLLED COILS OF STEEL GRADE X52M FOR FURTHER MANUFACTURING OF PIPES IN ACCORDANCE WITH API-5L AT ROLLING "1700" PJSC "ILYICH IRON AND STEEL WORKS"
Purpose. The article aims to develop the manufacturing process and production of hot-rolled coils of steel grade X52M by the method of thermomechanical controlled rolling at rolling mill 1700 facilities for further manuf...