Методи проектування агентних систем базовані на формальних моделях
eKMAIR
Переглянути архів Інформація| Поле | Співвідношення | |
| Creator |
Глибовець, Андрій
Глибовец, Андрей Glybovets, Andriy |
|
| Date |
2012-12-12T09:49:39Z
2012-12-12T09:49:39Z 2008 |
|
| Identifier |
Глибовець А. М. Методи проектування агентних систем базовані на формальних моделях / Глибовець А. М. // Теоретичні та прикладні аспекти побудови програмних систем: TAAPSD'2008: міжнар. конф.: тези доп., м. Київ, Чернігів, 22-26 верес. 2008 р. = Theoretical and applied aspects of program systems development - TAAPSD'2008 / Ф-т інформатики Нац. ун-ту "Києво-Могилянська академія", Ф-т кібернетики Київ. нац. ун-ту імені Тараса Шевченка, Ін-т програмних систем НАН України. Чернігів. держ. технолог. ун-т. - [К.: Пульсари, 2008]. - Ч. 1. - С. 34-36.
http://www.ekmair.ukma.kiev.ua/handle/123456789/1870 |
|
| Description |
Дослідження в галузі формальних моделей для агентних систем спрямовані на те щоб представити та зрозуміти властивості систем за допомогою логічних формалізмів, які описують розумові стани окремих агентів та можливі взаємодії у системі. Для опису та моделювання використовуються логіки віри, або інші модальні логіки, як-от темпоральна логіка. В останніх дослідженнях, для представлення соціальних властивостей, як-от коаліцій агентів, преференцій та ігрових властивостей також використовуються логічні формалізми. Мета даної роботи - дослідження формальних моделей агентів, їх місце у проектуванні агентно-орієнтованих систем, визначення моделей та їх використання на стадії проектування агентної системи в межах життєвого циклу такої системи.
|
|
| Language |
ua
|
|
| Subject |
логічні формалізми
програмування логіка віри темпоральна логіка агентна система |
|
| Title |
Методи проектування агентних систем базовані на формальних моделях
|
|
| Type |
Conference materials
|
|