Multiagent Temporal Logics with Multivaluations

Сибирский математический журнал

V. V. Rybakov¹ 

[1] Siberian Federal University

关键词: multiagent logics;    information;    knowledge;    temporal logic;    multivaluations;    satisfiability;    deciding algorithms;   

DOI  :  10.1134/S0037446618040134

学科分类：数学（综合）

来源: Izdatel stvo Instituta Matematiki Rossiiskoi Akademii Nauk

【 摘 要 】

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.

【 授权许可】

CC BY