Overview

In this documentation the full workings of the LeadsTo and its python framework will be explained.

Contents:

LeadsTo consists of the following components:

  • Sorts: Types of values that can be used in the model, kind of like variable types.
  • Predicates: The basic unit of knowledge in a model, used to model one concept from real life.
  • Scenarios:Starting values for the predicates.
  • Rules: Logic used to calculate new values for predicates. These are what makes the model dynamic.
  • States:Timesteps of the model containing all predicates with their different values.

Full image image