Uses of Interface
net.sf.tweety.beliefdynamics.BaseRevisionOperator

Packages that use BaseRevisionOperator

Package	Description
net.sf.tweety.beliefdynamics
net.sf.tweety.beliefdynamics.gui
net.sf.tweety.beliefdynamics.mas
net.sf.tweety.beliefdynamics.operators
net.sf.tweety.beliefdynamics.selectiverevision
net.sf.tweety.lp.asp.beliefdynamics.baserevision
net.sf.tweety.lp.asp.beliefdynamics.gui
net.sf.tweety.lp.asp.beliefdynamics.revision
net.sf.tweety.lp.asp.beliefdynamics.selectiverevision

Uses of BaseRevisionOperator in net.sf.tweety.beliefdynamics

Classes in net.sf.tweety.beliefdynamics that implement BaseRevisionOperator

Modifier and Type	Class	Description
class	CredibilityRevision<T extends Formula>	Abstract base class for a revision process on belief bases of type TBeliefBase, it provides a method to revise one belief base with another and a method to revise a ordered list of belief bases.
class	CredibilityRevisionIterative<T extends Formula>	Implements the list based method of the Revision interface by iterative calling the revision method which revise two belief bases.
class	CredibilityRevisionNonIterative<T extends Formula>	Implements the revision method with two belief bases by delegating the processing to the revision method bases on an ordered list of belief bases.
class	LeviBaseRevisionOperator<T extends ClassicalFormula>	This class implements the Levi identity for revision, ie.
class	LeviMultipleBaseRevisionOperator<T extends ClassicalFormula>	This class implements the Levi identity for multiple revision, ie.
class	MultipleBaseRevisionOperator<T extends Formula>	This is the interface for a classic multiple belief base revision operator, ie.

Uses of BaseRevisionOperator in net.sf.tweety.beliefdynamics.gui

Classes in net.sf.tweety.beliefdynamics.gui that implement BaseRevisionOperator

Modifier and Type	Class	Description
private static class	RevisionComparePresenter.MockOperator	Mock revision operator for functional test.

Fields in net.sf.tweety.beliefdynamics.gui declared as BaseRevisionOperator

Modifier and Type	Field	Description
protected BaseRevisionOperator<?>	RevisionCompareModel.leftOperator	the left revision operator
protected BaseRevisionOperator<?>	RevisionCompareModel.rightOperator	the right revision operator

Fields in net.sf.tweety.beliefdynamics.gui with type parameters of type BaseRevisionOperator

Modifier and Type	Field	Description
protected javax.swing.JComboBox<BaseRevisionOperator<?>>	RevisionCompareView.cbOperatorLeft
protected javax.swing.JComboBox<BaseRevisionOperator<?>>	RevisionCompareView.cbOperatorRight
protected java.util.Set<BaseRevisionOperator<?>>	RevisionCompareModel.selectableOperators	a set of selectable revison operators

Methods in net.sf.tweety.beliefdynamics.gui with parameters of type BaseRevisionOperator

Modifier and Type	Method	Description
void	RevisionCompareModel.addOperator(BaseRevisionOperator<?> op)	Adds the given revision operator to the set of selectable revision methods.
void	RevisionCompareModel.removeOperator(BaseRevisionOperator<?> op)	Removes the given revision operator from the set of selectable revision methods.
private <T extends Formula> java.util.Map<java.lang.Integer,java.util.Collection<? extends Formula>>	RevisionCompareView.revision(BaseRevisionOperator<T> op)	Helper method: Runs a revision on BaseRevisionOperator interfaces which only allows the revision with one formula.
void	RevisionCompareModel.setLeftOperator(BaseRevisionOperator<?> left)	Select the left revision method.
void	RevisionCompareModel.setRightOperator(BaseRevisionOperator<?> right)	Select the right revision method.

Uses of BaseRevisionOperator in net.sf.tweety.beliefdynamics.mas

Classes in net.sf.tweety.beliefdynamics.mas that implement BaseRevisionOperator

Modifier and Type	Class	Description
class	CrMasRevisionWrapper<T extends Formula>	This class is a wrapper for a revision for formulas of type T that is used to revise information objects.

Uses of BaseRevisionOperator in net.sf.tweety.beliefdynamics.operators

Classes in net.sf.tweety.beliefdynamics.operators that implement BaseRevisionOperator

Modifier and Type	Class	Description
class	ArgumentativeRevisionOperator	This class is an exemplary instantiation of a revision operator based on deductive argumentation [Kruempelmann:2011] where several parameters have been fixed: - the inner revision is a Levi revision which bases on the random kernel contraction - the transformation function is credulous - the accumulator used for deductive argumentation is the simple accumulator - the categorizer used for deductive argumentation is the classical categorizer
class	CrMasArgumentativeRevisionOperator	This class is an exemplary instantiation of a revision operator based on deductive argumentation and credibilities where several parameters have been fixed: - the inner revision is a Levi revision which bases on the random kernel contraction - the transformation function is credulous - the accumulator used for deductive argumentation is the simple accumulator - the categorizer used for deductive argumentation is the credibility categorizer
class	CrMasSimpleRevisionOperator	This revision operator accepts only those pieces of information for revision where the credibility of the source is at least as high as the credibility of the agent which proves the complement.

