public class CrMasSimpleRevisionOperator extends MultipleBaseRevisionOperator<InformationObject<PropositionalFormula>>
Modifier and Type | Class and Description |
---|---|
private class |
CrMasSimpleRevisionOperator.CredibilityComparer
Private extension of credibility comparer
|
Constructor and Description |
---|
CrMasSimpleRevisionOperator() |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<InformationObject<PropositionalFormula>> |
revise(java.util.Collection<InformationObject<PropositionalFormula>> base,
java.util.Collection<InformationObject<PropositionalFormula>> formulas)
Revises the first collection of formulas by the second collection of formulas.
|
revise
public java.util.Collection<InformationObject<PropositionalFormula>> revise(java.util.Collection<InformationObject<PropositionalFormula>> base, java.util.Collection<InformationObject<PropositionalFormula>> formulas)
MultipleBaseRevisionOperator
revise
in class MultipleBaseRevisionOperator<InformationObject<PropositionalFormula>>
base
- some collection of formulas.formulas
- some formulas.