Relational Version of the Multi-agent Computation Tree Logic CTLK

被引：0
|
作者：
Bashmakov, Stepan I. [1 ,2 ]
Smelykh, Kirill A. [1 ]
机构：
[1] Siberian Fed Univ, Krasnoyarsk, Russia
[2] Siberian Fed Univ, Krasnoyarsk 660041, Russia
来源：
BULLETIN OF IRKUTSK STATE UNIVERSITY-SERIES MATHEMATICS | 2024年 / 47卷
关键词：
multi-agent logic; branching temporal logic; Kripke relational semantics; filtration method; finite approximability; KNOWLEDGE; TIME;
D O I：
10.26516/1997-7670.2024.47.78
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
This paper deals with multi-agent computation tree logic - CTLK (Computation Tree Logic with Knowledge). Each agent represents its own computational route of the initial problem, and new branches of possible computational routes spawn new agents. The logic CTLK is a natural enrichment of CTL by new knowledge operators. We introduce alternative to automata Kripke's relational semantics, describes properties of CTLK-frame and proves finite approximability.
引用
收藏
页码：78 / 92
页数：15
相关论文
共 50 条
  • [1] Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems
    Li, Xia
    Ma, Zhanyou
    Mian, Zhibao
    Liu, Ziyuan
    Huang, Ruiqi
    He, Nana
    CMC-COMPUTERS MATERIALS & CONTINUA, 2024, 78 (03): : 4129 - 4152
  • [2] Model checking fuzzy computation tree logic of multi-agent systems based on fuzzy interpreted systems
    Ma, Zhanyou
    Li, Xia
    Liu, Ziyuan
    Huang, Ruiqi
    He, Nana
    FUZZY SETS AND SYSTEMS, 2024, 485
  • [3] Towards Relational Multi-Agent Reinforcement Learning via Inductive Logic Programming
    Li, Guangxia
    Xiao, Gang
    Zhang, Junbo
    Liu, Jia
    Shen, Yulong
    ARTIFICIAL NEURAL NETWORKS AND MACHINE LEARNING - ICANN 2022, PT II, 2022, 13530 : 99 - 110
  • [4] Multi-agent VSK logic
    Wooldridge, M
    Lomuscio, A
    LOGICS IN ARTIFICIAL INTELLIGENCE, 2000, 1919 : 300 - 312
  • [5] Undecidability of a multi-agent logic
    Kacprzak, M
    FUNDAMENTA INFORMATICAE, 2003, 54 (2-3) : 213 - 220
  • [6] Distributed Computation Multi-agent System
    Stula, Maja
    Stipanicev, Darko
    Maras, Josip
    NEW GENERATION COMPUTING, 2013, 31 (03) : 187 - 209
  • [7] Distributed Computation Multi-agent System
    Maja Štula
    Darko Stipaničev
    Josip Maras
    New Generation Computing, 2013, 31 : 187 - 209
  • [8] A logic for normative multi-agent programs
    Dastani, Mehdi
    Meyer, John-Jules Ch.
    Grossi, Davide
    JOURNAL OF LOGIC AND COMPUTATION, 2013, 23 (02) : 335 - 354
  • [9] Translating multi-agent autoepistemic logic into logic program
    Kojima, Takahiro
    Toyama, Katsuhiko
    Inagaki, Yasuyoshi
    Transactions of the Japanese Society for Artificial Intelligence, 2002, 17 (02) : 114 - 126
  • [10] Multi-agent Controllability with Tree Topology
    Ji, Zhijian
    Lin, Hai
    Lee, Tong Heng
    Ling, Qiang
    2010 AMERICAN CONTROL CONFERENCE, 2010, : 850 - 855
12345