Package org.tweetyproject.logics.pl.examples

Class StreamInconsistencyEvaluationExample

java.lang.Object

org.tweetyproject.logics.pl.examples.StreamInconsistencyEvaluationExample

public class StreamInconsistencyEvaluationExample
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 int	STANDARD_EVENTS	STANDARD EVENTS
static final double	STANDARD_SMOOTHING_FACTOR	STANDARD SMOOTHING FACTOR
static final long	TIMEOUT	TIMEOUT
static final String	TMP_FILE_FOLDER	TMP FILE FOLDER

Constructor Summary

Constructors

Constructor	Description
StreamInconsistencyEvaluationExample()

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_SMOOTHING_FACTOR

public static final double STANDARD_SMOOTHING_FACTOR

STANDARD SMOOTHING FACTOR

See Also:

• Constant Field Values

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

StreamInconsistencyEvaluationExample

public StreamInconsistencyEvaluationExample()

Method Details

main

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

main

Parameters:

args - arguments

Throws:

InterruptedException - InterruptedException