Compositional verification of multi-agent systems in temporal multi-epistemic logic

被引：0
|
作者：
Engelfriet, J [1 ]
Jonker, CM [1 ]
Treur, J [1 ]
机构：
[1] Free Univ Amsterdam, Dept Math & Comp Sci, Artificial Intelligence Grp, NL-1081 HV Amsterdam, Netherlands
来源：
INTELLIGENT AGENTS V: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES | 1999年 / 1555卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Compositional verification aims at managing the complexity of the verification process by exploiting compositionality of the system architecture. In this paper we explore the use of a temporal epistemic logic to formalize the process of verification of compositional multi-agent systems. The specification of a system, its properties and their proofs are of a compositional nature, and areformalized within a compositional temporal logic: Temporal Multi-Epistemic Logic. It is shown that compositional proofs are valid under certain conditions. Finally, the possibility of incorporating default persistence of information in a system, is explored.
引用
收藏
页码：177 / 193
页数：17
相关论文
共 50 条
  • [1] 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
  • [2] Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic
    Belardinelli, Francesco
    Lomuscio, Alessio
    Murano, Aniello
    Rubin, Sasha
    [J]. PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 91 - 97
  • [3] Verification of Epistemic Properties in Probabilistic Multi-Agent Systems
    Delgado, Carla
    Benevides, Mario
    [J]. MULTI-AGENT SYSTEM TECHNOLOGIES, PROCEEDINGS, 2009, 5774 : 16 - +
  • [4] 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
  • [5] Temporal verification of probabilistic multi-agent systems
    Dekhtyar, Michael I.
    Dikovsky, Alexander Ja.
    Valiev, Mars K.
    [J]. PILLARS OF COMPUTER SCIENCE, 2008, 4800 : 256 - +
  • [6] A Temporal Logic for Stochastic Multi-Agent Systems
    Jamroga, Wojciech
    [J]. INTELLIGENT AGENTS AND MULTI-AGENT SYSTEMS, PROCEEDINGS, 2008, 5357 : 239 - 250
  • [7] Formal infrastructure for verification of epistemic properties of multi-agent systems
    Bagic, M.
    Kunstic, M.
    [J]. MODELLING AND SIMULATION 2006, 2006, : 328 - +
  • [8] Representing and verifying temporal epistemic properties in multi-agent systems
    Cao, Zining
    [J]. COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2007, 4371 : 134 - 150
  • [9] Verifying Epistemic Properties of Multi-agent Systems via Action-based Temporal Logic
    Bagic, Marina
    Babac, Aleksandar
    Ciglaric, Mojca
    [J]. 2008 INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE FOR MODELLING CONTROL & AUTOMATION, VOLS 1 AND 2, 2008, : 470 - +
  • [10] 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
12345