On Methods in the Verification and Elaboration of Development Programs for Agricultural Territories
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...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Yaroslavl State University
2018-10-01
|
| Series: | Моделирование и анализ информационных систем |
| Subjects: | |
| Online Access: | https://www.mais-journal.ru/jour/article/view/744 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849401156942430208 |
|---|---|
| author | Jorge Vega Vice Valery Mikhailov |
| author_facet | Jorge Vega Vice Valery Mikhailov |
| author_sort | Jorge Vega Vice |
| collection | DOAJ |
| description | 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. |
| format | Article |
| id | doaj-art-4b5f57ddf55248b2b734458ef838269d |
| institution | Kabale University |
| issn | 1818-1015 2313-5417 |
| language | English |
| publishDate | 2018-10-01 |
| publisher | Yaroslavl State University |
| record_format | Article |
| series | Моделирование и анализ информационных систем |
| spelling | doaj-art-4b5f57ddf55248b2b734458ef838269d2025-08-20T03:37:50ZengYaroslavl State UniversityМоделирование и анализ информационных систем1818-10152313-54172018-10-0125548149010.18255/1818-1015-2018-5-481-490520On Methods in the Verification and Elaboration of Development Programs for Agricultural TerritoriesJorge Vega Vice0Valery Mikhailov1Kazan (Volga region) Federal University.Kazan (Volga region) Federal University.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.https://www.mais-journal.ru/jour/article/view/744development programsverification of development programsdevelopment of proper development programshoare’s logicpddl languageintelligent plannersmodel of agricultural territories |
| spellingShingle | Jorge Vega Vice Valery Mikhailov On Methods in the Verification and Elaboration of Development Programs for Agricultural Territories Моделирование и анализ информационных систем development programs verification of development programs development of proper development programs hoare’s logic pddl language intelligent planners model of agricultural territories |
| title | On Methods in the Verification and Elaboration of Development Programs for Agricultural Territories |
| title_full | On Methods in the Verification and Elaboration of Development Programs for Agricultural Territories |
| title_fullStr | On Methods in the Verification and Elaboration of Development Programs for Agricultural Territories |
| title_full_unstemmed | On Methods in the Verification and Elaboration of Development Programs for Agricultural Territories |
| title_short | On Methods in the Verification and Elaboration of Development Programs for Agricultural Territories |
| title_sort | on methods in the verification and elaboration of development programs for agricultural territories |
| topic | development programs verification of development programs development of proper development programs hoare’s logic pddl language intelligent planners model of agricultural territories |
| url | https://www.mais-journal.ru/jour/article/view/744 |
| work_keys_str_mv | AT jorgevegavice onmethodsintheverificationandelaborationofdevelopmentprogramsforagriculturalterritories AT valerymikhailov onmethodsintheverificationandelaborationofdevelopmentprogramsforagriculturalterritories |