HYPERLATTICES
Generalized Lattice data-types for Common Lisp, including Algebraic Lattices, Hyperlattices, and Probabilistic Hyperlattices, which intends to follow the packages-as-types convention.
Probabilistic Lattices
Probabilistic Lattices are a data-type for representing partially ordered sets (posets) with a join operation and a meet operation, where each element is associated with a probability. They are a specialization of Algebraic Lattices used for probabilistic logics and inference.