Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic

被引：0

作者：

Belardinelli, Francesco ^{[1
,2
]}

Lomuscio, Alessio ^{[3
]}

Murano, Aniello ^{[4
]}

Rubin, Sasha ^{[4
]}

机构：

[1] UEVE, Lab IBISC, Evry, France

[2] IRIT Toulouse, Toulouse, France

[3] Imperial Coll London, Dept Comp, London, England

[4] Univ Napoli, DIETI, Naples, Italy

来源：

PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE | 2017年

基金：

英国工程与自然科学研究理事会;

关键词：

KNOWLEDGE; TIME;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

We study a class of synchronous, perfect-recall multi-agent systems with imperfect information and broadcasting, i.e., fully observable actions. We define an epistemic extension of strategy logic with incomplete information and the assumption of uniform and coherent strategies. In this setting, we prove that the model checking problem, and thus rational synthesis, is non-elementary decidable. We exemplify the applicability of the framework on a rational secret-sharing scenario.

引用

页码：91 / 97

页数：7

共 50 条

[1] Verification of multi-agent systems with public actions against strategy logic
Belardinelli, Francesco
Lomuscio, Alessio
Murano, Aniello
Rubin, Sasha
[J]. ARTIFICIAL INTELLIGENCE, 2020, 285 (285)
[2] Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic
Engelfriet J.
Jonker C.M.
Treur J.A.N.
[J]. Journal of Logic, Language and Information, 2002, 11 (2) : 195 - 225
[3] Compositional verification of multi-agent systems in temporal multi-epistemic logic
Engelfriet, J
Jonker, CM
Treur, J
[J]. INTELLIGENT AGENTS V: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, 1999, 1555 : 177 - 193
[4] Verification of Epistemic Properties in Probabilistic Multi-Agent Systems
Delgado, Carla
Benevides, Mario
[J]. MULTI-AGENT SYSTEM TECHNOLOGIES, PROCEEDINGS, 2009, 5774 : 16 - +
[5] An Epistemic Logic for Modular Development of Multi-Agent Systems
Costantini, Stefania
Formisano, Andrea
Pitoni, Valentina
[J]. ENGINEERING MULTI-AGENT SYSTEMS, 2022, 13190 : 72 - 91
[6] Epistemic logic (2). Multi-agent epistemic logic MEL
Liu, Ruisheng
Sun, Jigui
Liu, Xuhua
[J]. Jisuanji Xuebao/Chinese Journal of Computers, 21 (07): : 638 - 641
[7] Formal infrastructure for verification of epistemic properties of multi-agent systems
Bagic, M.
Kunstic, M.
[J]. MODELLING AND SIMULATION 2006, 2006, : 328 - +
[8] Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems
Belardinelli, Francesco
Grossi, Davide
Lomuscio, Alessio
[J]. PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 854 - 860
[9] A Paracomplete Multi-agent Epistemic Logic System Facing Epistemic Paradoxes*
Hao, Xudong
[J]. UNIVERSITAS-MONTHLY REVIEW OF PHILOSOPHY AND CULTURE, 2023, 50 (02): : 153 - 169
[10] Checking Multi-Agent Systems against Temporal-Epistemic Specifications
Chen, Ran
Zhang, Wenhui
[J]. 2019 24TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2019), 2019, : 21 - 30

← 1 2 3 4 5 →