Skip to main content
SpringerLink
Log in

On Methods of the Verification and Elaboration of Development Programs for Agricultural Territories

  • Published:
Automatic Control and Computer Sciences Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

REFERENCES

  1. Hoare, C.A.R., An axiomatic basis for computer programming, Commun. ACM, 1969, vol. 12, no. 10, pp. 576–580.

    Article  Google Scholar 

  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, pp. 1671–1676.

  4. Vargas Rodriguez, H., et al., Metodologia para el uso y manejo social del recurso tierra como contribución al desarrollo local sostenible, Revista de Gestión del conocimiento y el desarrollo local—CEDAR/UNAH, 2014, vol. 1, pp. 34–38.

  5. Helmert, M., An Introduction to PDDL, Tech. Rep. https://www.cs.toronto.edu/~sheila/2542/s14/A1/introtopddl2.pdf.

  6. Fikes, R. and Nilsson, N., STRIPS: A new approach to the application of theorem proving to problem solving, Artif. Intell., 1971, vol. 2, pp. 189–208.

    Article  Google Scholar 

  7. Gerevini, A. and Long, D., Plan Constraints and Preferences in PDDL3, Tech. Rep., Dept. of Electronics for Automation, University of Brescia, 2005.

    Google Scholar 

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

  9. Coles, A.J., et al., COLIN: Planning with continuous linear numeric change, J. Artif. Intell. Res., 2012, vol. 44, no. 1, pp. 1–96.

    Article  Google Scholar 

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

  11. Fox, M. and Long, D., PDDL2.1: An extension to PDDL for expressing temporal planning domains, J. Artif. Intell. Res., 2003, vol. 20, no. 1, pp. 61–124.

    Article  Google Scholar 

  12. Land use categories. http://geolike.ru/page/gl_3219.htm.

Download references

Author information

Authors and Affiliations

  1. Kazan (Volga region) Federal University, 420008, Kazan, Russia

    J. L. Vega Vice & V. Y. Mikhailov

Authors
  1. J. L. Vega Vice
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. V. Y. Mikhailov
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to J. L. Vega Vice or V. Y. Mikhailov.

Ethics declarations

The authors declare that they have no conflicts of interest.

Additional information

Translated by K. Lazarev

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Vega Vice, J.L., Mikhailov, V.Y. On Methods of the Verification and Elaboration of Development Programs for Agricultural Territories. Aut. Control Comp. Sci. 53, 676–682 (2019). https://doi.org/10.3103/S0146411619070204

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.3103/S0146411619070204

Keywords:

Search

Navigation