Ciência_Iscte
Publicações
Descrição Detalhada da Publicação
Título Revista
Lecture Notes in Computer Science
Ano (publicação definitiva)
2003
Língua
Inglês
País
Alemanha
Mais Informação
Web of Science®
Scopus
Google Scholar
Esta publicação não está indexada no Overton
Abstract/Resumo
In this paper we propose an emergence-driven software process for agent-based simulation that clarifies the traceability of micro and macro observations to micro and macro specifications in agent-based models. We use the concept of hyperstructures [1] to illustrate how micro and macro specifications interact in agent-based models, and show that the reductionism/ non-reductionism debate is important to understand the reliability of agent-based simulations. In particular, we show that the effort expended in the verification of agent-based simulations increases exponentially with the number of micro and macro specifications, and that the reliability assessment of non-anticipated results in simulation is in practice not possible. According to these results we claim to be impossible in practice to verify that an agent-based conceptual model has been implemented properly as a computational model, since we do not usually know what we want the output to be a priori. We thus advocate that the classic process of verification, validation and exploration of non-anticipated results is not reliable in agent-based simulation, and call into question the applicability of traditional software engineering methods to agent-based simulation.
Agradecimentos/Acknowledgements
--
Palavras-chave
Classificação Fields of Science and Technology
- Matemáticas - Ciências Naturais
- Ciências da Computação e da Informação - Ciências Naturais