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 条
  • [21] Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic
    Engelfriet J.
    Jonker C.M.
    Treur J.A.N.
    Journal of Logic, Language and Information, 2002, 11 (2) : 195 - 225
  • [22] Compositional verification of multi-agent systems in temporal multi-epistemic logic
    Engelfriet, J
    Jonker, CM
    Treur, J
    INTELLIGENT AGENTS V: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, 1999, 1555 : 177 - 193
  • [23] Multi-agent VSK logic
    Wooldridge, M
    Lomuscio, A
    LOGICS IN ARTIFICIAL INTELLIGENCE, 2000, 1919 : 300 - 312
  • [24] Undecidability of a multi-agent logic
    Kacprzak, M
    FUNDAMENTA INFORMATICAE, 2003, 54 (2-3) : 213 - 220
  • [25] Multi-Agent Persistent Monitoring in Stochastic Environments with Temporal Logic Constraints
    Chen, Yushan
    Deng, Kun
    Belta, Calin
    2012 IEEE 51ST ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2012, : 2801 - 2806
  • [26] Multi-Agent Motion Planning From Signal Temporal Logic Specifications
    Sun, Dawei
    Chen, Jingkai
    Mitra, Sayan
    Fan, Chuchu
    IEEE ROBOTICS AND AUTOMATION LETTERS, 2022, 7 (02) : 3451 - 3458
  • [27] Multi-Agent Temporal Nontransitive Linear Logics and the Admissibility Problem
    Rybakov, V. V.
    ALGEBRA AND LOGIC, 2020, 59 (01) : 87 - 100
  • [28] Multi-Agent Temporal Nontransitive Linear Logics and the Admissibility Problem
    V. V. Rybakov
    Algebra and Logic, 2020, 59 : 87 - 100
  • [29] A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-agent Systems
    Wu, Lijun
    Su, Jinshu
    Luo, Xiangyu
    Yang, Zhihua
    Chen, Qingliang
    ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2009, 5549 : 146 - +
  • [30] Knowledge update for multi-agent syestem based on modal default logic
    Wu Meihong
    Xue Yongsheng
    2006 INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND SECURITY, PTS 1 AND 2, PROCEEDINGS, 2006, : 498 - 503
12345