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 Prochaine révisionLes deux révisions suivantes | ||
fr:projet_historical_facts_analyzer [2017/01/27 13:24] – fraggle | fr:projet_historical_facts_analyzer [2020/07/26 20:44] – fraggle | ||
---|---|---|---|
Ligne 5: | Ligne 5: | ||
Let's define the finite set of historical facts $ \mathcal{F} = \{f_{1}, | Let's define the finite set of historical facts $ \mathcal{F} = \{f_{1}, | ||
- | $ \forall i \in \{1, | + | $$ \forall i \in \{1, |
\begin{array}{lrcl} | \begin{array}{lrcl} | ||
Ligne 14: | Ligne 14: | ||
| | ||
\right . | \right . | ||
- | \end{array} $ | + | \end{array} |
- | The set $ \mathcal{F} $ is mean 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. | + | The set $ \mathcal{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, | In order to build facts dependencies, |