Show simple item record

Рыбаков, Владимир Владимирович
2019-07-01T07:22:20Z
2019-07-01T07:22:20Z
2018-04
Рыбаков, Владимир Владимирович. Temporal multi-valued logic with lost worlds in the past [Текст] / Владимир Владимирович Рыбаков // Сибирские электронные математические известия. — 2018. — Т. 15. — С. 436-449
http://semr.math.nsc.ru/v15/p436-449.pdf
http://elib.sfu-kras.ru/handle/2311/110608
Текст статьи не публикуется в открытом доступе в соответствии с политикой журнала.
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 information, for instance, with information forgotten in the past. In the situation we consider, the agents' accessibility relations may have lacunas: agents may have no access to some potentially known and stored information. Yet innovative point is that in the relational models we consider various valuations Vi for agents' knowledge and a global valuation based on these valuations. Besides, agents' logical operations inside formulas may be nested, as a consequence they may interfere; that is, we consider not autonomous but cooperating agents. Satisfiability and decidability issues are discussed. We find algorithms solving satisfiability problem and hence we obtain the decidability of the decidability problem. Open problems are discussed.
many–valued logic
multi–agent logic
temporal logic
computability
information
satisfiability
decidability
deciding algorithms
non–transitive time
Temporal multi-valued logic with lost worlds in the past
Journal Article
Journal Article Preprint
436-449
27.03.19
2019-07-01T07:22:20Z
10.17377/semi.2018.15.039
Институт математики и фундаментальной информатики
Кафедра алгебры и математической логики
Сибирские электронные математические известия
Q3
без квартиля


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record