Рассмотрение последовательных вероятностных мультиагентных систем. Вычисление семантики вероятностной логической программы. Глобальное поведение ВМАС. Определение Марковских процессов принятия решений. Верификация динамических свойств вероятностных МАС.
При низкой оригинальности работы "О моделировании вероятностных мультиагентных систем Марковскими системами", Вы можете повысить уникальность этой работы до 80-100%
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.
Вы можете ЗАГРУЗИТЬ и ПОВЫСИТЬ уникальность своей работы
