Association rule mining with modal logic

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.

const EnhancedItemset = Tuple{Itemset,UInt32}

Compressed representation of multiple, identical Itemsets.

See also Itemset.

const ConditionalPatternBase = Vector{EnhancedItemset}

Collection of EnhancedItemset.

See also EnhancedItemset, fpgrowth, FPTree.