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 63
- Downloads 0
DEVELOPMENT OF THE MODEL FOR NEURAL NETWORKTIME SERIES FORECASTING
Purpose. When forecasting time series, it is vital to study the processes of knowledge hidden in the time series. The current study examined information technology for hidden patterns using neural networks and fuzzy inte...
RESEARCH OF CURRENT MEANS OF COMPENSATING HIGHER HARMONICS OF CURRENT AND CAPACITY IN THREE-PHASE SYSTEMS
Purpose. To investigate the operation of three-phase electric motor of electric networks which is characterized by the absence of such capacity components such as reactive power and variable components of the active capa...
DEFECT FORMATION ON SHELLS WITH ONE-WAY LEDGE WHILE ENLARGING WITH A PROFILED STEPPED INSTRUMENT
Purpose. To analyze the mechanism of formation of defects during the enlarging of hollow forgings with the stepped outer surface and to suggest ways to eliminate them. The article deals with defects formed during and aft...
INFORMATION TECHNOLOGY TO SUPPORT THE PROCESS OF SUPPLYING GAS STATIONS WITH THE PETROLEUM PRODUCTS
Purpose. To increase the efficiency of planning the petroleum products supply to gas stations through developing mathematical models and methods that allow to allocate the resources taking into account the previous deman...
METHODS OF THE GATHERING AND PROCESSING OF CYANEABIOMASS, CAUSING WATER RESERVOIR «BLOOMING»
Purpose. To provide scientific and technical substantiation of methods for the processing of biomass cyanides, in particular, ecological biotechnology for obtaining biogas, biofuels and bio-fertilizers. Methodology.We ha...