Формально-логическая спецификация мультиагентных систем реального времени.

Standard

Формально-логическая спецификация мультиагентных систем реального времени. / Бугайченко, Д.Ю.; Соловьев, И.П.

In: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 1: МАТЕМАТИКА, МЕХАНИКА, АСТРОНОМИЯ, Vol. 1, No. 2, 2007, p. 49-57.

Research output: Contribution to journal › Article › peer-review

Author

Бугайченко, Д.Ю. ; Соловьев, И.П. / Формально-логическая спецификация мультиагентных систем реального времени. In: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 1: МАТЕМАТИКА, МЕХАНИКА, АСТРОНОМИЯ. 2007 ; Vol. 1, No. 2. pp. 49-57.

BibTeX

@article{00c1dc83f4e14f2f9022350f730c8761,

title = "Формально-логическая спецификация мультиагентных систем реального времени.",

abstract = "Мы представляем формально-логический метод спецификации свойств мультиагентных систем реального времени, позволяющий в явном виде формализовать понятие действия агента, недетерминированный метод взаимодействия с внешней средой, механизм кооперации агентов, а также ограничения на время реакции системы. Предлагаемый метод расширяет возможности динамической логики PDL и логики альтернированного времени ATL, вводя новые конструкции для описания временных ограничений, предоставляя тем самым естественный формализм спецификации математической модели мультиагентной системы. Задача верификации системы по спецификации для предложенного формализма разрешима за полиномиальное время.",

keywords = "мультиагентный системы, формально-логическая спецификация.",

author = "Д.Ю. Бугайченко and И.П. Соловьев",

year = "2007",

language = "русский",

volume = "1",

pages = "49--57",

journal = "ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ",

issn = "1025-3106",

publisher = "Издательство Санкт-Петербургского университета",

number = "2",

}

RIS

TY - JOUR

T1 - Формально-логическая спецификация мультиагентных систем реального времени.

AU - Бугайченко, Д.Ю.

AU - Соловьев, И.П.

PY - 2007

Y1 - 2007

N2 - Мы представляем формально-логический метод спецификации свойств мультиагентных систем реального времени, позволяющий в явном виде формализовать понятие действия агента, недетерминированный метод взаимодействия с внешней средой, механизм кооперации агентов, а также ограничения на время реакции системы. Предлагаемый метод расширяет возможности динамической логики PDL и логики альтернированного времени ATL, вводя новые конструкции для описания временных ограничений, предоставляя тем самым естественный формализм спецификации математической модели мультиагентной системы. Задача верификации системы по спецификации для предложенного формализма разрешима за полиномиальное время.

AB - Мы представляем формально-логический метод спецификации свойств мультиагентных систем реального времени, позволяющий в явном виде формализовать понятие действия агента, недетерминированный метод взаимодействия с внешней средой, механизм кооперации агентов, а также ограничения на время реакции системы. Предлагаемый метод расширяет возможности динамической логики PDL и логики альтернированного времени ATL, вводя новые конструкции для описания временных ограничений, предоставляя тем самым естественный формализм спецификации математической модели мультиагентной системы. Задача верификации системы по спецификации для предложенного формализма разрешима за полиномиальное время.

KW - мультиагентный системы

KW - формально-логическая спецификация.

M3 - статья

VL - 1

SP - 49

EP - 57

JO - ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ

JF - ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ

SN - 1025-3106

IS - 2

ER -

ID: 5157413