Association rule mining with modal logic

New building blocks

ModalAssociationRules.WorldMaskType
const WorldMask = BitVector

Vector whose i-th position stores how many times a certain MeaningfulnessMeasure applied on a specific Itemsets is true on the i-th world of multiple instances.

If a single instance is considered, then this acts as a bit mask.

For example, if we consider 5 Kripke structures of a modal dataset, each of which containing 3 worlds, then the WorldMask of an itemset could be [5,2,0], meaning that the itemset is always true on the first world of every instance. In the second world, the same itemset is true on it only for two instances. Considering the third world, then the itemset is never true.

See also Itemset, MeaningfulnessMeasure.

source
Missing docstring.

Missing docstring for Contributors. Check Documenter's build log for details.

Missing docstring.

Missing docstring for contributors. Check Documenter's build log for details.

Missing docstring.

Missing docstring for contributors!. Check Documenter's build log for details.

Missing docstring.

Missing docstring for initminingstate(::typeof(fpgrowth), ::AbstractDataset). Check Documenter's build log for details.