Методи проектування агентних систем базовані на формальних моделях
| dc.contributor.author | Глибовець, Андрій | uk |
| dc.date.accessioned | 2012-12-12T09:49:39Z | |
| dc.date.available | 2012-12-12T09:49:39Z | |
| dc.date.issued | 2008 | |
| dc.description.abstract | Дослідження в галузі формальних моделей для агентних систем спрямовані на те щоб представити та зрозуміти властивості систем за допомогою логічних формалізмів, які описують розумові стани окремих агентів та можливі взаємодії у системі. Для опису та моделювання використовуються логіки віри, або інші модальні логіки, як-от темпоральна логіка. В останніх дослідженнях, для представлення соціальних властивостей, як-от коаліцій агентів, преференцій та ігрових властивостей також використовуються логічні формалізми. Мета даної роботи - дослідження формальних моделей агентів, їх місце у проектуванні агентно-орієнтованих систем, визначення моделей та їх використання на стадії проектування агентної системи в межах життєвого циклу такої системи. | uk_UA |
| dc.identifier.citation | Глибовець А. М. Методи проектування агентних систем базовані на формальних моделях / Глибовець А. М. // Теоретичні та прикладні аспекти побудови програмних систем: TAAPSD'2008: міжнар. конф.: тези доп., м. Київ, Чернігів, 22-26 верес. 2008 р. = Theoretical and applied aspects of program systems development - TAAPSD'2008 / Ф-т інформатики Нац. ун-ту "Києво-Могилянська академія", Ф-т кібернетики Київ. нац. ун-ту імені Тараса Шевченка, Ін-т програмних систем НАН України. Чернігів. держ. технолог. ун-т. - [К.: Пульсари, 2008]. - Ч. 1. - С. 34-36. | uk_UA |
| dc.identifier.uri | https://ekmair.ukma.edu.ua/handle/123456789/1870 | |
| dc.language.iso | uk | uk_UA |
| dc.status | published earlier | uk_UA |
| dc.subject | логічні формалізми | uk_UA |
| dc.subject | програмування | uk_UA |
| dc.subject | логіка віри | uk_UA |
| dc.subject | темпоральна логіка | uk_UA |
| dc.subject | агентна система | uk_UA |
| dc.title | Методи проектування агентних систем базовані на формальних моделях | uk_UA |
| dc.type | Conference materials | uk_UA |