Методи проектування агентних систем базовані на формальних моделях
Loading...
Date
2008
Authors
Глибовець, Андрій
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Дослідження в галузі формальних моделей для агентних систем спрямовані на те щоб представити та зрозуміти властивості систем за допомогою логічних формалізмів, які описують розумові стани окремих агентів та можливі взаємодії у системі. Для опису та моделювання використовуються логіки віри, або інші модальні логіки, як-от темпоральна логіка. В останніх дослідженнях, для представлення соціальних властивостей, як-от коаліцій агентів, преференцій та ігрових властивостей також використовуються логічні формалізми. Мета даної роботи - дослідження формальних моделей агентів, їх місце у проектуванні агентно-орієнтованих систем, визначення моделей та їх використання на стадії проектування агентної системи в межах життєвого циклу такої системи.
Description
Keywords
логічні формалізми, програмування, логіка віри, темпоральна логіка, агентна система
Citation
Глибовець А. М. Методи проектування агентних систем базовані на формальних моделях / Глибовець А. М. // Теоретичні та прикладні аспекти побудови програмних систем: TAAPSD'2008: міжнар. конф.: тези доп., м. Київ, Чернігів, 22-26 верес. 2008 р. = Theoretical and applied aspects of program systems development - TAAPSD'2008 / Ф-т інформатики Нац. ун-ту "Києво-Могилянська академія", Ф-т кібернетики Київ. нац. ун-ту імені Тараса Шевченка, Ін-т програмних систем НАН України. Чернігів. держ. технолог. ун-т. - [К.: Пульсари, 2008]. - Ч. 1. - С. 34-36.