Multiagent Temporal Logics with Multivaluations
Скачать файл:
URI (для ссылок/цитирований):
https://link.springer.com/article/10.1134/S0037446618040134https://elib.sfu-kras.ru/handle/2311/110604
Автор:
Рыбаков, Владимир Владимирович
Коллективный автор:
Институт математики и фундаментальной информатики
Кафедра алгебры и математической логики
Дата:
2018-07Журнал:
Siberian Mathematical JournalКвартиль журнала в Scopus:
Q2Квартиль журнала в Web of Science:
Q4Библиографическое описание:
Рыбаков, Владимир Владимирович. Multiagent Temporal Logics with Multivaluations [Текст] / Владимир Владимирович Рыбаков // Siberian Mathematical Journal. — 2018. — Т. 59 (№ 4). — С. 710-720Аннотация:
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 of the global valuation using all agents’ valuations. We discuss this approach, illustrate it with examples, and demonstrate that this is not a mechanical combination of standard models, but a much more subtle and sophisticated modeling of the computation of truth values in multiagent environments. To express the properties of these models we define a logical language with temporal formulas and introduce the logics based at classes of such models. The main mathematical problem under study is the satisfiability problem. We solve it and find deciding algorithms. Also we discuss some interesting open problems and trends of possible further investigations.
Коллекции:
Метаданные:
Показать полную информациюСвязанные материалы
Показаны похожие ресурсы по названию, автору или тематике.
-
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. ... -
Legal Qualification as a Logical Method of Cognition
Vlasenko, Valerii N.; Власенко, В.Н. (Сибирский федеральный университет. Siberian Federal University., 2016-01)The article examines in detail the logic basis of legal qualification, the major stage of application of the law, the means of specification of the provisions of the rule of law. Two blocks of logic rules to be observed ... -
Разрешимость многомодальной линейной логики знания и времени LTK
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 ... -
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 ...