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 条
  • [1] A complete coalition logic of temporal knowledge for multi-agent systems
    Qingliang Chen
    Kaile Su
    Yong Hu
    Guiwu Hu
    Frontiers of Computer Science, 2015, 9 : 75 - 86
  • [2] A complete coalition logic of temporal knowledge for multi-agent systems
    Qingliang CHEN
    Kaile SU
    Yong HU
    Guiwu HU
    Frontiers of Computer Science, 2015, 9 (01) : 75 - 86
  • [3] A complete coalition logic of temporal knowledge for multi-agent systems
    Chen, Qingliang
    Su, Kaile
    Hu, Yong
    Hu, Guiwu
    FRONTIERS OF COMPUTER SCIENCE, 2015, 9 (01) : 75 - 86
  • [4] Multi-agent Logic with Distances Based on Linear Temporal Frames
    Rybakov, Vladimir
    Babenyshev, Sergey
    ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING, PT II, 2010, 6114 : 337 - 344
  • [5] Intransitive Temporal Multi-agent's Logic, Knowledge and Uncertainty, Plausibility
    Rybakov, Vladimir
    LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2016), 2016, 9537 : 364 - 375
  • [6] Multi-Agent Logic with Distances, Uncertainty and Interaction Based on Linear Temporal
    Rybakov, Vladimir
    ADVANCES IN KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, 2012, 243 : 169 - 178
  • [7] MULTI-AGENT LOGICS WITH INTERACTION, UNIFIABILITY AND PROJECTIVITY
    Vladimirovich, Rybakov vladimir
    SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2024, 21 (02): : 1370 - 1384
  • [8] Linear Temporal Logic LTLK extended by Multi-Agent Logic Kn with Interacting Agents
    Rybakov, Vladimir
    JOURNAL OF LOGIC AND COMPUTATION, 2009, 19 (06) : 989 - 1017
  • [9] The Satisfiability Problem in Linear Multi-agent Knowledge Logic Based on N
    Protsenko, Nikita A.
    Rybakov, Vladimir V.
    BULLETIN OF IRKUTSK STATE UNIVERSITY-SERIES MATHEMATICS, 2024, 49 : 124 - 134
  • [10] Complete Axiomatization and Complexity of Coalition Logic of Temporal Knowledge for Multi-agent Systems
    Chen, Qingliang
    Su, Kaile
    Hu, Yong
    Hu, Guiwu
    ADVANCES IN ARTIFICIAL INTELLIGENCE, CANADIAN AI 2014, 2014, 8436 : 269 - 274
12345