A generalized methodology and framework for the validation and verification of multi-agent systems

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.