Geodesic
On methods in the verification and elaboration of development programs for agricultural territories
Modelirovanie i analiz informacionnyh sistem, Tome 25 (2018) no. 5, pp. 481-490.

Voir la notice de l'article provenant de la source Math-Net.Ru

Nowadays, the methods of program-targeted management for the development of various socio-economic systems of complex structure, such as agricultural areas, have become universal. 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 developed disciplines in theoretical programming. In this paper, in order to solve the problem of verification of development programs for agricultural territories, a structural scheme of the program is first constructed, through which the axiomatic theory is created, using Hoare's algorithmic logic system. The main problem in the construction of the axiomatic theory is the development of the axioms of the theory reflecting the 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 probability of some Hoare triplet, according to the initial and target conditions of the program. For the task of elaboration of the right development programs, the mechanism for constructing a domain model using the PDDL family description languages is described. 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, it is shown how on the described model with the help of intelligent planners, including temporal planners such as OPTIC, solutions to the targets of development programs can be automatically built. Based on expert knowledge and activity standards, a model of an agricultural territory is constructed, a brief description of which is given in the work. The conducted experiments showed the effectiveness of the proposed approach for the development of proper development programs.
Keywords: development programs, verification of development programs, development of proper development programs, Hoare's logic, PDDL language, intelligent planners, model of agricultural territories. 
@article{MAIS_2018_25_5_a2,
     author = {J. Vega Vice and V. Yu. Mikhailov},
     title = {On methods in the verification and elaboration of development programs for agricultural territories},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {481--490},
     publisher = {mathdoc},
     volume = {25},
     number = {5},
     year = {2018},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2018_25_5_a2/}
}
TY  - JOUR
AU  - J. Vega Vice
AU  - V. Yu. Mikhailov
TI  - On methods in the verification and elaboration of development programs for agricultural territories
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2018
SP  - 481
EP  - 490
VL  - 25
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2018_25_5_a2/
LA  - ru
ID  - MAIS_2018_25_5_a2
ER  - 
%0 Journal Article
%A J. Vega Vice
%A V. Yu. Mikhailov
%T On methods in the verification and elaboration of development programs for agricultural territories
%J Modelirovanie i analiz informacionnyh sistem
%D 2018
%P 481-490
%V 25
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2018_25_5_a2/
%G ru
%F MAIS_2018_25_5_a2
J. Vega Vice; V. Yu. Mikhailov. On methods in the verification and elaboration of development programs for agricultural territories. Modelirovanie i analiz informacionnyh sistem, Tome 25 (2018) no. 5, pp. 481-490. http://geodesic.mathdoc.fr/item/MAIS_2018_25_5_a2/

[1] Hoare C. A.R., “An Axiomatic Basis for Computer Programming”, Communications of the ACM, 12:10 (1969), 576–580 | DOI | MR | Zbl

[2] McDermott D. V., PDDL—The Planning Domain Definition Language, Tech. Rep. TR-98–003/DCS TR-1165, Yale Center for Computational Vision and Control, 1998

[3] Coles A. J. et al., “Temporal Planning in Domains with Linear Processes”, Proceedings of the 21st International Joint Conference on Artificial Intelligence, 2009, 1671–1676

[4] Vargas Rodriguez H. et al., “Methodology for the use and social handling of the resource land as a contribution to the sustainable local development”, Knowledge management and local development magazine – CEDAR/UNAH, 1 (2014), 34–38 (in Spanish)

[5] Helmert M., An Introduction to PDDL, Tech. rep., https://www.cs.toronto.edu/s̃heila/2542/s14/A1/introtopddl2.pdf

[6] Fikes R., Nilsson N., “STRIPS: a new approach to the application of theorem proving to problem solving”, Artificial Intelligence, 2 (1971), 189–208 | DOI | Zbl

[7] Gerevini A., Long D., Plan constraints and preferences in PDDL3, Tech. Rep., Dept. of Electronics for Automation, University of Brescia, Italy, 2005

[8] Cresswell S., Coddington A., “Compilation of LTL goal formulas into PDDL”, Proceedings of the 16-th European Conference on Artificial Intelligence, 2004, 985–986

[9] Coles A. J. et al., “COLIN: Planning with Continuous Linear Numeric Change”, Journal of Artificial Intelligence Research, 44:1 (2012), 1–96 | DOI | MR | Zbl

[10] OPTIC: Optimising Preferences and Time-Dependent Costs, https://nms.kcl.ac.uk/planning/software/optic.html

[11] Fox M., Long D., “PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains”, Journal of Artificial Intelligence Research, 20:1 (2003), 61–124 | DOI | Zbl

[12] Kategorii prigodnocti zemel (in Russian)