Fasli, Maria - In: Journal of Artificial Societies and Social Simulation 7 (2004) 4, pp. 7-7
This paper discusses some of the merits of the use of formal logic in multi-agent systems and agent-based simulation research. Reasons for the plethora of formal systems are discussed as well as how formal systems and agent-based social simulation can work together. As an example a formal system...