Class MinimumAggregatedDistanceMachineShop
java.lang.Object
org.tweetyproject.logics.pcl.analysis.MinimumAggregatedDistanceMachineShop
- All Implemented Interfaces:
BeliefBaseMachineShop
This approach to consistency restoration follows the approach proposed in [Thimm, DKB, 2011].
- Author:
- Matthias Thimm
-
Constructor Summary
ConstructorDescriptionConstructor -
Method Summary
Modifier and TypeMethodDescriptionrepair
(BeliefBase beliefBase) Repairs the given belief base, i.e.
-
Constructor Details
-
MinimumAggregatedDistanceMachineShop
Constructor- Parameters:
rootFinder
- the rootFinder
-
-
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.
-