LogoTver State University Repository

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

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

[img]
Preview
PDF - Published Version
317kB

Abstract

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

Abstract (en)

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.

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

Repository Staff Only: item control page