eKMAIR

Методи проектування агентних систем базовані на формальних моделях

Show simple item record

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.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 http://ekmair.ukma.edu.ua/handle/123456789/1870
dc.description.abstract Дослідження в галузі формальних моделей для агентних систем спрямовані на те щоб представити та зрозуміти властивості систем за допомогою логічних формалізмів, які описують розумові стани окремих агентів та можливі взаємодії у системі. Для опису та моделювання використовуються логіки віри, або інші модальні логіки, як-от темпоральна логіка. В останніх дослідженнях, для представлення соціальних властивостей, як-от коаліцій агентів, преференцій та ігрових властивостей також використовуються логічні формалізми. Мета даної роботи - дослідження формальних моделей агентів, їх місце у проектуванні агентно-орієнтованих систем, визначення моделей та їх використання на стадії проектування агентної системи в межах життєвого циклу такої системи. uk_UA
dc.language.iso uk 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
dc.status published earlier uk_UA


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Browse

My Account

Statistics