Abstract:
Дослідження в галузі формальних моделей для агентних систем спрямовані на те щоб представити та зрозуміти властивості систем за допомогою логічних формалізмів, які описують розумові стани окремих агентів та можливі взаємодії у системі. Для опису та моделювання використовуються логіки віри, або інші модальні логіки, як-от темпоральна логіка. В останніх дослідженнях, для представлення соціальних властивостей, як-от коаліцій агентів, преференцій та ігрових властивостей також використовуються логічні формалізми. Мета даної роботи - дослідження формальних моделей агентів, їх місце у проектуванні агентно-орієнтованих систем, визначення моделей та їх використання на стадії проектування агентної системи в межах життєвого циклу такої системи.