kmunionclosure {kstMatrix}

Close a family of sets under union

Description

kmunionclosure returns a matrix representing a knowledge space. Please note that it takes quite some time for computing larger knowledge spaces.

Usage

kmunionclosure(x)

Arguments

x

Binary matrix representing a family of sets

Value

Binary matrix representing the corresponding knowledge space, i.e. the closure of the family under union including the empty set and the full set.

kmconstrDowling implements the irredundant algorithm deveoped by Dowling (1993).

References

Dowling, C. E. (1993). On the irredundant construction of knowledge spaces. Journal of Mathematical Psychology, 37, 49–62.

See Also

Other Different representations for knowledge spaces: kmbasis(), kmsurmisefunction(), kmsurmiserelation()

Examples

kmunionclosure(xpl$basis)