LEADSTO: A Language and Environment for Analysis of Dynamics by SimulaTiOn
until further notice
Berlin ; Heidelberg : Springer
InEymann, T.; Klügl, F.; Lamersdorf, W. (ed.), MATES 2005: Multiagent System Technologies, pp. 165-178
Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005
Article in monograph or in proceedings
Display more detailsDisplay less details
SW OZ DCC AI
SW OZ NICI KI
Eymann, T.; Klügl, F.; Lamersdorf, W. (ed.), MATES 2005: Multiagent System Technologies
SubjectCognitive artificial intelligence
This paper presents the language and software environment LEADSTO that has been developed to model and simulate the dynamics of Multi-Agent Systems (MAS) in terms of both qualitative and quantitative concepts. The LEADSTO language is a declarative order-sorted temporal language, extended with quantitative means. Dynamics of MAS can be modelled by specifying the direct temporal dependencies between state properties in successive states. Based on the LEADSTO language, a software environment was developed that performs simulations of LEADSTO specifications, generates simulation traces for further analysis, and constructs visual representations of traces. The approach proved its value in a number of projects within different domains of MAS research.
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.