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

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

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



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






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


Журн. СФУ. Сер. Матем. и физ., 2008, том 1, выпуск 4, страницы 399–409 (Mi jsfu40)  

A Hybrid of Tense Logic $S4_T$ and Multi-Agent Logic with Interacting Agents

Vladimir V. Rybakova, Sergej V. Babenyshevb

a Institute of Mathematics, Siberian Federal University
b Department of Computing and Mathematics, Manchester Metropolitan University, Manchester, U.K.

Аннотация: In this paper we introduce a temporal multi-agent logic $S4_T^\mathcal{IA}$, which implements interacting agents. Logic $S4_T^\mathcal{IA}$ is defined semantically as the set of all formulas of the appropriate propositional language that are valid in special Kripke models. The models are based on $S4$-like time frames, i.e., with reflexive and transitive time-accessibility relations. Agents knowledge-accessibility relations $R_i$, defined independently for each individual agent, are $S5$-relations on $R$-time clusters, and interaction of the agents consists of passing knowledge along arbitrary paths of such relations. The key result of the paper is an algorithm for checking satisfiability and recognizing theorems of $S4_T^\mathcal{IA}$. We also prove the effective finite model property for the logic $S4_T^\mathcal{IA}$.

Ключевые слова: multi-agent logics, tense logics, knowledge representation, satisfiability, decidability, inference rules.

Полный текст: PDF файл (330 kB)
Список литературы: PDF файл   HTML файл
УДК: 510.643+517.11
Получена: 10.08.2008
Исправленный вариант: 11.10.2008
Принята: 06.11.2008
Язык публикации: английский

Образец цитирования: Vladimir V. Rybakov, Sergej V. Babenyshev, “A Hybrid of Tense Logic $S4_T$ and Multi-Agent Logic with Interacting Agents”, Журн. СФУ. Сер. Матем. и физ., 1:4 (2008), 399–409

Цитирование в формате AMSBIB
\RBibitem{RybBab08}
\by Vladimir~V.~Rybakov, Sergej~V.~Babenyshev
\paper A Hybrid of Tense Logic $S4_T$ and Multi-Agent Logic with Interacting Agents
\jour Журн. СФУ. Сер. Матем. и физ.
\yr 2008
\vol 1
\issue 4
\pages 399--409
\mathnet{http://mi.mathnet.ru/jsfu40}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/jsfu40
  • http://mi.mathnet.ru/rus/jsfu/v1/i4/p399

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Журнал Сибирского федерального университета. Серия "Математика и физика"
    Просмотров:
    Эта страница:192
    Полный текст:61
    Литература:22
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020