Показать сокращенную информацию
Multiagent Temporal Logics with Multivaluations
Автор | Рыбаков, Владимир Владимирович | |
Дата внесения | 2019-07-01T07:22:19Z | |
Дата, когда ресурс стал доступен | 2019-07-01T07:22:19Z | |
Дата публикации | 2018-07 | |
Библиографическое описание | Рыбаков, Владимир Владимирович. Multiagent Temporal Logics with Multivaluations [Текст] / Владимир Владимирович Рыбаков // Siberian Mathematical Journal. — 2018. — Т. 59 (№ 4). — С. 710-720 | |
ISSN | 00374466 | |
URI (для ссылок/цитирований) | https://link.springer.com/article/10.1134/S0037446618040134 | |
URI (для ссылок/цитирований) | https://elib.sfu-kras.ru/handle/2311/110604 | |
Аннотация | We study multiagent logics and use temporal relational models with multivaluations. The key distinction from the standard relational models is the introduction of a particular valuation for each agent and the computation of the global valuation using all agents’ valuations. We discuss this approach, illustrate it with examples, and demonstrate that this is not a mechanical combination of standard models, but a much more subtle and sophisticated modeling of the computation of truth values in multiagent environments. To express the properties of these models we define a logical language with temporal formulas and introduce the logics based at classes of such models. The main mathematical problem under study is the satisfiability problem. We solve it and find deciding algorithms. Also we discuss some interesting open problems and trends of possible further investigations. | |
Тема | multiagent logics | |
Тема | information | |
Тема | knowledge | |
Тема | temporal logic | |
Тема | multivaluations | |
Тема | satisfiability | |
Тема | deciding algorithms | |
Название | Multiagent Temporal Logics with Multivaluations | |
Тип | Journal Article | |
Тип | Journal Article Preprint | |
Страницы | 710-720 | |
ГРНТИ | 27.03.19 | |
Дата обновления | 2019-07-01T07:22:19Z | |
DOI | 10.1134/S0037446618040134 | |
Институт | Институт математики и фундаментальной информатики | |
Подразделение | Кафедра алгебры и математической логики | |
Журнал | Siberian Mathematical Journal | |
Квартиль журнала в Scopus | Q2 | |
Квартиль журнала в Web of Science | Q4 |