Translated by K. Lazarev
Nowadays, the methods of program-targeted management for the development of various socio-economic systems of complex structure, such as agricultural areas, have become ubiquitous. Therefore, the current tasks at hand are the verification of already created development programs and the development of “proper” programs for the development of such systems, by analogy with the verification and development of proper computer programs through advanced disciplines in theoretical programming. In this paper, in order to solve the problem of the verification of development programs for agricultural territories, a structural scheme of the program is first constructed, through which an axiomatic theory is created using the Hoare’s algorithmic logic system. The main problem in the construction of the axiomatic theory is the development of the axioms of the theory that reflect preconditions and effects of the implementation of meaningful actions indicated in the text of the development program. The verification of the development program corresponds to the provability check of some Hoare triplet, according to the initial and target conditions of the program. For the task of elaborating proper development programs, we describe the mechanism for constructing a domain model using the PDDL family description languages. The description of a specific model is purely declarative in nature and consists of descriptions of predicates and actions of the chosen subject area. In this paper, using the described model with the help of intelligent planners, including temporal planners such as OPTIC, we show how to automatically build solutions to the targets of development programs. Based on expert knowledge and industry standards, a model of an agricultural territory is constructed, a brief description of which is given in this work. The conducted experiments showed the effectiveness of the proposed approach for the development of proper development programs.