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 条

[1] A sociological framework for multi-agent systems validation and verification'
Fuentes, R
Gómez-Sanz, JJ
Pavón, J
CONCEPTUAL MODELING FOR ADVANCED APPLICATION DOMAINS, PROCEEDINGS, 2004, 3289 : 458 - 469
[2] A Verification Framework for Normative Multi-Agent Systems
Astefanoaei, Lacramioara
Dastani, Mehdi
Meyer, John-Jules
de Boer, Frank S.
INTELLIGENT AGENTS AND MULTI-AGENT SYSTEMS, PROCEEDINGS, 2008, 5357 : 54 - +
[3] A Runtime Verification Framework for Dynamically Adaptive Multi-agent Systems
Lim, Yoo Jin
Hong, Gwangui
Shin, Donghwan
Jee, Eunkyoung
Bae, Doo-Hwan
2016 INTERNATIONAL CONFERENCE ON BIG DATA AND SMART COMPUTING (BIGCOMP), 2016, : 509 - 512
[4] Towards verification of multi-agent systems
Gruer, P
Hilaire, V
Koukam, A
FOURTH INTERNATIONAL CONFERENCE ON MULTIAGENT SYSTEMS, PROCEEDINGS, 2000, : 393 - 394
[5] Debugging and Verification of Multi-Agent Systems
Benac Earle, Clara
Fredlund, Lars-Ake
COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2009, 2009, 5717 : 263 - 270
[6] Parameterised verification for multi-agent systems
Kouvaros, Panagiotis
Lomuscio, Alessio
ARTIFICIAL INTELLIGENCE, 2016, 234 : 152 - 189
[7] Distributed Formation Control: A Generalized Framework for Multi-Agent and Network Systems
Ahn, Hyo-Sung
IEEE 13TH INTERNATIONAL SYMPOSIUM ON APPLIED COMPUTATIONAL INTELLIGENCE AND INFORMATICS (SACI 2019), 2019, : 13 - 13
[8] ROS-based Collaborative Algorithm Verification Framework for Multi-agent Systems
Qin, Mingxing
Wang, Zhong
Liu, Xin
2022 34TH CHINESE CONTROL AND DECISION CONFERENCE, CCDC, 2022, : 2006 - 2010
[9] Multi-Agent Verification and Validation for RFID System Architecture
Lockman, Muhammad Tarmizi
Selamat, Ali
ICED: 2008 INTERNATIONAL CONFERENCE ON ELECTRONIC DESIGN, VOLS 1 AND 2, 2008, : 356 - 360
[10] Multi-Agent Object Level AI Validation and Verification
Nourani, C. F.
Software Engineering Notes, 21 (01):

← 1 2 3 4 5 →