Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
Скачать файл:
URI (для ссылок/цитирований):
https://link.springer.com/article/10.1134/S0037446617050147https://elib.sfu-kras.ru/handle/2311/110607
Автор:
Рыбаков, Владимир Владимирович
Коллективный автор:
Институт математики и фундаментальной информатики
Кафедра алгебры и математической логики
Дата:
2017-10Журнал:
Siberian Mathematical JournalКвартиль журнала в Scopus:
Q2Квартиль журнала в Web of Science:
Q4Библиографическое описание:
Рыбаков, Владимир Владимирович. Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms [Текст] / Владимир Владимирович Рыбаков // Siberian Mathematical Journal. — 2017. — Т. 58 (№ 5). — С. 875-886Аннотация:
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 multi-valued logic with lost worlds in the past
Рыбаков, Владимир Владимирович (2018-04)We study many–valued temporal multi–agent logics based on non-transitive models. The semantical basis, i. e., relational models, are used for modelling of computational processes and analysis of databases with incomplete ... -
MANY–VALUED MULTI–MODAL LOGICS, SATISFIABILITY PROBLEM
Моор, Михаил Александрович; Рыбаков, Владимир Владимирович (2018-08)This paper investigates many–valuated multi–modal logics. The suggested semantics consists of relational Kripke–Hintikka models which have various accessibility relations and distinct valuations for propositional statements ... -
Satisfiability in a Temporal Multi-valueted Logic Based on Z
Kiyatkin, Vladimir R.; Kosheleva, Anna V.; Кияткин, Владимир Р.; Кошелева, Анна В. (Сибирский федеральный университет. Siberian Federal University, 2022-02)In this paper we continue the series of papers by V. V. Rybakov devoted to properties of multi-valueted logics and where he propose a new approach for modelling knowledge and reasoning of agents in a multi-agent system. ... -
TEMPORAL LOGIC WITH OVERLAP TEMPORAL RELATIONS GENERATED BY TIME STATES THEMSELVES
Рыбаков, Владимир Владимирович (2020-07)Abstract. We study a temporal logic with non–standard temporal accessibility relations. This logic is generated by semantic underground models, and any such a model has a base formed by a frame with temporal relations ... -
Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge
Rybakov, Vladimir V.; Рыбаков, Владимир В. (Сибирский федеральный университет. Siberian Federal University, 2022-02)We study an agents’ temporal logic with non-standard none-transitive temporal accessibility relations and operations of static agents’ knowledge. The main mathematical problem we work with is existence of algorithms for ...