Nuno David

Learn More
The classical theory of computation does not represent an adequate model of reality for simulation in the social sciences. The aim of this paper is to construct a methodological perspective that is able to conciliate the formal and empirical logic of program verification in computer science, with the interpretative and multiparadigmatic logic of the social(More)
We present a utility-driven rationality and a complementary-driven rationality based model, relative to multiple partner coalitions, motivated by relations of dependence and instrumental goal adoption. For this purpose, we analyze social dependency patterns and its corresponding dependency networks. The networks are used as a source of quantitative and(More)
The terms 'verification' and 'validation' are widely used both in the natural and the social sciences. They are extensively used in simulation, and are often associated with the need to evaluate models at different stages of the simulation development process. Frequently, terminological ambiguities arise when researchers conflate, along the simulation(More)
In this paper we propose a preliminary reference model for the requirements specification of agent-based simulation platforms. We give the following contributions: (i) aid the identification of general principles to develop platforms; (ii) advance the analysis and prospection of technical-operational and high-level requirements; (iii) promote the(More)
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 we show that the(More)
There is a growing belief that the agents' cognitive structures play a central role on the enhancement of predicative capacities of decision-making strategies. This paper analyses and simulates the construction of cognitive social structures in the process of decision making with multiple actors. In this process it is argued that the agent's rational(More)
In this work we propose a reference model for the requirements specification of agent-based simulation platforms. We give the following contributions: (i) aid the identification of general principles to develop platforms; (ii) advance the analysis and prospection of technical-operational and high-level requirements; (iii) promote the identification of(More)