Multi-Agent Logics with Multi-Valuations and Intensional Logical Operations

被引：1
|
作者：
Rybakov, V. V. [1 ,2 ]
机构：
[1] Siberian Fed Univ, Inst Math & Informat, Krasnoyarsk 660041, Russia
[2] Russian Acad Sci, Inst Informat Syst, Siberian Branch, Novosibirsk, Russia
来源：
LOBACHEVSKII JOURNAL OF MATHEMATICS | 2020年 / 41卷 / 02期
基金：
俄罗斯基础研究基金会;
关键词：
multi-agent logics; information; knowledge; temporal logic; multivaluations at relational models; satisfiability problem; solving algorithms; LINEAR TEMPORAL LOGIC; KNOWLEDGE; DISCOVERY; UNIFICATION; SYSTEMS; UNTIL;
D O I：
10.1134/S1995080220020134
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
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 two new intensional logical operations-plausibleanddominates-to capture the feature of uncertainty. The main mathematical problem we are dealing with is the satisfiability problem. We solve it and find deciding algorithm. In the final part of paper we discuss interesting open problems for possible further investigations.
引用
收藏
页码：243 / 251
页数：9
相关论文
共 50 条
  • [1] Multi-Agent Logics with Multi-Valuations and Intensional Logical Operations
    V. V. Rybakov
    [J]. Lobachevskii Journal of Mathematics, 2020, 41 : 243 - 251
  • [2] Dynamic Temporal Logical Operations in Multi-Agent Logics
    V. V. Rybakov
    [J]. Algebra and Logic, 2022, 61 : 407 - 419
  • [3] Dynamic Temporal Logical Operations in Multi-Agent Logics
    Rybakov, V. V.
    [J]. ALGEBRA AND LOGIC, 2023, 61 (5) : 407 - 419
  • [4] Logics Modulo Theories: a logical framework for multi-agent systems
    Cruz, Lito Perez
    Crossley, John Newsome
    [J]. LOGIC JOURNAL OF THE IGPL, 2015, 23 (04) : 553 - 583
  • [5] Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical Separability
    Fang, Liangda
    Wang, Kewen
    Wang, Zhe
    Wen, Ximing
    [J]. THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2019, : 2817 - 2826
  • [6] Normative Multi-agent Programs and Their Logics
    Dastani, Mehdi
    Grossi, Davide
    Meyer, John-Jules Ch.
    Tinnemeier, Nick
    [J]. KNOWLEDGE REPRESENTATION FOR AGENTS AND MULTI-AGENT SYSTEMS, 2009, 5605 : 16 - +
  • [7] Metareasoning for multi-agent epistemic logics
    Arkoudas, K
    Bringsjord, S
    [J]. COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2004, 3487 : 111 - 125
  • [8] On the Learnability of Knowledge in Multi-Agent Logics
    Mocanu, Ionela G.
    [J]. PROCEEDINGS OF THE THIRTIETH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2021, 2021, : 4907 - 4908
  • [9] Forgetting in multi-agent modal logics
    Fang, Liangda
    Liu, Yongmei
    van Ditmarsch, Hans
    [J]. ARTIFICIAL INTELLIGENCE, 2019, 266 : 51 - 80
  • [10] Temporal Logics for Multi-Agent Systems
    Henzinger, Thomas A.
    [J]. PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS' 18), 2018, : 1 - 1
12345