Uses of Class
net.sf.tweety.beliefdynamics.MultipleBaseRevisionOperator

Packages that use MultipleBaseRevisionOperator

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 MultipleBaseRevisionOperator in net.sf.tweety.beliefdynamics

Subclasses of MultipleBaseRevisionOperator in net.sf.tweety.beliefdynamics

Modifier and Type	Class and 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	LeviMultipleBaseRevisionOperator<T extends ClassicalFormula> This class implements the Levi identity for multiple revision, ie.

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

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

Modifier and Type	Method and Description
private <T extends Formula> java.util.Map<java.lang.Integer,java.util.Collection<? extends Formula>>	RevisionCompareView.revision(MultipleBaseRevisionOperator<T> op) Helper method: Runs a revision of using multiple belief bases with the MultipleBaseRevisionOperator.

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

Subclasses of MultipleBaseRevisionOperator in net.sf.tweety.beliefdynamics.mas

Modifier and Type	Class and 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.

Fields in net.sf.tweety.beliefdynamics.mas declared as MultipleBaseRevisionOperator

Modifier and Type	Field and Description
private MultipleBaseRevisionOperator<T>	CrMasRevisionWrapper.wrappedRevision The wrapped revision operator.

Constructors in net.sf.tweety.beliefdynamics.mas with parameters of type MultipleBaseRevisionOperator

Constructor and Description
CrMasRevisionWrapper(MultipleBaseRevisionOperator<T> wrappedRevision) Creates a new revision with the given wrapped revision.

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

Subclasses of MultipleBaseRevisionOperator in net.sf.tweety.beliefdynamics.operators

Modifier and Type	Class and 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 MultipleBaseRevisionOperator in net.sf.tweety.beliefdynamics.selectiverevision

Subclasses of MultipleBaseRevisionOperator in net.sf.tweety.beliefdynamics.selectiverevision

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

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

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

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

Constructor and Description
MultipleSelectiveRevisionOperator(MultipleTransformationFunction<T> transformationFunction, MultipleBaseRevisionOperator<T> revisionOperator) Creates a new multiple selective revision operator for the given transformation function and inner revision.

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

Subclasses of MultipleBaseRevisionOperator in net.sf.tweety.lp.asp.beliefdynamics.baserevision

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

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

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

Modifier and Type	Method and Description
private <E extends Formula> java.util.Collection<E>	SimpleRevisionCompareModel.runRevision(MultipleBaseRevisionOperator<E> op)

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

Subclasses of MultipleBaseRevisionOperator in net.sf.tweety.lp.asp.beliefdynamics.revision

Modifier and Type	Class and Description
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 MultipleBaseRevisionOperator in net.sf.tweety.lp.asp.beliefdynamics.selectiverevision

Subclasses of MultipleBaseRevisionOperator in net.sf.tweety.lp.asp.beliefdynamics.selectiverevision

Modifier and Type	Class and 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].