NON-UNIFIABILITY IN LINEAR TEMPORAL LOGIC OF KNOWLEDGE WITH MULTI-AGENT RELATIONS

被引：3

作者：

Bashmakov, S. I. ^{[1
]}

Kosheleva, A. V. ^{[2
]}

Rybakov, V. ^{[3
]}

机构：

[1] Siberian Fed Univ, Inst Math & Comp Sci, Pr Svobodny 79, Krasnoyarsk 660041, Russia

[2] Siberian Fed Univ, Inst Space & Informat Technol, Kirenskogo St 26, Krasnoyarsk 660074, Russia

[3] Dept Comp & Math, John Dalton Bldg,Chester St, Manchester M1 5GD, Lancs, England

来源：

SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA | 2016年 / 13卷

关键词：

unification; modal temporal logic; passive inference rules;

D O I：

10.17377/semi.2016.13.052

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

The paper is devoted to the study of the unification problem in the linear temporal logic of knowledge with multi-agent relations (denoted in the sequel as LFPK). This logic is based on frames (models) with time points represented by integer numbers from Z and the information clusters C-i for i is an element of Z with multi-agent accessibility relations R-i. The first main result is a theorem describing a criterion for formulas to be not unifiable in LFPK. The second one is a construction of a basis for all inference rules passive in LFPK.

引用

页码：656 / 663

页数：8

共 50 条

[41] On the soundness, completeness and applicability of the logic of knowledge and communicative commitments in multi-agent systems
Al-Saqqar, Faisal
Bentahar, Jamal
Sultan, Khalid
EXPERT SYSTEMS WITH APPLICATIONS, 2016, 43 : 223 - 236
[42] Research on concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems
Su J.-S.
Wu L.-J.
Yang Z.-H.
Jisuanji Xuebao/Chinese Journal of Computers, 2010, 33 (05): : 847 - 854
[43] Multi-hop temporal knowledge graph reasoning with multi-agent reinforcement learning
Bai, Luyi
Chen, Mingzhuo
Xiao, Qianwen
APPLIED SOFT COMPUTING, 2024, 160
[44] Non-axiomatizability for the linear temporal logic of knowledge with concrete observability
Dima, Catalin
JOURNAL OF LOGIC AND COMPUTATION, 2011, 21 (06) : 939 - 958
[45] Non-transitive linear temporal logic and logical knowledge operations
Rybakov, Vladimir V.
JOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (03) : 945 - 958
[46] Temporal Logics for Multi-Agent Systems
Henzinger, Thomas A.
PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS' 18), 2018, : 1 - 1
[47] Model checking temporal knowledge and commitments in multi-agent systems using reduction
Al-Saqqar, Faisal
Bentahar, Jamal
Sultan, Khalid
Wan, Wei
Asl, Ehsan Khosrowshahi
SIMULATION MODELLING PRACTICE AND THEORY, 2015, 51 : 45 - 68
[48] Control of Multi-Agent Systems with Finite Time Control Barrier Certificates and Temporal Logic
Srinivasan, Mohit
Coogan, Samuel
Egerstedt, Magnus
2018 IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2018, : 1991 - 1996
[49] Controller Synthesis for Multi-Agent Systems With Intermittent Communication and Metric Temporal Logic Specifications
Xu, Zhe
Zegers, Federico M.
Baharisangari, Nasim
Wu, Bo
Phillips, Alexander J.
Dixon, Warren E.
Topcu, Ufuk
IEEE ACCESS, 2023, 11 : 91324 - 91335
[50] Controller Synthesis for Multi-Agent Systems With Intermittent Communication: A Metric Temporal Logic Approach
Xu, Zhe
Zegers, Federico M.
Wu, Bo
Dixon, Warren
Topcu, Ufuk
2019 57TH ANNUAL ALLERTON CONFERENCE ON COMMUNICATION, CONTROL, AND COMPUTING (ALLERTON), 2019, : 1015 - 1022

← 1 2 3 4 5 →