## Leadsto: A language and environment for analysis of dynamics by simulation (2005)

### Cached

### Download Links

- [www.cs.vu.nl]
- [www.few.vu.nl]
- [www.cs.vu.nl]
- [www.few.vu.nl]
- [www.cs.vu.nl]
- [www.few.vu.nl]
- [www.few.vu.nl]
- [www.cs.vu.nl]
- DBLP

### Other Repositories/Bibliography

Venue: | Proc. of the Third German Conference on Multi-Agent System Technologies, MATES'05. Lecture Notes in Artificial Intelligence |

Citations: | 168 - 123 self |

### BibTeX

@INPROCEEDINGS{Bosse05leadsto:a,

author = {Tibor Bosse and Catholijn M. Jonker and Lourens Van Der Meij and Jan Treur},

title = {Leadsto: A language and environment for analysis of dynamics by simulation},

booktitle = {Proc. of the Third German Conference on Multi-Agent System Technologies, MATES'05. Lecture Notes in Artificial Intelligence},

year = {2005},

pages = {165--178},

publisher = {Springer Verlag}

}

### Years of Citing Articles

### OpenURL

### Abstract

Abstract. 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. 1

### Citations

662 | Qualitative process theory
- Forbus
- 1984
(Show Context)
Citation Context ... to bridge the gap between the Design and the Implementation phase.sGenerally, in simulations various formats are used to specify basic mechanisms or causal relations within a process, see e.g., [1], =-=[5]-=-, [9]. Depending on the domain of application such basic mechanisms need to be formulated quantitatively or qualitatively. Usually, within a given application explicit boundaries can be given in which... |

217 | Design for a Brain - Ashby - 1952 |

184 | Fibring Logics - Gabbay - 1999 |

86 | METATEM: A framework for programming in temporal logic - Barringer, Fisher, et al. - 1989 |

78 | The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems - Gabbay - 1987 |

73 | Partial logic - Blamey - 2002 |

48 |
editors. The Imperative Future
- Barringer, Fisher, et al.
- 1996
(Show Context)
Citation Context ... tool to bridge the gap between the Design and the Implementation phase.sGenerally, in simulations various formats are used to specify basic mechanisms or causal relations within a process, see e.g., =-=[1]-=-, [5], [9]. Depending on the domain of application such basic mechanisms need to be formulated quantitatively or qualitatively. Usually, within a given application explicit boundaries can be given in ... |

47 |
Extensions of first order logic
- Manzano
- 1996
(Show Context)
Citation Context ...([X:between(1,2)], range(10,20), a(X)) makes a(1) and a(2) true in the time range (10,20). Likewise, an entry holds_periodically([], range(0,1), 10, and(p,q)) makes p and q true in time ranges (0,1), =-=(10,11)-=-, (20,21), and so on. Simulation range. The time range over which the simulation must be run is expressed by means of the constructs ’start_time(‘<Time>’)’ and ’end_time(‘<Time>’)’. Visualisation of T... |

44 | PLC–Automata: A New Class of Implementable Real– Time Automata,” in Transformation-Based Reactive Systems Development (ARTS’97), ser
- Dierks
- 1997
(Show Context)
Citation Context ...rmation on model checking duration calculus formulae. Duration Calculus itself is not directly used for creating executable models, but environments for executable code exist (e.g., PLC automata, see =-=[4]-=-) for which a semantics is given in Duration Calculus. Another family of modelling approaches based on causal relations is the class of qualitative reasoning techniques (see, e.g., [5]). The main idea... |

44 | A normal form for temporal logics and its applications in theorem proving and execution - FISHER - 1997 |

28 | Temporal development methods for agent-based systems - Fisher - 2005 |

27 |
The Imperative Future: Principles of Executable Temporal Logics Research Studies
- Barringer, Fisher, et al.
- 1996
(Show Context)
Citation Context ...Delay>’)’, where <Delay> := ‘efgh(‘<E-Range>’,‘<F-Range>’,‘<G-Range>’,‘<H-Range>’)’ b <Vars> := [<Variable>{‘,’<Variable>}*] For example, α →0, 0, 1, 1 β is represented as leadsto([], alfa, beta, efgh=-=(0,0,1,1)-=-). Variables occurring in LEADSTO rules must be explicitly declared as <Variable> entries. Formulae. LEADSTO rules contain formulae. The current implementation allows conjunctions of atoms or negated ... |

