space {kst}R Documentation

Space Property of a Knowledge Structure

Description

Tests for and converts to knowledge space.

Usage

  kstructure_is_kspace(x)
  kspace(x)

Arguments

x An R object of class kstructure.

Details

A knowledge structure is considered a knowledge space if it includes one state for the empty set {}, one state for the full set of domain problems Q, and a state for the union of any two knowledge states (i.e., the closure under union).

kstructure_is_kspace takes an arbitrary knowledge structure and tests for its space property.

kspace takes an arbitrary knowledge structure and returns the corresponding knowledge space.

Value

For kstructure_is_kspace a logical value.
For kspace an R object of class kspace where each subset represents one knowledge state of the knowledge space.

References

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

See Also

kstructure, closure.kstructure

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")))

# test for knowledge space
kstructure_is_kspace(kst)

# convert to knowledge space
kspace(kst)

[Package kst version 0.1-10 Index]