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 条
  • [41] A framework for adaptive negotiation in multi-agent systems
    Zhang, Zhan
    Ghenniwa, Hamada
    Shen, Weiming
    PROCEEDINGS OF THE 2007 11TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, VOLS 1 AND 2, 2007, : 406 - +
  • [42] Interoperability - Rules for testing and verification of multi-agent systems
    Wassermann, Erik
    Fay, Alexander
    ATP EDITION, 2018, (03): : 34 - 45
  • [43] Verification of Multi-agent Systems with Timeouts for Migration and Communication
    Aman, Bogdan
    Ciobanu, Gabriel
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2019, 2019, 11884 : 134 - 151
  • [44] MCMAS: A Model Checker for the Verification of Multi-Agent Systems
    Lomuscio, Alessio
    Qu, Hongyang
    Raimondi, Franco
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2009, 5643 : 682 - +
  • [45] Ecological calculus framework for multi-agent systems
    Zhang Hong
    He Huacan
    2007 INAUGURAL IEEE INTERNATIONAL CONFERENCE ON DIGITAL ECOSYSTEMS AND TECHNOLOGIES, 2007, : 536 - +
  • [46] A framework for facilitating cooperation in multi-agent systems
    Toktam Ebadi
    Maryam Purvis
    Martin Purvis
    The Journal of Supercomputing, 2010, 51 : 393 - 417
  • [47] Automatic verification of deontic properties of multi-agent systems
    Raimondi, F
    Lomuscio, A
    DEONTIC LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2004, 3065 : 228 - 242
  • [48] Practical Model Reductions for Verification of Multi-Agent Systems
    Jamroga, Wojciech
    Kim, Yan
    PROCEEDINGS OF THE THIRTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2023, 2023, : 7135 - 7139
  • [49] Rational verification: game-theoretic verification of multi-agent systems
    Abate, Alessandro
    Gutierrez, Julian
    Hammond, Lewis
    Harrenstein, Paul
    Kwiatkowska, Marta
    Najib, Muhammad
    Perelli, Giuseppe
    Steeples, Thomas
    Wooldridge, Michael
    APPLIED INTELLIGENCE, 2021, 51 (09) : 6569 - 6584
  • [50] Rational verification: game-theoretic verification of multi-agent systems
    Alessandro Abate
    Julian Gutierrez
    Lewis Hammond
    Paul Harrenstein
    Marta Kwiatkowska
    Muhammad Najib
    Giuseppe Perelli
    Thomas Steeples
    Michael Wooldridge
    Applied Intelligence, 2021, 51 : 6569 - 6584
12345