Package org.tweetyproject.beliefdynamics

Class CredibilityRevision<T extends Formula>

java.lang.Object

org.tweetyproject.beliefdynamics.MultipleBaseRevisionOperator<T>

org.tweetyproject.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 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	Description
CredibilityRevision()	Default Constructor

Method Summary

Modifier and Type	Method	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

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

Constructor Details

CredibilityRevision

public CredibilityRevision()

Default Constructor

Method Details

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 Formula>

Overrides:

revise in class MultipleBaseRevisionOperator<T extends 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 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.