conexp.fx.core.algorithm.exploration

Class AttributeExploration<G,M>

java.lang.Object

conexp.fx.core.algorithm.exploration.AttributeExploration<G,M>

Type Parameters:

G - the type of objects.

M - the type of attributes.

public final class AttributeExploration<G,M>
extends Object

The standard attribute exploration algorithm. This implementation is wrapped around the NextImplication class, that computes the formal implications in the canonical base of a formal context by means of the NextClosure algorithm.

Field Summary

Fields

Modifier and Type	Field and Description
protected MatrixContext<G,M>	context
protected Expert<G,M>	expert
protected Set<Implication<G,M>>	implications
protected Set<M>	pseudoClosure

Constructor Summary

Constructors

Constructor and Description
AttributeExploration(MatrixContext<G,M> context, Expert<G,M> expert) Constructs a new attribute exploration process.

Method Summary

Modifier and Type	Method and Description
static <G,M> Set<Implication<G,M>>	getCanonicalBase(MatrixContext<G,M> context)
MatrixContext<G,M>	getFormalContext()
Set<Implication<G,M>>	getImplicationalBase()
void	start() This method starts the attribute exploration.
static AttributeExploration<String,String>	withHumanExpert(MatrixContext<String,String> context) This method may only be called within an instance of Concept Explorer FX.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

context

protected final MatrixContext<G,M> context

expert

protected final Expert<G,M> expert

pseudoClosure

protected Set<M> pseudoClosure

implications

protected final Set<Implication<G,M>> implications

Constructor Detail

AttributeExploration

public AttributeExploration(MatrixContext<G,M> context,
                            Expert<G,M> expert)

Constructs a new attribute exploration process. It has to be started by a call to the method run.

Parameters:

context -

expert -

Method Detail

withHumanExpert

public static final AttributeExploration<String,String> withHumanExpert(MatrixContext<String,String> context)

This method may only be called within an instance of Concept Explorer FX.

Parameters:

context -

Returns:

getCanonicalBase

public static final <G,M> Set<Implication<G,M>> getCanonicalBase(MatrixContext<G,M> context)

start

public final void start()
                 throws InterruptedException

This method starts the attribute exploration. If the expert cancels the exploration process, then an InterruptedException is thrown.

Throws:

InterruptedException - if expert cancels the attribute exploration.

getImplicationalBase

public final Set<Implication<G,M>> getImplicationalBase()

Returns:

the implicational base, that was constructed during the attribute exploration.

getFormalContext

public final MatrixContext<G,M> getFormalContext()

Returns:

the formal context, that is an extension of the input context and contains all counterexamples that have been given by the expert during the attribute exploration.