Multi-Agent Logics with Multi-Valuations and Intensional Logical Operations
Скачать файл:
URI (для ссылок/цитирований):
https://link.springer.com/article/10.1134/S1995080220020134https://elib.sfu-kras.ru/handle/2311/142303
Дата:
2020-02Журнал:
Lobachevskii Journal of MathematicsКвартиль журнала в Scopus:
Q2Квартиль журнала в Web of Science:
без квартиляБиблиографическое описание:
Рыбаков, Владимир Владимирович. Multi-Agent Logics with Multi-Valuations and Intensional Logical Operations [Текст] / Владимир Владимирович Рыбаков // Lobachevskii Journal of Mathematics. — 2020. — Т. 41 ((2)). — С. 243-251Текст статьи не публикуется в открытом доступе в соответствии с политикой журнала.
Аннотация:
We consider a multi-agent logic based on linear temporal logic. This logic uses
as the semantics relational temporal models with multi-valuations { the models have
separate valuations for all agents. We introduce in the logical language with two new
intensional logical operations { plausible and dominates { to capture the feature of
uncertainty. The main mathematical problem we are dealing with is the satis ability
problem. We solve it and nd deciding algorithm. In the nal part of paper we discuss
interesting open problems for possible further investigations.