Package net.sf.tweety.logics.commons.analysis.streams

Class DefaultStreamBasedInconsistencyMeasure<S extends Formula>

java.lang.Object

net.sf.tweety.logics.commons.analysis.BeliefSetInconsistencyMeasure<S>

net.sf.tweety.logics.commons.analysis.streams.StreamBasedInconsistencyMeasure<S>

net.sf.tweety.logics.commons.analysis.streams.DefaultStreamBasedInconsistencyMeasure<S>

Type Parameters:

S - The type of formulas

All Implemented Interfaces:

PostulateEvaluatable<S>, InconsistencyMeasure<BeliefSet<S,?>>

public class DefaultStreamBasedInconsistencyMeasure<S extends Formula>
extends StreamBasedInconsistencyMeasure<S>

Implements a stream-based inconsistency measure on a given class of inconsistency measurement processes.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field	Description
private java.lang.Class<? extends InconsistencyMeasurementProcess<S>>	clazz	The class of inconsistency measurement processes.
private java.util.Map<java.lang.String,java.lang.Object>	config	Configuration options for to be given to the inconsistency measurement process.
private java.util.List<InconsistencyListener>	listeners	The listeners of this measure.

Fields inherited from interface net.sf.tweety.logics.commons.analysis.InconsistencyMeasure

MEASURE_TOLERANCE

Constructor Summary

Constructors

Constructor	Description
DefaultStreamBasedInconsistencyMeasure(java.lang.Class<? extends InconsistencyMeasurementProcess<S>> clazz)	Creates a new inconsistency measure based on the given process class.
DefaultStreamBasedInconsistencyMeasure(java.lang.Class<? extends InconsistencyMeasurementProcess<S>> clazz, java.util.Map<java.lang.String,java.lang.Object> config)	Creates a new inconsistency measure based on the given process class and the given configuration options for that process.

Method Summary

Modifier and Type	Method	Description
void	addInconsistencyListener(InconsistencyListener listener)	Add a listener to this measure.
(package private) void	fireInconsistencyMeasurementStartedEvent(InconsistencyUpdateEvent evt)	This method is called by inconsistency measurement processes to dispatch an event about inconsistency measurement starts to listeners.
void	fireInconsistencyUpdateEvent(InconsistencyUpdateEvent evt)	This method is called by inconsistency measurement processes to dispatch events to listeners.
InconsistencyMeasurementProcess<S>	getInconsistencyMeasureProcess(FormulaStream<S> stream)	Processes the formulas in the given stream one after the other.
java.lang.Double	inconsistencyMeasure(java.util.Collection<S> formulas)	This method measures the inconsistency of the given set of formulas.
void	removeInconsistencyListener(InconsistencyListener listener)	Remove a listener from this measure.
java.lang.String	toString()

Methods inherited from class net.sf.tweety.logics.commons.analysis.BeliefSetInconsistencyMeasure

inconsistencyMeasure

Methods inherited from class java.lang.Object

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

Field Detail

clazz

private java.lang.Class<? extends InconsistencyMeasurementProcess<S extends Formula>> clazz

The class of inconsistency measurement processes.

listeners

private java.util.List<InconsistencyListener> listeners

The listeners of this measure.

config

private java.util.Map<java.lang.String,java.lang.Object> config

Configuration options for to be given to the inconsistency measurement process.

Constructor Detail

DefaultStreamBasedInconsistencyMeasure

public DefaultStreamBasedInconsistencyMeasure(java.lang.Class<? extends InconsistencyMeasurementProcess<S>> clazz)

Creates a new inconsistency measure based on the given process class.

Parameters:

clazz - some inconsistency measurement process class.

DefaultStreamBasedInconsistencyMeasure

public DefaultStreamBasedInconsistencyMeasure(java.lang.Class<? extends InconsistencyMeasurementProcess<S>> clazz,
                                              java.util.Map<java.lang.String,java.lang.Object> config)

Creates a new inconsistency measure based on the given process class and the given configuration options for that process.

Parameters:

clazz - some inconsistency measurement process class.

config - configuration options for that class.

Method Detail

inconsistencyMeasure

public java.lang.Double inconsistencyMeasure(java.util.Collection<S> formulas)

Description copied from class: BeliefSetInconsistencyMeasure

This method measures the inconsistency of the given set of formulas.

Specified by:

inconsistencyMeasure in class StreamBasedInconsistencyMeasure<S extends Formula>

Parameters:

formulas - a collection of formulas.

Returns:

a Double indicating the degree of inconsistency.

getInconsistencyMeasureProcess

public InconsistencyMeasurementProcess<S> getInconsistencyMeasureProcess(FormulaStream<S> stream)

Description copied from class: StreamBasedInconsistencyMeasure

Processes the formulas in the given stream one after the other. After each update an event of type "InconsistencyUpdateEvent" is created and listeners are notified. This method creates and starts a new object of type "InconsistencyMeasurementProcess" that processes the stream in a separate thread, and returns it. The current value of inconsistency can be retrieved by the "getInconsistencyValue()" of that process and measurement can be aborted by calling its "abort()" method.

Specified by:

getInconsistencyMeasureProcess in class StreamBasedInconsistencyMeasure<S extends Formula>

Parameters:

stream - some formula stream.

Returns:

an inconsistency measurement process.

addInconsistencyListener

public void addInconsistencyListener(InconsistencyListener listener)

Description copied from class: StreamBasedInconsistencyMeasure

Add a listener to this measure.

Specified by:

addInconsistencyListener in class StreamBasedInconsistencyMeasure<S extends Formula>

Parameters:

listener - the listener to be added.

removeInconsistencyListener

public void removeInconsistencyListener(InconsistencyListener listener)

Description copied from class: StreamBasedInconsistencyMeasure

Remove a listener from this measure.

Specified by:

removeInconsistencyListener in class StreamBasedInconsistencyMeasure<S extends Formula>

Parameters:

listener - the listener to be removed.

fireInconsistencyUpdateEvent

public void fireInconsistencyUpdateEvent(InconsistencyUpdateEvent evt)

Description copied from class: StreamBasedInconsistencyMeasure

This method is called by inconsistency measurement processes to dispatch events to listeners.

Specified by:

fireInconsistencyUpdateEvent in class StreamBasedInconsistencyMeasure<S extends Formula>

Parameters:

evt - some event to be fired.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

fireInconsistencyMeasurementStartedEvent

void fireInconsistencyMeasurementStartedEvent(InconsistencyUpdateEvent evt)

Description copied from class: StreamBasedInconsistencyMeasure

This method is called by inconsistency measurement processes to dispatch an event about inconsistency measurement starts to listeners.

Specified by:

fireInconsistencyMeasurementStartedEvent in class StreamBasedInconsistencyMeasure<S extends Formula>

Parameters:

evt - some event to be fired.