25 | Operators vs arguments: The ins and outs of reification - Galton |

23 | Dynamic patterns: The self-organisation of brain and behaviour - Kelso - 1995 |

20 |
Software Engineering: Principles and Practice
- Vliet
- 2000
(Show Context)
Citation Context ...loped which, when encoded in some programming language, solves a particular problem. To this end, the problem is decomposed into modules, of which the functions and interfaces are specified in detail =-=[10]-=-. Then, the result of the Design phase, the (technical) specification, can serve as a starting point for the Implementation phase. However, an important problem is the validation of this specification... |

20 |
Temporal Logic. Stanford Encyclopedia of Philosophy
- Galton
- 2003
(Show Context)
Citation Context ...dark box on top of the line indicates that the property is true during that time period, and a lighter box below the line indicates that the property is false. For example, the state property eat_norm=-=(6)-=- is true from time point 0 to 25. This example illustrates the pattern of a person with anorexia. As the figure shows, the person has an eat norm (of 6 units) that is too low for the amount of energy ... |

19 | METATEM: The Story so Far - Fisher - 2005 |

16 |
Reasoning in interval temporal logic
- Moszkowski, Manna
- 1983
(Show Context)
Citation Context ... realtime behaviour of dynamic systems, where states change over time and are represented by functions from time (reals) to the Boolean values (0 and 1). It is an extension of Interval Temporal Logic =-=[7]-=-, but with continuous time, and uses integrated durations of states as interval temporal variables. Assuming finite variability of state functions (i.e., between any two time points only a finite numb... |

9 | Model checking CTL*[DC
- Pandya
- 2001
(Show Context)
Citation Context ...oms and rules of Duration Calculus constitute a complete logic (relative to Interval Temporal Logic). A number of interesting tools have been created around (subsets of) Duration Calculus, see, e.g., =-=[8]-=- for information on model checking duration calculus formulae. Duration Calculus itself is not directly used for creating executable models, but environments for executable code exist (e.g., PLC autom... |

9 | Analysis of Adaptive Dynamical Systems for Eating Regulation Disorders - Bosse, Delfos, et al. |

7 | Formalisation and Analysis of the Temporal Dynamics of Conditioning
- Bosse, Jonker, et al.
- 2005
(Show Context)
Citation Context ...to be beneficial, since it allows for more realistic simulations of dynamic processes. An example domain where this was the case, is the domain of adaptive agents based on classical conditioning, see =-=[2]-=-. 4 Tools In this section, the LEADSTO software environment is presented. Basically, this environment consists of two programs: the Property Editor (a graphical editor for constructing and editing LEA... |

6 | Simulation and Analysis of Shared Extended Mind
- Bosse, Jonker, et al.
(Show Context)
Citation Context ...n applied in a number of research projects in different domains. In this section, an example LEADSTO specification is given for a specific domain: a Multi-Agent System for ant behaviour, adopted from =-=[3]-=-. The world in which the ants live is described by a labeled graph as depicted in Figure 3. Locations are indicated by A, B,…, and edges by E1, E2,… The ants move from location to location via edges; ... |

6 | Separation - past, present, and future - Hodkinson, Reynolds - 2005 |

5 |
Sequential calculus
- Hoare, Karger
- 1995
(Show Context)
Citation Context ... the basic mechanisms of a process (e.g., the direct causal relations), like in modelling approaches based on difference equations, and not to model the more complex mechanisms. The Duration Calculus =-=[11]-=- is a modal logic for describing and reasoning about the realtime behaviour of dynamic systems, where states change over time and are represented by functions from time (reals) to the Boolean values (... |

2 |
volume eds.) Agent-based Defeasible Control in Dynamic Environments
- Meyer, Treur
- 2002
(Show Context)
Citation Context ...state properties, and changes by transitions between such states. For such applications often qualitative, discrete modelling approaches are advocated, such as variants of modal temporal logic; e.g., =-=[6]-=-. However, using such non-quantitative methods, the more precise timing relations are lost too. For the approach used in this paper, it was decided to consider time as continuous, described by real va... |