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