1. Главная
  2. Ресурсы
  3. Библиотечный поиск
  4. Журнал Сибирского федерального университета. Математика и физика
  5. Выпуск 2008 г. Том 1. № 4

A Hybrid of Tense Logic S4T and Multi-Agent Logic with Interacting Agents
статья из журнала

Полный текстЗаказать копию статьи
База данных: Каталог библиотеки СФУ (R 98)
Библиографическое описание: Rybakov, V. V. A Hybrid of Tense Logic S4T and Multi-Agent Logic with Interacting Agents / V. V. Rybakov, S. V. Babenyshev. - Текст : непосредственный // Журнал Сибирского федерального университета. Математика и физика. - 2008. - Т. 1, № 4. - С. 399-409. - Библиогр.: с. 408-409 (24 назв.). - ISSN 1997-1397.
Аннотация: In this paper we introduce a temporal multi-agent logic S4IA T , which implements interacting agents. Logic S4IA T 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 Ri, 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 S4IA T . We also prove the effective finite model property for the logic S4IA T .
Год издания: 2008
Авторы: Rybakov V. V. , Babenyshev S. V.
Источник: Журнал Сибирского федерального университета. Математика и физика
Выпуск: Т. 1, № 4
Номера страниц: 399-409
Количество экземпляров:

Всего свободно 2 из 2 экземпляров.

  • Отдел научно-библиографической работы (пр. Свободный, 79, к. Б3-10): свободно 1 из 1 экземпляров
  • Книгохранилище научной литературы (пр. Свободный, 79, 3 этаж): свободно 1 из 1 экземпляров