Reduction of Knowledge Structures

Computes the reduction of knowledge structures.

# S3 method for kstructure
reduction(x, operation=c("discrimination", "union", "intersection"),...)
  # S3 method for kfamset
reduction(x, operation=c("discrimination", "union", "intersection"),...)

Arguments

x	An R object of class kstructure or kfamset.
operation	The set operation under which the reduction is computed.
...	Other arguments to be passed to methods.

Details

reduction performs the reduction of a knowledge structure by computing the minimal subset having the same closure as the knowledge structure. Additionally, it allows for computing the discriminative reduction of a knowledge structure. Such a discriminative reduction is a knowledge structure in which each notion contains a single item.

Value

An R object of the same class as x where each subset represents one knowledge state of the resulting reduction.

References

Doignon, J.-P., Falmagne, J.-C. (1999) Knowledge Spaces. Heidelberg: Springer Verlag.

See also

kstructure, knotions, closure

Examples

kst <- kstructure(set(set("a"), set("a","b"), set("a","c"), set("d","e"), 
   set("a","b","d","e"), set("a","c","d","e"), set("a","b","c","d","e")))
reduction(kst, operation="discrimination")
#> {{}, {a}, {de}, {a, b}, {a, c}, {a, b, de}, {a, c, de}, {a, b, c, de}}