Sibirskii Matematicheskii Zhurnal
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Sibirsk. Mat. Zh.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Sibirskii Matematicheskii Zhurnal, 2017, Volume 58, Number 5, Pages 1128–1143
DOI: https://doi.org/10.17377/smzh.2017.58.514
(Mi smj2924)
 

This article is cited in 18 scientific papers (total in 18 papers)

Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms

V. V. Rybakov

Institute of Mathematics and Informatics, Siberian Federal University, Krasnoyarsk, Russia
References:
Abstract: 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.
Keywords: temporal logic, computability, information, multiagent logic, satisfiability, decidability, deciding algorithms, nontransitive time.
Received: 12.12.2016
English version:
Siberian Mathematical Journal, 2017, Volume 58, Issue 5, Pages 875–886
DOI: https://doi.org/10.1134/S0037446617050147
Bibliographic databases:
Document Type: Article
UDC: 510.64+510.65+510.66
MSC: 35R30
Language: Russian
Citation: V. V. Rybakov, “Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms”, Sibirsk. Mat. Zh., 58:5 (2017), 1128–1143; Siberian Math. J., 58:5 (2017), 875–886
Citation in format AMSBIB
\Bibitem{Ryb17}
\by V.~V.~Rybakov
\paper Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
\jour Sibirsk. Mat. Zh.
\yr 2017
\vol 58
\issue 5
\pages 1128--1143
\mathnet{http://mi.mathnet.ru/smj2924}
\crossref{https://doi.org/10.17377/smzh.2017.58.514}
\elib{https://elibrary.ru/item.asp?id=29947477}
\transl
\jour Siberian Math. J.
\yr 2017
\vol 58
\issue 5
\pages 875--886
\crossref{https://doi.org/10.1134/S0037446617050147}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000413438200014}
\elib{https://elibrary.ru/item.asp?id=31126927}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85032003639}
Linking options:
  • https://www.mathnet.ru/eng/smj2924
  • https://www.mathnet.ru/eng/smj/v58/i5/p1128
  • This publication is cited in the following 18 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Сибирский математический журнал Siberian Mathematical Journal
    Statistics & downloads:
    Abstract page:194
    Full-text PDF :64
    References:40
    First page:5
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024