Multi-Agent Logics with Multi-Valuations and Intensional Logical Operations

被引：1

作者：

Rybakov, V. V. ^{[1
,2
]}

机构：

[1] Siberian Fed Univ, Inst Math & Informat, Krasnoyarsk 660041, Russia

[2] Russian Acad Sci, Inst Informat Syst, Siberian Branch, Novosibirsk, Russia

来源：

LOBACHEVSKII JOURNAL OF MATHEMATICS | 2020年 / 41卷 / 02期

基金：

俄罗斯基础研究基金会;

关键词：

multi-agent logics; information; knowledge; temporal logic; multivaluations at relational models; satisfiability problem; solving algorithms; LINEAR TEMPORAL LOGIC; KNOWLEDGE; DISCOVERY; UNIFICATION; SYSTEMS; UNTIL;

D O I：

10.1134/S1995080220020134

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We consider a multi-agent logic based on linear temporal logic. This logic uses as the semantics relational temporal models with multi-valuations-the models have separate valuations for all agents. We introduce in the logical language two new intensional logical operations-plausibleanddominates-to capture the feature of uncertainty. The main mathematical problem we are dealing with is the satisfiability problem. We solve it and find deciding algorithm. In the final part of paper we discuss interesting open problems for possible further investigations.

引用

页码：243 / 251

页数：9

共 50 条

[31] Consideration of Smart Grid Operations by Multi-Agent
Ueda, Yuji
Nagata, Takeshi
[J]. 2011 2ND INTERNATIONAL CONFERENCE ON ADVANCES IN ENERGY ENGINEERING (ICAEE), 2012, 14 : 738 - 743
[32] A Multi-Agent System for Airline Operations Control
Castro, Antonio J. M.
Oliveira, Eugenio
[J]. 7TH INTERNATIONAL CONFERENCE ON PRACTICAL APPLICATIONS OF AGENTS AND MULTI-AGENT SYSTEMS (PAAMS 2009), 2009, 55 : 159 - +
[33] Multi-Agent Transit Operations and Assignment Model
Cats, Oded
[J]. 4TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT 2013), THE 3RD INTERNATIONAL CONFERENCE ON SUSTAINABLE ENERGY INFORMATION TECHNOLOGY (SEIT-2013), 2013, 19 : 809 - 814
[34] Developer Operations and Engineering Multi-agent Systems
Kampik, Timotheus
Amaral, Cleber Jorge
Hubner, Jomi Fred
[J]. ENGINEERING MULTI-AGENT SYSTEMS, 2022, 13190 : 175 - 186
[35] Modelling Dynamic Aspects of a Multi-Agent System Using Transparent Intensional Logic
Macek, Jakub
Frydrych, Tomas
[J]. INFORMATION MODELLING AND KNOWLEDGE BASES XXIII, 2012, 237 : 352 - 361
[36] Periodic communication logics for the decentralized control of multi-agent systems
Sun, YS
Lemmon, MD
[J]. 2005 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS (CCA), VOLS 1AND 2, 2005, : 1431 - 1434
[37] Multi-Agent Logics with Dynamic Accessibly Relations, Projective Unifiers
V. V. Rybakov
[J]. Algebra and Logic, 2022, 61 : 79 - 83
[38] Preface to the special issue on computational logics in multi-agent systems
Dix, Juergen
Leite, Joao
[J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2011, 62 (1-2) : 1 - 5
[39] MULTI-AGENT LOGICS WITH DYNAMIC ACCESSIBLY RELATIONS, PROJECTIVE UNIFIERS
Rybakov, V. V.
[J]. ALGEBRA AND LOGIC, 2022, 61 (01) : 79 - 83
[40] Multi-Agent Temporal Nontransitive Linear Logics and the Admissibility Problem
V. V. Rybakov
[J]. Algebra and Logic, 2020, 59 : 87 - 100

← 1 2 3 4 5 →