Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
fr:projet_historical_facts_analyzer [2015/06/05 08:48] – fraggle | fr:projet_historical_facts_analyzer [2021/12/27 18:23] (Version actuelle) – modification externe 127.0.0.1 | ||
---|---|---|---|
Ligne 5: | Ligne 5: | ||
Let's define the finite set of historical facts F={f1,…,fn}F={f1,…,fn}.\\ | Let's define the finite set of historical facts F={f1,…,fn}.\\ | ||
- | $ \forall i \in \{1, | + | $$ |
+ | \forall i \in \{1, | ||
\begin{array}{lrcl} | \begin{array}{lrcl} | ||
- | | + | |
- | & f_{i} & \stackrel{f}{\longmapsto} & f(f_{i}) = \left\{ | + | & f_{i} & \stackrel{h}{\longmapsto} & h(f_{i}) = \left\{ |
- | | + | |
- | 1 & \quad si\,f_{i}\,est\,n'est\,pas\,arrivé | + | 1 & \quad if\,f_{i}\,hasn't\,happened |
| | ||
- | \right | + | \right |
- | \end{array} $ | + | \end{array} $$ |
+ | |||
+ | The set F is meant to be a complete set of all facts that might happen or not. The h function is only here to cope with the complexity associated to build a reduction of the list of facts to simple logical fact that only exist or not in the history line we want to model. | ||
+ | |||
+ | In order to build facts dependencies, | ||
- | The set F is mean to be a complete set of all facts that might happen or not. The $ f $ function is only here to cope with the complexity associated to build a reduction of the list of facts to simple logical fact that only exist or not in the history line we want to model. | + | $$ \begin{array}{lrcl} |
+ | p: & \mathcal{F} \times \mathcal{F} & \longrightarrow & [0,1] \\ | ||
+ | & (f_{i}, | ||
+ | \end{array} $$ | ||
- | In order to build facts dependencies, | + | that capture |