Stochastic relations
Specifications and models created with the methods of logics usually use the representation and calculation tools of probability and uncertainty for connecting the parts of the non-monotonic process. The example shows how the intelligent modelling of tasks unites the tools developed in system science.