justcodebase/symbolicinference.jl

Probabilistic inference using the symbolic method.

SymbolicInference

Probability-based inferences based on the symbolic method.

This software implements algorithms that leverage analytic combinatorics to make inference about different types of objects. See AnalyticComb.jl

Time-series

Chaotic, non-linear systems and recurrence analysis

See the white-paper and it's repo

The recurrence of states, in the meaning that states are again arbitrarily close after some time of divergence, is a fundamental property of deterministic dynamical systems and is typical for nonlinear or chaotic systems.

Poincaré discusse this property in 1890 and it was later proved by Constantin Carathéodory (see Poincaré recurrence theorem). Further on, several techniques address recurrences in dynamical systems for inference.

Recurrence plots (RPs) were creature to capture such patterns and several parameters that caractherize the underlying time-series can be obtained with recurrence quantification analysis (RQA).

Since each pair of states is mapped into a binary value ('close enough',1, or 'not close enough',0), making probabilistic inference with symbolic methods is straightforward.

The procedure in rec_matrix_motifs() iterates over recurrence matrices diagonals and checks for repeated motifs. Specifically, whether the size of the longest consecutive sequence in each off-diagonal is unexpectedly large. This may hint at underlying patterns, such as autocorrelations and periodic components.

Graphs

Genomics