Ein formaler Ansatz für agentenbasierte große gleichzeitige intelligente Systeme