net.sf.tweety.beliefdynamics

Class CredibilityRevisionIterative<T extends net.sf.tweety.commons.Formula>

java.lang.Object

net.sf.tweety.beliefdynamics.MultipleBaseRevisionOperator<T>

net.sf.tweety.beliefdynamics.CredibilityRevision<T>

net.sf.tweety.beliefdynamics.CredibilityRevisionIterative<T>

Type Parameters:

T - The type of the belief bases

All Implemented Interfaces:

BaseRevisionOperator<T>

public abstract class CredibilityRevisionIterative<T extends net.sf.tweety.commons.Formula>
extends CredibilityRevision<T>

Implements the list based method of the Revision interface by iterative calling the revision method which revise two belief bases. Acts as a base class for iterative revision processes.

Author:

Tim Janus

Constructor Summary

Constructors

Constructor and Description
CredibilityRevisionIterative()

Method Summary

Modifier and Type	Method and Description
Collection<T>	revise(List<Collection<T>> ordererList) Revises the belief bases in the orderer list into one belief base.

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

revise, revise

Methods inherited from class java.lang.Object

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

Constructor Detail

CredibilityRevisionIterative

public CredibilityRevisionIterative()

Method Detail

revise

public Collection<T> revise(List<Collection<T>> ordererList)

Description copied from class: CredibilityRevision

Revises the belief bases in the orderer list into one belief base.

Specified by:

revise in class CredibilityRevision<T extends net.sf.tweety.commons.Formula>

Parameters:

ordererList - An orderer list of belief bases which assumes that belief bases with a lower index have a lower priority.

Returns:

The belief base which is the result of the revision.