Standard

МАТЕМАТИЧЕСКАЯ МОДЕЛЬ И СПЕЦИФИКАЦИЯ ИНТЕЛЛЕКТУАЛЬНЫХ АГЕНТНЫХ СИСТЕМ. / Бугайченко, Дмитрий Юрьевич.

In: СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ, No. 1, 2006, p. 94-115.

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

Harvard

Бугайченко, ДЮ 2006, 'МАТЕМАТИЧЕСКАЯ МОДЕЛЬ И СПЕЦИФИКАЦИЯ ИНТЕЛЛЕКТУАЛЬНЫХ АГЕНТНЫХ СИСТЕМ', СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ, no. 1, pp. 94-115. <http://elibrary.ru/item.asp?id=13075216>

APA

Бугайченко, Д. Ю. (2006). МАТЕМАТИЧЕСКАЯ МОДЕЛЬ И СПЕЦИФИКАЦИЯ ИНТЕЛЛЕКТУАЛЬНЫХ АГЕНТНЫХ СИСТЕМ. СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ, (1), 94-115. http://elibrary.ru/item.asp?id=13075216

Vancouver

Бугайченко ДЮ. МАТЕМАТИЧЕСКАЯ МОДЕЛЬ И СПЕЦИФИКАЦИЯ ИНТЕЛЛЕКТУАЛЬНЫХ АГЕНТНЫХ СИСТЕМ. СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. 2006;(1):94-115.

Author

Бугайченко, Дмитрий Юрьевич. / МАТЕМАТИЧЕСКАЯ МОДЕЛЬ И СПЕЦИФИКАЦИЯ ИНТЕЛЛЕКТУАЛЬНЫХ АГЕНТНЫХ СИСТЕМ. In: СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. 2006 ; No. 1. pp. 94-115.

BibTeX

@article{39973b4c2b4e4b2c9478d591aa7c61f3,
title = "МАТЕМАТИЧЕСКАЯ МОДЕЛЬ И СПЕЦИФИКАЦИЯ ИНТЕЛЛЕКТУАЛЬНЫХ АГЕНТНЫХ СИСТЕМ",
abstract = "В данной работе развивается метод логической специфи- кации различных свойств мультиагентных систем, позволя- ющий в явном виде формализовать понятие {\textregistered}действие¯, ме- ханизмы недетерминированного поведения внешней среды и кооперации агентов. Основу предложенного метода состав- ляет соединение возможностей динамической логики PDL и логики альтернированного времени ATL, а также адаптация их для спецификации свойств одной из математических мо- делей интеллектуального агента. Чтобы проиллюстрировать возможности метода, мы приводим пример его применения для спецификации простой мультиагентной системы.",
keywords = "мультиагентные системы, формально-логическая спецификация.",
author = "Бугайченко, {Дмитрий Юрьевич}",
year = "2006",
language = "русский",
pages = "94--115",
journal = "СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ",
issn = "1818-9105",
publisher = "Издательство Санкт-Петербургского университета",
number = "1",

}

RIS

TY - JOUR

T1 - МАТЕМАТИЧЕСКАЯ МОДЕЛЬ И СПЕЦИФИКАЦИЯ ИНТЕЛЛЕКТУАЛЬНЫХ АГЕНТНЫХ СИСТЕМ

AU - Бугайченко, Дмитрий Юрьевич

PY - 2006

Y1 - 2006

N2 - В данной работе развивается метод логической специфи- кации различных свойств мультиагентных систем, позволя- ющий в явном виде формализовать понятие ®действие¯, ме- ханизмы недетерминированного поведения внешней среды и кооперации агентов. Основу предложенного метода состав- ляет соединение возможностей динамической логики PDL и логики альтернированного времени ATL, а также адаптация их для спецификации свойств одной из математических мо- делей интеллектуального агента. Чтобы проиллюстрировать возможности метода, мы приводим пример его применения для спецификации простой мультиагентной системы.

AB - В данной работе развивается метод логической специфи- кации различных свойств мультиагентных систем, позволя- ющий в явном виде формализовать понятие ®действие¯, ме- ханизмы недетерминированного поведения внешней среды и кооперации агентов. Основу предложенного метода состав- ляет соединение возможностей динамической логики PDL и логики альтернированного времени ATL, а также адаптация их для спецификации свойств одной из математических мо- делей интеллектуального агента. Чтобы проиллюстрировать возможности метода, мы приводим пример его применения для спецификации простой мультиагентной системы.

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

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

M3 - статья

SP - 94

EP - 115

JO - СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ

JF - СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ

SN - 1818-9105

IS - 1

ER -

ID: 5157252