Семинар лаборатории ПОИС: Знания и мнения агентов в облаке
На очередном заседании нашего семинара выступил старший научный сотрудник лаборатории теоретического программирования Института систем информатики им. А.П. Ершова Шилов Николай. Тема его доклада: «Знания и мнения агентов в облаке»
Аннотация:
Распределённая система – это группа децентрализованных взаимодействующих исполнителей. Распределённый алгоритм – это протокол взаимодействия исполнителей в распределённой системе, превращающий децентрализованную группу в коллектив, совместно решающий некоторую задачу. Мультиагентная система – это распределённая система, состоящая из автономных реагирующих агентов, внутренние состояния которых можно характеризовать в терминах «веры» (Believes), целей (Desires) и намерений (Intentions). Мультиагентный алгоритм – это распределённый алгоритм для мультиагентной системы.
Многие задачи, которые решаются мультиагентными алгоритмами, можно считать примерами задач социо-программной инженерией (Social Software) – сравнительно новой научной парадигмы, суть которой состоит в следующем. В современном мире очень многие социальные требования и процедуры носят очень чётко описанный алгоритмический характер. Поэтому эти требования можно представить в виде (полу)формальных спецификаций, а процедуры – программно (на каком-либо языке программирования или на полуформальном псевдокоде), после чего свойства этих процедур можно исследовать методами анализа и верификации программ. Ну а результаты формального анализа или верификации можно интерпретировать в социально-значимых терминах. И хотя о социо-программной инженерии заговорили только в XXI-веке, но первым примером применения этой парадигмы можно считать исследование Х. Штейнхаусом, Б. Кнастером и С. Банахом задачи о разрезании пирога.
В докладе рассмотрен пример использования мультиагентных алгоритмов в контексте социо-программной инженерии, который можно назвать или задачей о разделе разрезанного пирога, или задачей о рациональных агентах на торговой площади. "Пирог" представляет в данном случае ресурсный центр или облако доступных ресурсов, за которые конкурируют агенты.