| Modifier and Type | Class and Description |
|---|---|
class |
CredibilityRevision<T extends net.sf.tweety.commons.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 net.sf.tweety.commons.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 net.sf.tweety.commons.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 net.sf.tweety.logics.commons.syntax.interfaces.ClassicalFormula>
This class implements the Levi identity for multiple revision, ie.
|
| Modifier and Type | Class and Description |
|---|---|
class |
CrMasRevisionWrapper<T extends net.sf.tweety.commons.Formula>
This class is a wrapper for a revision for formulas of type T that is
used to revise information objects.
|
| Constructor and Description |
|---|
CrMasRevisionWrapper(MultipleBaseRevisionOperator<T> wrappedRevision)
Creates a new revision with the given wrapped revision.
|
| 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.
|
| Modifier and Type | Class and Description |
|---|---|
class |
MultipleSelectiveRevisionOperator<T extends net.sf.tweety.commons.Formula>
This class implements a multiple selective revision operator following [Kruempelmann:2011,Ferme:1999].
|
| 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.
|
Copyright © 2018. All rights reserved.