Моделирование и анализ информационных систем
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Модел. и анализ информ. систем:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Моделирование и анализ информационных систем, 2013, том 20, номер 6, страницы 10–21 (Mi mais339)  
Общие знания в хорошо структурированных системах с абсолютной памятью

Н. О. Гаранина

Институт систем информатики им. А. П. Ершова СО РАН, 630090, Россия, г. Новосибирск, проспект Лаврентьева, 6
PDF полного текста (456 kB)
Список литературы:
PDF
HTML
Аннотация: В данной работе исследуется задача проверки моделей для логики общих знаний и неподвижных точек $\mu$PLC$_n$ в хорошо структурированных мультиагентных системах с абсолютной памятью. Показано, что среда с абсолютной памятью, порожденная хорошо структурированной средой и снабженная специальным PRS-порядком, образует хорошо структурированную среду. Из этого следует, что проверка моделей для дизъюнктивного фрагмента $\mu$PLC$_n$ разрешима.
Ключевые слова: логика общих знаний, мультиагентные системы с абсолютной памятью, хорошо структурированные системы, проверка моделей.
Поступила в редакцию: 22.11.2013
Тип публикации: Статья
УДК: 517.51+514.17
Образец цитирования: Н. О. Гаранина, “Общие знания в хорошо структурированных системах с абсолютной памятью”, Модел. и анализ информ. систем, 20:6 (2013), 10–21
Цитирование в формате AMSBIB
\RBibitem{Gar13}
\by Н.~О.~Гаранина
\paper Общие знания в хорошо структурированных системах с абсолютной памятью
\jour Модел. и анализ информ. систем
\yr 2013
\vol 20
\issue 6
\pages 10--21
\mathnet{http://mi.mathnet.ru/mais339}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mais339
  • https://www.mathnet.ru/rus/mais/v20/i6/p10
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Моделирование и анализ информационных систем
    Статистика просмотров:
    Страница аннотации:211
    PDF полного текста:108
    Список литературы:46
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024