CSEDays. Application 2011

База отдыха «Иволга», Екатеринбург, 24-27 ноября

News subscription
Share:

Reviews

Был удивлен, приездом каких-то людей, которые привезли кучу различных настольных игр — было забавно и весело. В общем, культурная программа, как всегда была на высоте.
-- / CSEDays. Application 2011
Home / CSEDays Application 2011 / Шилов Николай /

Мультиагентные системы в контексте Social Software

Author: Шилов Николай Вячеславович

Распределённая система — это группа децентрализованных взаимодействующих исполнителей. Распределённый алгоритм — это протокол взаимодействия исполнителей в распределённой системе, превращающий децентрализованную группу в коллектив, совместно решающий некоторую задачу. Мультиагентная система — это распределённая система, состоящая из автономных реагирующих агентов, внутренние состояния которых можно характеризовать в терминах «веры» (Believes), «целей» (Desires) и «намерений» (Intentions). Мультиагентный алгоритм — это распределённый алгоритм для мультиагентной системы.

Многие задачи, которые решаются мультиагентными алгоритмами, можно считать примерами задач социо-программной инженерией (Social Software) — сравнительно новой научной парадигмы, суть которой состоит в следующем: в современном мире очень многие социальные требования и процедуры носят очень чётко описанный алгоритмический характер. Поэтому эти требования можно представить в виде (полу)формальных спецификаций, а процедуры — программно (на каком-либо языке программирования или на полуформальном псевдокоде), после чего свойства этих процедур можно исследовать методами анализа и верификации программ. Результаты формального анализа или верификации можно интерпретировать в социально-значимых терминах. И хотя о социо-программной инженерии заговорили только в XXI-веке, первым примером применения этой парадигмы можно считать исследование Х. Штейнхаусом, Б. Кнастером и С. Банахом задачи о разрезании пирога.

В докладе будет рассмотрен пример использования мультиагентных алгоритмов в контексте социо-программной инженерии, который можно назвать задачей о разделе разрезанного пирога, или задачей о рациональных агентах на торговой площади.