О методах верификации и разработки программ развития сельскохозяйственных территорий


https://doi.org/10.18255/1818-1015-2018-5-481-490

Полный текст:


Аннотация

В настоящее время повсеместными стали методы программно-целевого управления развитием различных социально-экономических систем сложной структуры, например, таких как территории сельскохозяйственного назначения. Поэтому актуальными задачами являются верификация уже созданных программ развития и разработка «правильных» программ развития таких систем, по аналогии с верификацией и разработкой правильных компьютерных программ – развитыми дисциплинами в теоретическом программировании. В данной работе для решения задачи верификации программ развития сельскохозяйственных территорий сначала строится структурная схема программы, по которой создается аксиоматическая теория, использующая аппарат алгоритмических логик Хоара. Основной проблемой при построении аксиоматической теории является разработка аксиом теории, отражающих предусловия и эффекты выполнения содержательных действий, указанных в тексте программы развития. Верификация программы развития соответствует проверке доказуемости некоторой тройки Хоара, соответствующей начальным и целевым условиям программы. Для задачи разработки правильных программ развития описывается механизм построения модели предметной области с использованием языков описания моделей семейства PDDL. Описание конкретной модели имеет чисто декларативный характер и представляет собой набор описаний предикатов и действий выбранной предметной области. Показывается, как на описанной модели с помощью интеллектуальных планировщиков, включая темпоральные планировщики типа OPTIC, автоматически строить решения целевых задач программ развития. На основе экспертных знаний и отраслевых стандартов построена модель сельскохозяйственной территории, краткое описание которой приводится в работе. Проведенные эксперименты показали эффективность предлагаемого подхода к разработке правильных программ развития.


Об авторах

Хорхе Луис Вега Висе
Казанский (Приволжский) федеральный университет
Россия

 аспирант.

Казань.



Валерий Юрьевич Михайлов
Казанский (Приволжский) федеральный университет.
Россия

канд. физ.-мат. наук, доцент.

Казань.



Список литературы

1. Hoare C.A.R., "An Axiomatic Basis for Computer Programming", Communications of the ACM, 12:10 (1969), 576-580.

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., “Metodolog´ia para el uso y manejo social del recurso tierra como contribuci´on al desarrollo local sostenible”, Revista de Gesti´on del conocimiento y el desarrollo local – CEDAR/UNAH, 1 (2014), 34–38; [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/ ~sheila/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.

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.

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.

12. Категории пригодности земель, http://geolike.ru/page/gl_3219.htm.


Дополнительные файлы

Для цитирования: Вега Висе Х.Л., Михайлов В.Ю. О методах верификации и разработки программ развития сельскохозяйственных территорий. Моделирование и анализ информационных систем. 2018;25(5):481-490. https://doi.org/10.18255/1818-1015-2018-5-481-490

For citation: Vega Vice J., Mikhailov V. On Methods in the Verification and Elaboration of Development Programs for Agricultural Territories. Modeling and Analysis of Information Systems. 2018;25(5):481-490. (In Russ.) https://doi.org/10.18255/1818-1015-2018-5-481-490

Просмотров: 136

Обратные ссылки

  • Обратные ссылки не определены.


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)