T
- The type of formulas of the belief basespublic abstract class CredibilityRevision<T extends Formula> extends MultipleBaseRevisionOperator<T>
Constructor and Description |
---|
CredibilityRevision() |
Modifier and Type | Method and Description |
---|---|
abstract java.util.Collection<T> |
revise(java.util.Collection<T> beliefBase1,
java.util.Collection<T> beliefBase2)
Revises the two given belief bases and returns the result, the former belief base has
a lesser credibility than the latter.
|
java.util.Collection<T> |
revise(java.util.Collection<T> base,
T formula)
Revises the given belief base with the given formula, the credibility of the
formula is higher.
|
abstract java.util.Collection<T> |
revise(java.util.List<java.util.Collection<T>> orderedBeliefBases)
Revises the belief bases in the orderer list into one belief base.
|
public java.util.Collection<T> revise(java.util.Collection<T> base, T formula)
revise
in interface BaseRevisionOperator<T extends Formula>
revise
in class MultipleBaseRevisionOperator<T extends Formula>
base
- Collection of formulas forming the basis belief base.formula
- The formula representing the knowledge used for revision.public abstract java.util.Collection<T> revise(java.util.Collection<T> beliefBase1, java.util.Collection<T> beliefBase2)
revise
in class MultipleBaseRevisionOperator<T extends Formula>
beliefBase1
- The lower priority belief basebeliefBase2
- The higher priority belief basepublic abstract java.util.Collection<T> revise(java.util.List<java.util.Collection<T>> orderedBeliefBases)
orderedBeliefBases
- An orderer list of belief bases which assumes
that belief bases with a lower index have a
lower priority.