Package org.tweetyproject.beliefdynamics.operators

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

Constructors

Constructor	Description
CrMasSimpleRevisionOperator()

Method Summary

Modifier and Type	Method	Description
Collection<InformationObject<PlFormula>>	revise(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

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

CrMasSimpleRevisionOperator

public CrMasSimpleRevisionOperator()

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 class MultipleBaseRevisionOperator<InformationObject<PlFormula>>

Parameters:

base - some collection of formulas.

formulas - some formulas.

Returns:

the revised collection.