A generalized methodology and framework for the Validation and Verification of Multi-Agent Systems

被引：0
|
作者：
Jabbar, S [1 ]
Zaidi, AK [1 ]
机构：
[1] Mohamamd Ali Jinnah Univ, Karachi 75400, Pakistan
来源：
2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE | 2002年
关键词：
validation & verification; multi-agent systems;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
A significant phase in the development of an intelligent agent is the construction of its Knowledge Base (KB) on the basis of which it has to take the appropriate actions. The validation and verification (V&V) of KBs is an important part of any KB system development, ignoring it can result in serious run-time anomalies. In the context of real-time sensitive domains the importance of V&V is significantly enhanced. The intelligent agent paradigm that is best suited for the application in real-time domains is the multi-agent systems paradigm. This paper discusses a methodology for the V&V of multi-agent systems supported by an application tool.
引用
收藏
页码：835 / 840
页数：6
相关论文
共 50 条
  • [21] Modelling and verification of reconfigurable multi-agent systems
    Yehia Abd Alrahman
    Nir Piterman
    Autonomous Agents and Multi-Agent Systems, 2021, 35
  • [22] Distributed Safety Verification for Multi-Agent Systems
    Wang, Han
    Papachristodoulou, Antonis
    Margellos, Kostas
    2023 62ND IEEE CONFERENCE ON DECISION AND CONTROL, CDC, 2023, : 5481 - 5486
  • [23] Formal Specification and Verification of Multi-Agent Systems
    Bourahla, Mustapha
    Benmohamed, Mohamed
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 123 : 5 - 17
  • [24] MASD: Multi-agent systems development methodology
    Abdelaziz, T.
    Elammari, M.
    Unland, R.
    Branki, C.
    MULTIAGENT AND GRID SYSTEMS, 2010, 6 (01) : 71 - 101
  • [25] A multi-agent simulation methodology for manufacturing systems
    Goujon, JY
    Lacomme, P
    Traore, MK
    MODELLING AND SIMULATION 1996, 1996, : 183 - 187
  • [26] Dynamic Multi-Agent Systems: Conceptual Framework, Automata-Based Modelling and Verification
    Condurache, Rodica
    De Masellis, Riccardo
    Goranko, Valentin
    PRINCIPLES AND PRACTICE OF MULTI-AGENT SYSTEMS (PRIMA 2019), 2019, 11873 : 106 - 122
  • [27] Generalized Synchronization via Multi-Agent Systems
    Martinez-Guerra, Rafael
    Cruz-Ancona, Christopher D.
    Perez-Pinacho, Claudia A.
    2015 12TH INTERNATIONAL CONFERENCE ON ELECTRICAL ENGINEERING, COMPUTING SCIENCE AND AUTOMATIC CONTROL (CCE 2015), 2015,
  • [28] Generic Framework for Holonic Modelling and Multi-Agent Based Verification of Reconfigurable Manufacturing Systems
    Abid, Abdelmonaam
    Hammadi, Moncef
    Barkallah, Maher
    Choley, Jean-Yves
    Louati, Jamel
    Riviere, Alain
    Haddar, Mohamed
    INTERNATIONAL JOURNAL OF PRECISION ENGINEERING AND MANUFACTURING, 2018, 19 (12) : 1793 - 1809
  • [29] Generic Framework for Holonic Modelling and Multi-Agent Based Verification of Reconfigurable Manufacturing Systems
    Abdelmonaam Abid
    Moncef Hammadi
    Maher Barkallah
    Jean-Yves Choley
    Jamel Louati
    Alain Rivière
    Mohamed Haddar
    International Journal of Precision Engineering and Manufacturing, 2018, 19 : 1793 - 1809
  • [30] Formal Modeling and Verification of Real-Time Multi-Agent Systems: The REMM Framework
    Moscato, Francesco
    Venticinque, Salvatore
    Aversa, Rocco
    Di Martino, Beniamino
    INTELLIGENT DISTRIBUTED COMPUTING, SYSTEMS AND APPLICATIONS, 2008, 162 : 187 - +
12345