Agent-Based Refinement for Predicate Abstraction of Multi-Agent Systems

被引：10

作者：

Belardinelli, Francesco ^{[1
]}

Lomuscio, Alessio ^{[1
]}

Michaliszyn, Jakub ^{[2
]}

机构：

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

[2] Univ Wroclaw, Inst Comp Sci, PL-50138 Wroclaw, Poland

来源：

ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE | 2016年 / 285卷

关键词：

MODEL CHECKING; LOGIC;

D O I：

10.3233/978-1-61499-672-9-286

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

We put forward an agent-based refinement methodology for the verification of infinite-state Multi-Agent Systems by predicate abstraction. We use specifications defined in a three-valued variant of the temporal epistemic logic ATLK. We define "failure states" as candidates for refinement, and provide a sound automatic procedure for their identification. Further, we introduce a methodology based on Craig's interpolants for the refinement of the agent-specific predicates upon which the abstraction is built. We illustrate the refinement technique on an infinite-state auction scenario, and show that specifications of interest, that could not be checked by plain abstraction, can now be verified on the refined models.

引用

页码：286 / 294

页数：9

共 50 条

[1] An abstraction-refinement framework for multi-agent systems
Ball, Thomas
Kupferman, Oma
[J]. 21ST ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2006, : 379 - +
[2] A Review of Agent-Based Programming for Multi-Agent Systems
Cardoso, Rafael C.
Ferrando, Angelo
[J]. COMPUTERS, 2021, 10 (02) : 1 - 15
[3] Parameterised Verification of Infinite State Multi-Agent Systems via Predicate Abstraction
Kouvaros, Panagiotis
Lomuscio, Alessio
[J]. THIRTY-FIRST AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 3013 - 3020
[4] Verification of Multi-Agent Systems via Predicate Abstraction against ATLK Specifications
Lomuscio, Alessio
Michliszyn, Jakub
[J]. AAMAS'16: PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS, 2016, : 662 - 670
[5] Agent-based computing from multi-agent systems to agent-based models: a visual survey
Niazi, Muaz
Hussain, Amir
[J]. SCIENTOMETRICS, 2011, 89 (02) : 479 - 499
[6] Agent-based computing from multi-agent systems to agent-based models: a visual survey
Muaz Niazi
Amir Hussain
[J]. Scientometrics, 2011, 89 : 479 - 499
[7] Dynamic Agent-Based Reward Shaping for Multi-Agent Systems
Sadeghlou, Maryam
Akbarzadeh-T, Mohammad Reza
Naghibi-S, Mohammad Bagher
[J]. 2014 IRANIAN CONFERENCE ON INTELLIGENT SYSTEMS (ICIS), 2014,
[8] Classification of Agent-Based Models from the Perspective of Multi-Agent Systems
Pudane, Mara
[J]. 2017 5TH IEEE WORKSHOP ON ADVANCES IN INFORMATION, ELECTRONIC AND ELECTRICAL ENGINEERING (AIEEE'2017), 2017,
[9] The Refinement of Choreographed Multi-Agent Systems
Astefanoaei, Lacramioara
de Boer, Frank S.
Dastani, Mehdi
[J]. DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES VII, 2010, 5948 : 20 - +
[10] Abstraction for model checking multi-agent systems
Conghua Zhou
Bo Sun
Zhifeng Liu
[J]. Frontiers of Computer Science in China, 2011, 5 : 14 - 25

← 1 2 3 4 5 →