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 条

[31] Validation and Verification of Joint-Actions in Multi-Agent Planning
Nath, Amar
Niyogi, Rajdeep
2015 14TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY (ICIT 2015), 2015, : 187 - 192
[32] Specification and verification of multi-agent systems with a property-preserving component-based methodology
Huang, HJ
Wang, X
Chen, QC
Wang, XL
PROCEEDINGS OF 2005 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-9, 2005, : 90 - 95
[33] Efficient Verification of Multi-Agent Systems Through Parallel
Yao, Zhen
Liu, Jing
Chen, Xiaohong
Han, Li
Sun, Haiying
2024 IEEE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS, 2024, : 745 - 756
[34] Verification of Epistemic Properties in Probabilistic Multi-Agent Systems
Delgado, Carla
Benevides, Mario
MULTI-AGENT SYSTEM TECHNOLOGIES, PROCEEDINGS, 2009, 5774 : 16 - +
[35] Runtime Verification of Multi-agent Systems Interaction Quality
Abu Bakar, Najwa
Selamat, Ali
INTELLIGENT INFORMATION AND DATABASE SYSTEMS (ACIIDS 2013), PT I,, 2013, 7802 : 435 - 444
[36] Domain theory verification using multi-agent systems
Novikova, G. M.
Azofeifa, E. J.
XII INTERNATIONAL SYMPOSIUM INTELLIGENT SYSTEMS 2016, (INTELS 2016), 2017, 103 : 120 - 125
[37] Design and Verification of Multi-Agent Systems with the Use of Bigraphs
Cybulski, Piotr
Zielinski, Zbigniew
APPLIED SCIENCES-BASEL, 2021, 11 (18):
[38] A framework for facilitating cooperation in multi-agent systems
Ebadi, Toktam
Purvis, Maryam
Purvis, Martin
JOURNAL OF SUPERCOMPUTING, 2010, 51 (03): : 393 - 417
[39] Formal framework for adaptive multi-agent systems
Jiao, WP
Zhou, MH
Wang, QX
IEEE/WIC INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY, PROCEEDINGS, 2003, : 442 - 445
[40] A Decentralized Framework for Multi-Agent Robotic Systems
Jimenez, Andres C.
Garcia-Diaz, Vicente
Bolanos, Sandro
SENSORS, 2018, 18 (02):

← 1 2 3 4 5 →