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 条
  • [11] Alternating-time Temporal Belief and Knowledge Logic in Multi-agent Systems
    Ning, Zhengyuan
    Lai, Xianwei
    Hu, Shanli
    Wang, Xiuli
    2008 3RD INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEM AND KNOWLEDGE ENGINEERING, VOLS 1 AND 2, 2008, : 1357 - +
  • [12] A Temporal Logic for Stochastic Multi-Agent Systems
    Jamroga, Wojciech
    INTELLIGENT AGENTS AND MULTI-AGENT SYSTEMS, PROCEEDINGS, 2008, 5357 : 239 - 250
  • [13] Multi-agent logics with interacting agents based on linear temporal logic: Deciding algorithms
    Rybakov, Vladimir
    ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING - ICAISC 2008, PROCEEDINGS, 2008, 5097 : 1243 - 1253
  • [14] Default logic knowledge management in a multi-agent system
    Ryzko, Dominik
    Rybinski, Henryk
    2014 IEEE/WIC/ACM INTERNATIONAL JOINT CONFERENCES ON WEB INTELLIGENCE (WI) AND INTELLIGENT AGENT TECHNOLOGIES (IAT), VOL 3, 2014, : 338 - 343
  • [15] Knowledge Compilation in the Multi-Agent Epistemic Logic Kn
    Fang, Liangda
    Wang, Kewen
    Wang, Zhe
    Wen, Ximing
    SIXTEENTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2018, : 637 - 638
  • [16] Incremental Synthesis of Control Policies for Heterogeneous Multi-Agent Systems with Linear Temporal Logic Specifications
    Wongpiromsarn, Tichakorn
    Ulusoy, Alphan
    Belta, Calin
    Frazzoli, Emilio
    Rus, Daniela
    2013 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2013, : 5011 - 5018
  • [17] Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic
    Kamide, Norihiro
    COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2009, 5405 : 57 - 76
  • [18] Reinforcement Learning for Multi-Agent Systems with Temporal Logic Specifications
    Terashima, Keita
    Kobayashi, Koichi
    Yamashita, Yuh
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2024, E107A (01) : 31 - 37
  • [19] On the timed temporal logic planning of coupled multi-agent systems
    Nikou, Alexandros
    Boskos, Dimitris
    Tumova, Jana
    Dimarogonas, Dimos V.
    AUTOMATICA, 2018, 97 : 339 - 345
  • [20] Intransitive Temporal Multi-agent Logic with Agents' Multi-valuations. Decidability
    Grekovich, Konstantin, V
    Rybakov, Vladimir V.
    Rimatskiy, Vitaliy V.
    BULLETIN OF IRKUTSK STATE UNIVERSITY-SERIES MATHEMATICS, 2025, 51 : 141 - 150
12345