Вероятностные мультиагентные системы: семантика и верификация

Валиев, М.К. и Дехтярь, М.И. (2008) Вероятностные мультиагентные системы: семантика и верификация. Вестник ТвГУ. Серия: Прикладная математика (4[11]). С. 9-22. ISSN 1995-0136

[thumbnail of 19950136_2008_4_valiev.pdf]

Предварительный просмотр

PDF - Опубликованная версия
317kB

Абстракт

Рассматриваются системы взаимодействующих вероятностных интеллектуальных агентов. У них имеются два источника неопределенности: неопределенность времени передачи сообщений в каналах связи и неопределенность в результатах выполняемых действий. Показано, как таким системам за полиномиальное время могут быть сопоставлены конечные цепи Маркова. Это позволяет перенести известные результаты о верификации динамических свойств конечных цепей Маркова на вероятностные мультиагентные системы.

Абстракт (англ.)

Probabilistic systems of interacting intelligent agents are considered. They have two sources of uncertainty: uncertainty of communication channels and uncertainty of the results of actions. We show how such systems can be polynomially transformed to finite state Markov chains. This allows one to transfer known results on verifying temporal properties of the finite state Markov chains to the probabilistic multi-agent systems of considered type.

Тип объекта:	Статья
Сведения об авторах:	М.К. Валиев, Институт прикладной математики им. М.В.Келдыша РАН, Москва. Михаил Иосифович Дехтярь, Тверской государственный университет, Россия, 170100, г.Тверь, ул.Желябова, 33, кафедра информатики.
Ключевые слова:	мультиагентная система, логическая программа, цепь Маркова, темпоральная логика, верификация, сложность алгоритмов
Ключевые слова (англ.):	multiagent system, Logic program, Markov chain, Temporal logic, Verification, Complexity of algorithms
Категории:	5 Математика. Естественные науки > 51 Математика > 519.6 Вычислительная математика, численный анализ 6 Прикладные науки. Медицина. Техника > 68 Различные отрасли промышленности и ремесла, производящие конечную продукцию. Точная механика. Легкая промышленность > 681 Точная механика > 681.5 Автоматика. Теория, методы расчета и аппаратура систем автоматического управления и регулирования. Техническая кибернетика. > 681.51 Системы автоматического управления (САУ). Кибернетические характеристики систем
Подразделения:	Институты, НИИ > Институт прикладной математики им. М.В.Келдыша РАН Университеты > Тверской государственный университет > Факультеты > ПМиК > Кафедра информатики
ID Code:	569
Deposited On:	08 Янв 2017 08:08
Последнее изменение:	08 Янв 2017 08:08

Repository Staff Only: item control page