Class AbstractCreepingMachineShop
java.lang.Object
org.tweetyproject.logics.pcl.analysis.AbstractCreepingMachineShop
- All Implemented Interfaces:
BeliefBaseMachineShop
- Direct Known Subclasses:
PenalizingCreepingMachineShop
,SmoothedPenalizingCreepingMachineShop
,UnbiasedCreepingMachineShop
The common ancestor vor creeping machine shops, see [Diss, Thimm] for details.
- Author:
- Matthias Thimm
-
Field Summary
Modifier and TypeFieldDescriptionstatic final int
The maximum number of steps in the line search.static final double
The precision for finding the minimal consistent knowledge base. -
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionrepair
(BeliefBase beliefBase) Repairs the given belief base, i.e.
-
Field Details
-
PRECISION
public static final double PRECISIONThe precision for finding the minimal consistent knowledge base.- See Also:
-
MAX_ITERATIONS
public static final int MAX_ITERATIONSThe maximum number of steps in the line search.- See Also:
-
-
Constructor Details
-
AbstractCreepingMachineShop
Constructor- Parameters:
rootFinder
- the root finder
-
-
Method Details
-
repair
Description copied from interface:BeliefBaseMachineShop
Repairs the given belief base, i.e. restores consistency.- Specified by:
repair
in interfaceBeliefBaseMachineShop
- 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.
-