Temporal Multi-Agent’s Logic, Knowledge, Uncertainty, and Plausibility

Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций

Конференция: International KES Conference on Agent and Multi-Agent Systems-Technologies and Applications, KES-AMSTA 2021

Год издания: 2021

Идентификатор DOI: 10.1007/978-981-16-2994-5_17

Ключевые слова: admissible rules, deciding algorithms, knowledge, multi-agents’ logic, non-transitive time, temporal logic

Аннотация: The paper studies temporal logic implementing multi-agent’s approach and formalizing knowledge and uncertainty. We consider non-transitive linear time and multi-valued models—the ones using separate valuations Vj for the agent’s knowledge of facts and sum

Ссылки на полный текст

Издание

Журнал: Smart Innovation, Systems and Technologies

Выпуск журнала: Vol. 241

Номера страниц: 205-214

ISSN журнала: 21903018

Издатель: Springer Science and Business Media Deutschland GmbH

Персоны

Rybakov V. (Institute of Mathematics and Computer Science, Siberian Federal University, Svobodny Pr., Krasnoyarsk, 660041, Russian Federation, (part time) A.P. Ershov Institute of Informatics Systems SB RAS Academy, Lavrentjev pr., 6, Novosibirsk, 630090)

Вхождение в базы данных

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.