kstMatrix (version 2.3-0)

kmunionclosure: Close a family of sets under union

Description

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

Usage

kmunionclosure(x)
# S3 method for kmdata
kmunionclosure(x)
# S3 method for kmfamset
kmunionclosure(x)
# S3 method for kmstructure
kmunionclosure(x)

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.

kmunionclosure implements the irredundant algorithm developed by Dowling (1993).

Arguments

x

Binary matrix representing a family of sets

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: kmSF2basis(), kmSR2basis(), kmbasis(), kmsurmisefunction(), kmsurmiserelation()

Examples

kmunionclosure(xpl$basis)