net.sf.tweety.commons

Interface BeliefBaseMachineShop

public interface BeliefBaseMachineShop

Classes implementing this interface are capable of restoring consistency of inconsistent belief bases.

Author:

Matthias Thimm

Method Summary

Modifier and Type	Method and Description
BeliefBase	repair(BeliefBase beliefBase) Repairs the given belief base, i.e.

Method Detail

repair

BeliefBase repair(BeliefBase beliefBase)

Repairs the given belief base, i.e. restores consistency.

Parameters:

beliefBase - a possibly inconsistent belief base.

Returns:

a consistent belief base that is as close as possible to the given belief base. NOTE: if the given belief base is consistent this method is expected to return it unmodified.