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

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

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


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




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

Научно-технические ведомости Санкт-Петербургского политехнического университета. Информатика. Телекоммуникации. Управление, 2014, выпуск 1(188), страницы 69–75 (Mi ntitu9)  
Математическое моделирование: методы, алгоритмы, технологии

Eleusis: perfect recall for inductive reasoning
[Элевсин: абсолютная память для индуктивного вывода]

N. O. Garanina

A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences
PDF полного текста (263 kB)
URL: https://ntv.spbstu.ru/telecom/article/T1.188.2014_09/
Аннотация: Формализован вариант индуктивной карточной игры Элевсин. Моделью игры является интерпретированная система с агентами с абсолютной памятью, реализующими игроков и раздающего. Особенностью мультиагентной системы Элевсин является то, что агенты должны вычислить поведение самой системы, а не какую-либо статическую информацию. Некоторые правила игры Элевсин и свойства построенной мультиагентной системы выражены формулами логики знаний и действий Act-CTL-K$_n$.
Ключевые слова: мультиагентные системы, логика знаний, элевсин, абсолютная память, интерпретированные системы.
Тип публикации: Статья
УДК: 164=111
Язык публикации: английский
Образец цитирования: Н. О. Гаранина, “Eleusis: perfect recall for inductive reasoning”, Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2014, no. 1(188), 69–75
Цитирование в формате AMSBIB
\RBibitem{Gar14}
\by Н.~О.~Гаранина
\paper Eleusis: perfect recall for inductive reasoning
\jour Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление
\yr 2014
\issue 1(188)
\pages 69--75
\mathnet{http://mi.mathnet.ru/ntitu9}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/ntitu9
  • https://www.mathnet.ru/rus/ntitu/y2014/i1/p69
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Информатика, телекоммуникации и управление
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025