net.sf.tweety.beliefdynamics.operators

Class CrMasSimpleRevisionOperator

java.lang.Object

net.sf.tweety.beliefdynamics.MultipleBaseRevisionOperator<InformationObject<net.sf.tweety.logics.pl.syntax.PropositionalFormula>>

net.sf.tweety.beliefdynamics.operators.CrMasSimpleRevisionOperator

All Implemented Interfaces:

BaseRevisionOperator<InformationObject<net.sf.tweety.logics.pl.syntax.PropositionalFormula>>

public class CrMasSimpleRevisionOperator
extends MultipleBaseRevisionOperator<InformationObject<net.sf.tweety.logics.pl.syntax.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

Constructor Summary

Constructors

Constructor and Description
CrMasSimpleRevisionOperator()

Method Summary

Modifier and Type	Method and Description
Collection<InformationObject<net.sf.tweety.logics.pl.syntax.PropositionalFormula>>	revise(Collection<InformationObject<net.sf.tweety.logics.pl.syntax.PropositionalFormula>> base, Collection<InformationObject<net.sf.tweety.logics.pl.syntax.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 Collection<InformationObject<net.sf.tweety.logics.pl.syntax.PropositionalFormula>> revise(Collection<InformationObject<net.sf.tweety.logics.pl.syntax.PropositionalFormula>> base,
                                                                                                 Collection<InformationObject<net.sf.tweety.logics.pl.syntax.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<net.sf.tweety.logics.pl.syntax.PropositionalFormula>>

Parameters:

base - some collection of formulas.

formulas - some formulas.

Returns:

the revised collection.