Uses of BaseRevisionOperator in net.sf.tweety.beliefdynamics.selectiverevision

Classes in net.sf.tweety.beliefdynamics.selectiverevision that implement BaseRevisionOperator

Modifier and Type	Class	Description
class	MultipleSelectiveRevisionOperator<T extends Formula>	This class implements a multiple selective revision operator following [Kruempelmann:2011,Ferme:1999].
class	SelectiveRevisionOperator<T extends Formula>	This class implements a selective revision operator following [Ferme:1999].

Fields in net.sf.tweety.beliefdynamics.selectiverevision declared as BaseRevisionOperator

Modifier and Type	Field	Description
private BaseRevisionOperator<T>	SelectiveRevisionOperator.revisionOperator	The revision operator for the inner revision.

Constructors in net.sf.tweety.beliefdynamics.selectiverevision with parameters of type BaseRevisionOperator

Constructor	Description
SelectiveRevisionOperator(TransformationFunction<T> transformationFunction, BaseRevisionOperator<T> revisionOperator)	Creates a new selective revision operator for the given transformation function and inner revision.

Uses of BaseRevisionOperator in net.sf.tweety.lp.asp.beliefdynamics.baserevision

Classes in net.sf.tweety.lp.asp.beliefdynamics.baserevision that implement BaseRevisionOperator

Modifier and Type	Class	Description
class	ELPBaseRevisionOperator	This class implements the base revision operator for extended logic programs as introduced in [KKI12].

Uses of BaseRevisionOperator in net.sf.tweety.lp.asp.beliefdynamics.gui

Classes in net.sf.tweety.lp.asp.beliefdynamics.gui that implement BaseRevisionOperator

Modifier and Type	Class	Description
private static class	SimpleRevisionComparePresenter.MockOperator	Mock revision operator for functional test.

Fields in net.sf.tweety.lp.asp.beliefdynamics.gui declared as BaseRevisionOperator

Modifier and Type	Field	Description
protected BaseRevisionOperator<?>	SimpleRevisionCompareModel.leftOperator	the left revision operator
protected BaseRevisionOperator<?>	SimpleRevisionCompareModel.rightOperator	the right revision operator

Fields in net.sf.tweety.lp.asp.beliefdynamics.gui with type parameters of type BaseRevisionOperator

Modifier and Type	Field	Description
protected javax.swing.JComboBox<BaseRevisionOperator<?>>	SimpleRevisionCompareView.cbOperatorLeft
protected javax.swing.JComboBox<BaseRevisionOperator<?>>	SimpleRevisionCompareView.cbOperatorRight
protected java.util.Set<BaseRevisionOperator<?>>	SimpleRevisionCompareModel.selectableOperators	a set of selectable revison operators

Methods in net.sf.tweety.lp.asp.beliefdynamics.gui with parameters of type BaseRevisionOperator

Modifier and Type	Method	Description
void	SimpleRevisionCompareModel.addOperator(BaseRevisionOperator<?> op)	Adds the given revision operator to the set of selectable revision methods.
void	SimpleRevisionCompareModel.removeOperator(BaseRevisionOperator<?> op)	Removes the given revision operator from the set of selectable revision methods.
private <E extends Formula> java.util.Collection<E>	SimpleRevisionCompareModel.runRevision(BaseRevisionOperator<E> op)
void	SimpleRevisionCompareModel.setLeftOperator(BaseRevisionOperator<?> left)	Select the left revision method.
void	SimpleRevisionCompareModel.setRightOperator(BaseRevisionOperator<?> right)	Select the right revision method.

Uses of BaseRevisionOperator in net.sf.tweety.lp.asp.beliefdynamics.revision

Classes in net.sf.tweety.lp.asp.beliefdynamics.revision that implement BaseRevisionOperator

Modifier and Type	Class	Description
class	CredibilityRevision	Implements the credibility revision approach for ASP described in Kruempelmann et al.
class	PreferenceHandling	The implementation orients on the diploma thesis of Mirja Boehmer in this class a variant of the approach "A Preference-Based Framework for Updating Logic Programs" by James P.

Uses of BaseRevisionOperator in net.sf.tweety.lp.asp.beliefdynamics.selectiverevision

Classes in net.sf.tweety.lp.asp.beliefdynamics.selectiverevision that implement BaseRevisionOperator

Modifier and Type	Class	Description
class	ParameterisedArgumentativeSelectiveRevisionOperator	This class represents a selective revision using the base revision approach from [1] for the inner revision and the sceptical argumentative transformation function from [2].