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 |
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.
|
Modifier and Type | Class and Description |
---|---|
private static class |
RevisionComparePresenter.MockOperator
Mock revision operator for functional test.
|
Modifier and Type | Field and Description |
---|---|
protected BaseRevisionOperator<?> |
RevisionCompareModel.leftOperator
the left revision operator
|
protected BaseRevisionOperator<?> |
RevisionCompareModel.rightOperator
the right revision operator
|
Modifier and Type | Field and 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
|
Modifier and Type | Method and 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> |
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.
|
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.
|
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 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].
|
Modifier and Type | Field and Description |
---|---|
private BaseRevisionOperator<T> |
SelectiveRevisionOperator.revisionOperator
The revision operator for the inner revision.
|
Constructor and Description |
---|
SelectiveRevisionOperator(TransformationFunction<T> transformationFunction,
BaseRevisionOperator<T> revisionOperator)
Creates a new selective revision operator for the given transformation function
and inner revision.
|
Modifier and Type | Class and Description |
---|---|
class |
ELPBaseRevisionOperator
This class implements the base revision operator for extended
logic programs as introduced in [KKI12].
|
Modifier and Type | Class and Description |
---|---|
private static class |
SimpleRevisionComparePresenter.MockOperator
Mock revision operator for functional test.
|
Modifier and Type | Field and Description |
---|---|
protected BaseRevisionOperator<?> |
SimpleRevisionCompareModel.leftOperator
the left revision operator
|
protected BaseRevisionOperator<?> |
SimpleRevisionCompareModel.rightOperator
the right revision operator
|
Modifier and Type | Field and 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
|
Modifier and Type | Method and 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> |
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.
|
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.
|
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].
|