Рассмотрение последовательных вероятностных мультиагентных систем. Вычисление семантики вероятностной логической программы. Глобальное поведение ВМАС. Определение Марковских процессов принятия решений. Верификация динамических свойств вероятностных МАС.
Аннотация к работе
A системы имеется внутренняя вероятностная база данных (ВБД) IA, содержащая конечное множество аннотированных базисных (ground) атомов вида q(c1,…, ck):p, где q - предикатный символ, c1,…, ck - константы, PI[0,1] - степень уверенности в факте q(c1,…, ck) (или вероятность этого факта). Через PAB(t) обозначим вероятность того, что B получит сообщение, посланное ему агентом Здесь LPA - вероятностная логическая программа, которая в каждый момент времени определяет в зависимости от текущего локального состояния IMA некоторое множество PERMA аннотированных базисных действий, разрешенных к выполнению на этом шаге (более точно PERMA будет определено ниже в п. H имеет вид a(t1,…, tm), где t1,…, tm - либо константы, либо переменные, PI[0,1]; Li - либо аннотированные атомы действий вида a(t1,..., tm):p, либо (экстенсиональные) аннотированные атомы с предикатами из сигнатуры внутренней БД вида q(t1,..., tk):p, либо литералы сообщений вида msg(Sender, A, Msg) или not msg(Sender, A, Msg), либо атомы с сигнатурой из некоторых вычислимых в полиномиальное время встроенных предикатов. После этого формируется множество Obli выполняемых агентом Ai действий: а именно, для каждого аннотированного атома a(c1,…, cm):p из Sel(Permi) действие a(c1,…, cm) помещается в Obli с вероятностью p.