net.sf.tweety.logics.pcl.analysis

Class MinimumAggregatedDistanceMachineShop

java.lang.Object

net.sf.tweety.logics.pcl.analysis.MinimumAggregatedDistanceMachineShop

All Implemented Interfaces:

BeliefBaseMachineShop

public class MinimumAggregatedDistanceMachineShop
extends java.lang.Object
implements BeliefBaseMachineShop

This approach to consistency restoration follows the approach proposed in [Thimm, DKB, 2011].

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
MinimumAggregatedDistanceMachineShop()

Method Summary

Modifier and Type	Method and Description
static void	main(java.lang.String[] args)
BeliefBase	repair(BeliefBase beliefBase) Repairs the given belief base, i.e.

Methods inherited from class java.lang.Object

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

Constructor Detail

MinimumAggregatedDistanceMachineShop

public MinimumAggregatedDistanceMachineShop()

Method Detail

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.

main

public static void main(java.lang.String[] args)
                 throws java.io.FileNotFoundException,
                        ParserException,
                        java.io.IOException

Throws:

java.io.FileNotFoundException

ParserException

java.io.IOException