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 条
  • [31] A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems
    Wu, Lijun
    Su, Jinshu
    Su, Kaile
    Luo, Xiangyu
    Yang, Zhihua
    KNOWLEDGE-BASED SYSTEMS, 2010, 23 (02) : 162 - 168
  • [32] PDT Logic: A Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems
    Martiny, Karsten
    Moeller, Ralf
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2016, 57 : 39 - 112
  • [33] Model checking algorithm for temporal logics of knowledge in multi-agent systems
    Wu, Li-Jun
    Su, Kai-Le
    Ruan Jian Xue Bao/Journal of Software, 2004, 15 (07): : 1012 - 1020
  • [34] Probabilistic Plan Recognition for Multi-Agent Systems under Temporal Logic Tasks
    Yu, Wentao
    Li, Shanghao
    Tian, Daiying
    Cui, Jinqiang
    ELECTRONICS, 2022, 11 (09)
  • [35] Multi-agent knowledge modelling
    VSB-Technical University Ostrava, Czech Republic
    不详
    不详
    不详
    不详
    Front. Artif. Intell. Appl., 2009, 1 (411-428):
  • [36] Security-preserving multi-agent coordination for complex temporal logic tasks
    Yu, Xinyi
    Yin, Xiang
    Li, Shaoyuan
    Li, Zhaojian
    CONTROL ENGINEERING PRACTICE, 2022, 123
  • [37] Multi-agent explicit knowledge
    Yavorskaya, Tatiana
    COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2006, 3967 : 369 - 380
  • [38] PROJECTIVE FORMULAS AND UNIFICATION IN LINEAR DISCRETE TEMPORAL MULTI-AGENT LOGICS
    Bashmakov, Stepan Igorevich
    Kosheleva, Anna Vladimirovna
    Rybakov, Vladimir
    SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2016, 13 : 923 - 929
  • [39] A logic for normative multi-agent programs
    Dastani, Mehdi
    Meyer, John-Jules Ch.
    Grossi, Davide
    JOURNAL OF LOGIC AND COMPUTATION, 2013, 23 (02) : 335 - 354
  • [40] Translating multi-agent autoepistemic logic into logic program
    Kojima, Takahiro
    Toyama, Katsuhiko
    Inagaki, Yasuyoshi
    Transactions of the Japanese Society for Artificial Intelligence, 2002, 17 (02) : 114 - 126
12345