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

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

Volumn 2, Issue , 2001, Pages 835-840

  Jabbar, Shahid ^a   Zaidi, Abbas K ^a  

^a Muhammad Ali Jinnah University   (Pakistan)

Author keywords

Multi agent systems; Validation verification

Indexed keywords

ALGORITHMS; COMPUTER ARCHITECTURE; INTELLIGENT AGENTS; KNOWLEDGE BASED SYSTEMS; PETRI NETS; SYSTEMS ANALYSIS;

COORDINATION KNOWLEDGE; DOMAIN KNOWLEDGE;

MULTI AGENT SYSTEMS;

EID: 0035723663     PISSN: 08843627     EISSN: None     Source Type: Journal    
DOI: 10.1109/ICSMC.2001.973019     Document Type: Article

References (6)

1. COVERAGE: Verifying multi-agent knowledge based systems
2. Utility for the validation and verification of knowledge bases of intelligent agents
3. Validation and verification of decision making rules
4. The logic of incomplete knowledge bases
5. A tool for knowledge base verification
6. Validation and verification of decision making rules