net.sf.tweety.beliefdynamics.operators

Class CrMasSimpleRevisionOperator

java.lang.Object

net.sf.tweety.beliefdynamics.MultipleBaseRevisionOperator<InformationObject<PropositionalFormula>>

net.sf.tweety.beliefdynamics.operators.CrMasSimpleRevisionOperator

All Implemented Interfaces:

BaseRevisionOperator<InformationObject<PropositionalFormula>>

public class CrMasSimpleRevisionOperator
extends MultipleBaseRevisionOperator<InformationObject<PropositionalFormula>>

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

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
private class	CrMasSimpleRevisionOperator.CredibilityComparer Private extension of credibility comparer

Constructor Summary

Constructors

Constructor and Description
CrMasSimpleRevisionOperator()

Method Summary

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.

Methods inherited from class net.sf.tweety.beliefdynamics.MultipleBaseRevisionOperator

revise

Methods inherited from class java.lang.Object

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

Constructor Detail

CrMasSimpleRevisionOperator

public CrMasSimpleRevisionOperator()

Method Detail

revise

public java.util.Collection<InformationObject<PropositionalFormula>> revise(java.util.Collection<InformationObject<PropositionalFormula>> base,
                                                                            java.util.Collection<InformationObject<PropositionalFormula>> 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<PropositionalFormula>>

Parameters:

base - some collection of formulas.

formulas - some formulas.

Returns:

the revised collection.