Title :
A generalized methodology and framework for the validation and verification of multi-agent systems
Author :
Jabbar, Shahid ; Zaidi, Abbas K.
Author_Institution :
Mohamamd Ali Jinnah Univ., Karachi, Pakistan
Abstract :
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 runtime 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
Keywords :
knowledge based systems; multi-agent systems; software agents; generalized methodology; intelligent agent; multi-agent systems; real-time sensitive domains; validation and verification; Artificial intelligence; Data mining; Intelligent agent; Knowledge acquisition; Knowledge based systems; Knowledge engineering; Machine learning algorithms; Multiagent systems; Ontologies; Real time systems;
Conference_Titel :
Systems, Man, and Cybernetics, 2001 IEEE International Conference on
Conference_Location :
Tucson, AZ
Print_ISBN :
0-7803-7087-2
DOI :
10.1109/ICSMC.2001.973019
