public class CrMasArgumentativeRevisionOperator extends MultipleBaseRevisionOperator<InformationObject<PropositionalFormula>>
Constructor and Description |
---|
CrMasArgumentativeRevisionOperator() |
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.