# Reduction of Knowledge Structures

### Description

Computes the reduction of knowledge structures.

### Usage

1 2 |

### Arguments

`x` |
An |

`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`

, `reduction`

### Examples

1 2 3 | ```
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")
``` |