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 69
- Downloads 0
EVALUATION OF THE CORRELATION OF OXYGEN EXTRACTION COEFFICIENT AND THE INDEX OF THE TOTAL PERIPHERAL RESISTANCE IN CONDUCTING ARTIFICIAL BLOOD CIRCULATION
Purpose. To evaluate the relationship between oxygen extraction coefficient and index of total peripheral resistance of blood vessels during artificial circulation. Methodology. We have derived and justified formula for...
FEATURES OF METAL MATERIALS FOR STENTS PRODUCTION
Purpose. To review and analise the properties of common metallic materials for the removal of stents and coverage of the most important stages of their production; the calculation and evaluation of the structural stren...
FEATURES OF FORMATION OF UKRAINE'S INNOVATION POLICY TOWARDS EU ACCESSION
ntries and comparing their respective indices of global competitiveness. Methodology. To achieve the objectives in the scientific work general scientific and practical methods, mathematical statistics, data analysis rese...
PROFESSIONAL TRAINING OF FUTURE PSYCHOLOGISTS CONSIDERING CLASSIFICATION OF FIELDS OF THEIR PROFESSIONAL ACTIVITY
Purpose. To study professional training of future psychologists based on the classification of the fields of professional activity. Methodology. The main research methods used are as follows: theoretical-system analysis...
DISTRIBUTION OF PUBLIC PROCUREMENT AS AN INSTRUMENT OF FINANCIAL POLICY IN HIGHER EDUCATION
Purpose. In the article, as a panacea for chronic underfunding of state higher education, it is used a conceptual method, that allows the state to simultaneously both the regulator of relations in the field of higher edu...