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 条
  • [21] A Dialogical, Multi-Agent Account of the Normativity of Logic
    Novaes, Catarina Dutilh
    DIALECTICA, 2015, 69 (04) : 587 - 609
  • [22] A resource logic for multi-agent plan merging
    de Weerdt, M
    Bos, A
    Tonino, H
    Witteveen, C
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2003, 37 (1-2) : 93 - 130
  • [23] A Resource Logic for Multi-Agent Plan Merging
    Mathijs de Weerdt
    André Bos
    Hans Tonino
    Cees Witteveen
    Annals of Mathematics and Artificial Intelligence, 2003, 37 : 93 - 130
  • [24] A Multi-Agent Depth Bounded Boolean Logic
    Cignarale, Giorgio
    Primiero, Giuseppe
    SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2020, 2021, 12524 : 176 - 191
  • [25] HYPERATL*: A LOGIC FOR HYPERPROPERTIES IN MULTI-AGENT SYSTEMS
    Beutner, Raven
    Finkbeiner, Bernd
    LOGICAL METHODS IN COMPUTER SCIENCE, 2023, 19 (02)
  • [26] Interval Multi-agent Logic with Reliability Operator
    Kiyatkin, Vladimir R.
    Rybakov, Vladimir V.
    JOURNAL OF SIBERIAN FEDERAL UNIVERSITY-MATHEMATICS & PHYSICS, 2024, 17 (05): : 679 - 683
  • [27] Multi-agent coordination as distributed logic programming
    Robertson, D
    LOGIC PROGRAMMING, PROCEEDINGS, 2004, 3132 : 416 - 430
  • [28] Conflicting obligations in multi-agent deontic logic
    Kooi, Barteld
    Tamminga, Allard
    DEONTIC LOGIC AND ARTIFICIAL NORMATIVE SYSTEMS, PROCEEDINGS, 2006, 4048 : 175 - 186
  • [29] Multi-agent Cooperation: A Description Logic View
    Luo, Jiewen
    Shi, Zhongzhi
    Wang, Maoguang
    Huang, He
    MULTI-AGENT SYSTEMS FOR SOCIETY, 2009, 4078 : 365 - 379
  • [30] RELATIONAL SEQUENCE BASED CLASSIFICATION IN MULTI-AGENT SYSTEMS
    Bombini, Grazia
    Di Mauro, Nicola
    Ferilli, Stefano
    Esposito, Floriana
    ICAART 2010: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1: ARTIFICIAL INTELLIGENCE, 2010, : 619 - 622
12345