net.sf.tweety.beliefdynamics

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

java.lang.Object

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

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

Type Parameters:

T - The type of formulas of the belief bases

All Implemented Interfaces:

BaseRevisionOperator<T>

Direct Known Subclasses:

CredibilityRevisionIterative, CredibilityRevisionNonIterative

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

Abstract base class for a revision process on belief bases of type TBeliefBase, it provides a method to revise one belief base with another and a method to revise a ordered list of belief bases. The ordering of the list defines the credibility of the different belief bases.

Author:

Tim Janus

Constructor Summary

Constructors

Constructor and Description
CredibilityRevision()

Method Summary

Modifier and Type	Method and Description
abstract Collection<T>	revise(Collection<T> beliefBase1, Collection<T> beliefBase2) Revises the two given belief bases and returns the result, the former belief base has a lesser credibility than the latter.
Collection<T>	revise(Collection<T> base, T formula) Revises the given belief base with the given formula, the credibility of the formula is higher.
abstract Collection<T>	revise(List<Collection<T>> orderedBeliefBases) Revises the belief bases in the orderer list into one belief base.

Methods inherited from class java.lang.Object

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

Constructor Detail

CredibilityRevision

public CredibilityRevision()

Method Detail

revise

public Collection<T> revise(Collection<T> base,
                            T formula)

Revises the given belief base with the given formula, the credibility of the formula is higher.

Specified by:

revise in interface BaseRevisionOperator<T extends net.sf.tweety.commons.Formula>

Overrides:

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

Parameters:

base - Collection of formulas forming the basis belief base.

formula - The formula representing the knowledge used for revision.

Returns:

A new belief base containing the revised knowledge.

revise

public abstract Collection<T> revise(Collection<T> beliefBase1,
                                     Collection<T> beliefBase2)

Revises the two given belief bases and returns the result, the former belief base has a lesser credibility than the latter.

Specified by:

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

Parameters:

beliefBase1 - The lower priority belief base

beliefBase2 - The higher priority belief base

Returns:

The belief base which is the result of the revision.

revise

public abstract Collection<T> revise(List<Collection<T>> orderedBeliefBases)

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

Parameters:

orderedBeliefBases - 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.