Показать сокращенную информацию
Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
Автор | Рыбаков, Владимир Владимирович | |
Дата внесения | 2019-07-01T07:22:20Z | |
Дата, когда ресурс стал доступен | 2019-07-01T07:22:20Z | |
Дата публикации | 2017-10 | |
Библиографическое описание | Рыбаков, Владимир Владимирович. Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms [Текст] / Владимир Владимирович Рыбаков // Siberian Mathematical Journal. — 2017. — Т. 58 (№ 5). — С. 875-886 | |
ISSN | 00374466 | |
URI (для ссылок/цитирований) | https://link.springer.com/article/10.1134/S0037446617050147 | |
URI (для ссылок/цитирований) | https://elib.sfu-kras.ru/handle/2311/110607 | |
Аннотация | Multiagent and temporal logics are active domains in Information Sciences, CS, and AI. Attention has predominantly focused on the logics based on transitive relational models, with particular emphasis on transitive time. But this does not seem rather reliable assumption. Nontransitivity of passing information may be demonstrated with relative ease through persuasive examples. Therefore, we introduce and study multiagent temporal logics that are based on nontransitive linear time. Another innovative step is consideration of incomplete information: the information/knowledge with lacunas,—the linear time with forgettable intervals of time in the past. Technically, the most important problems are problems of satisfiability and decidability of suggested logics. The main results are the algorithms that compute satisfiability and solve decidability (and so provide solutions to these problems). The paper concludes by posing a series of open problems. | |
Тема | temporal logic computability information multiagent logic satisfiability decidability deciding algorithms nontransitive time | |
Название | Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms | |
Тип | Journal Article | |
Тип | Journal Article Preprint | |
Страницы | 875-886 | |
ГРНТИ | 27.03 | |
Дата обновления | 2019-07-01T07:22:20Z | |
DOI | 10.1134/S0037446617050147 | |
Институт | Институт математики и фундаментальной информатики | |
Подразделение | Кафедра алгебры и математической логики | |
Журнал | Siberian Mathematical Journal | |
Квартиль журнала в Scopus | Q2 | |
Квартиль журнала в Web of Science | Q4 |