Package org.tweetyproject.logics.pl.examples

Class StreamInconsistencyEvaluationExample2

java.lang.Object

org.tweetyproject.logics.pl.examples.StreamInconsistencyEvaluationExample2

public class StreamInconsistencyEvaluationExample2
extends Object

Illustrates stream-based inconsistency measurement.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field	Description
static final String	BELIEFSET_PATH	BELIEFSET PATH
static final double	CNF_RATIO	CNF RATIO
static final int	NUMBER_OF_ITERATIONS	NUMBER OF ITERATIONS
static final String	RESULT_PATH	RESULT PATH
static final int	SIGNATURE_SIZE	SIGNATURE SIZE
static final int	SIZE_OF_KNOWLEDGEBASES	SIZE OF KNOWLEDGEBASES
static final BinaryFunction<Double,Double,Double>	STANDARD_AGGFUNCTION	STANDARD AGGFUNCTION
static final int	STANDARD_EVENTS	STANDARD EVENTS
static final long	TIMEOUT	TIMEOUT
static final String	TMP_FILE_FOLDER	TMP FILE FOLDER

Constructor Summary

Constructors

Constructor	Description
StreamInconsistencyEvaluationExample2()

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)	main

Methods inherited from class java.lang.Object

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

Field Details

SIGNATURE_SIZE

public static final int SIGNATURE_SIZE

SIGNATURE SIZE

See Also:

• Constant Field Values

CNF_RATIO

public static final double CNF_RATIO

CNF RATIO

See Also:

• Constant Field Values

NUMBER_OF_ITERATIONS

public static final int NUMBER_OF_ITERATIONS

NUMBER OF ITERATIONS

See Also:

• Constant Field Values

SIZE_OF_KNOWLEDGEBASES

public static final int SIZE_OF_KNOWLEDGEBASES

SIZE OF KNOWLEDGEBASES

See Also:

• Constant Field Values

STANDARD_AGGFUNCTION

public static final BinaryFunction<Double,Double,Double> STANDARD_AGGFUNCTION

STANDARD AGGFUNCTION

STANDARD_EVENTS

public static final int STANDARD_EVENTS

STANDARD EVENTS

See Also:

• Constant Field Values

RESULT_PATH

public static final String RESULT_PATH

RESULT PATH

See Also:

• Constant Field Values

BELIEFSET_PATH

public static final String BELIEFSET_PATH

BELIEFSET PATH

See Also:

• Constant Field Values

TMP_FILE_FOLDER

public static final String TMP_FILE_FOLDER

TMP FILE FOLDER

See Also:

• Constant Field Values

TIMEOUT

public static final long TIMEOUT

TIMEOUT

See Also:

• Constant Field Values

Constructor Details

StreamInconsistencyEvaluationExample2

public StreamInconsistencyEvaluationExample2()

Method Details

main

public static void main(String[] args)
                 throws InterruptedException

main

Parameters:

args - arguments

Throws:

InterruptedException - InterruptedException