Class AbstractCreepingMachineShop

java.lang.Object
org.tweetyproject.logics.pcl.analysis.AbstractCreepingMachineShop
All Implemented Interfaces:
BeliefBaseMachineShop
Direct Known Subclasses:
PenalizingCreepingMachineShop, SmoothedPenalizingCreepingMachineShop, UnbiasedCreepingMachineShop

public abstract class AbstractCreepingMachineShop extends Object implements BeliefBaseMachineShop
The common ancestor vor creeping machine shops, see [Diss, Thimm] for details.
Author:
Matthias Thimm
  • Field Details

    • PRECISION

      public static final double PRECISION
      The precision for finding the minimal consistent knowledge base.
      See Also:
    • MAX_ITERATIONS

      public static final int MAX_ITERATIONS
      The maximum number of steps in the line search.
      See Also:
  • Constructor Details

  • Method Details

    • repair

      public BeliefBase repair(BeliefBase beliefBase)
      Description copied from interface: BeliefBaseMachineShop
      Repairs the given belief base, i.e. restores consistency.
      Specified by:
      repair in interface BeliefBaseMachineShop
      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.