Class CrMasSimpleRevisionOperator
java.lang.Object
org.tweetyproject.beliefdynamics.MultipleBaseRevisionOperator<InformationObject<PlFormula>>
org.tweetyproject.beliefdynamics.operators.CrMasSimpleRevisionOperator
- All Implemented Interfaces:
BaseRevisionOperator<InformationObject<PlFormula>>
public class CrMasSimpleRevisionOperator
extends MultipleBaseRevisionOperator<InformationObject<PlFormula>>
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. The
actual revision is performed using a Levi revision which bases on the random kernel contraction
- Author:
- Matthias Thimm
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionrevise
(Collection<InformationObject<PlFormula>> base, Collection<InformationObject<PlFormula>> formulas) Revises the first collection of formulas by the second collection of formulas.Methods inherited from class org.tweetyproject.beliefdynamics.MultipleBaseRevisionOperator
revise
-
Constructor Details
-
CrMasSimpleRevisionOperator
public CrMasSimpleRevisionOperator()Default
-
-
Method Details
-
revise
public Collection<InformationObject<PlFormula>> revise(Collection<InformationObject<PlFormula>> base, Collection<InformationObject<PlFormula>> formulas) Description copied from class:MultipleBaseRevisionOperator
Revises the first collection of formulas by the second collection of formulas.- Specified by:
revise
in classMultipleBaseRevisionOperator<InformationObject<PlFormula>>
- Parameters:
base
- some collection of formulas.formulas
- some formulas.- Returns:
- the revised collection.
-