Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
URI (for links/citations):https://link.springer.com/article/10.1134/S0037446617050147
Рыбаков, Владимир Владимирович
Институт математики и фундаментальной информатики
Кафедра алгебры и математической логики
Journal Name:Siberian Mathematical Journal
Journal Quartile in Scopus:Q2
Journal Quartile in Web of Science:Q4
Bibliographic Citation:Рыбаков, Владимир Владимирович. 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.
Metadata:Show full item record
Showing items related by title, author, creator and subject.
Рыбаков, Владимир Владимирович (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 ...
Моор, Михаил Александрович; Рыбаков, Владимир Владимирович (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 ...
Lukyanchuk, Alexandra N.; Лукьянчук, Александра Н. (Сибирский федеральный университет. Siberian Federal University., 2013-04)Thepaperinvestigates modal(temporal-model) logicsbased at a semantic approach with models combining knowledge and time. We introduce multi-modal logics LT Kr and LT Kir containing modalities for knowledge and time as the ...
Rybakov, Vladimir V.; V.Babenyshev, Sergej V. (Сибирский федеральный университет. Siberian Federal University, 2008-11)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 ...
Рыбаков, Владимир Владимирович (2018-07)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 ...