Package org.tweetyproject.logics.commons.analysis

Class AbstractMusEnumerator<S extends Formula>

java.lang.Object

org.tweetyproject.logics.commons.analysis.AbstractMusEnumerator<S>

Type Parameters:

S - the type of formulas

All Implemented Interfaces:

BeliefSetConsistencyTester<S>, ConsistencyTester<BeliefSet<S,?>>, MusEnumerator<S>

Direct Known Subclasses:

NaiveMusEnumerator, PlMusEnumerator

public abstract class AbstractMusEnumerator<S extends Formula>
extends java.lang.Object
implements MusEnumerator<S>

Abstract implementation for MUes enumerators.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
AbstractMusEnumerator()

Method Summary

Modifier and Type	Method	Description
java.util.Collection<java.util.Collection<S>>	getMiComponents(java.util.Collection<S> formulas)	Computes the maximal (wrt.
boolean	isConsistent(java.util.Collection<S> formulas)	Checks whether the given collection of formulas is consistent.
boolean	isConsistent(BeliefSet<S,?> beliefSet)	Checks whether the given belief base is consistent.
boolean	isConsistent(S formula)	Checks whether the given formula is consistent.
java.util.Collection<java.util.Collection<S>>	maximalConsistentSubsets(java.util.Collection<S> formulas)	This method returns the maximal consistent subsets of the given set of formulas
java.util.Set<java.util.Set<S>>	minimalCorrectionSubsets(java.util.Collection<S> formulas)	This method returns the minimal correction subsets of the given set of formulas (i.e.
abstract java.util.Collection<java.util.Collection<S>>	minimalInconsistentSubsets(java.util.Collection<S> formulas)	This method returns the minimal inconsistent subsets of the given set of formulas.

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractMusEnumerator

public AbstractMusEnumerator()

Method Detail

minimalInconsistentSubsets

public abstract java.util.Collection<java.util.Collection<S>> minimalInconsistentSubsets(java.util.Collection<S> formulas)

Description copied from interface: MusEnumerator

This method returns the minimal inconsistent subsets of the given set of formulas.

Specified by:

minimalInconsistentSubsets in interface MusEnumerator<S extends Formula>

Parameters:

formulas - a set of formulas.

Returns:

the minimal inconsistent subsets of the given set of formulas

minimalCorrectionSubsets

public java.util.Set<java.util.Set<S>> minimalCorrectionSubsets(java.util.Collection<S> formulas)

Description copied from interface: MusEnumerator

This method returns the minimal correction subsets of the given set of formulas (i.e. the complements of maximal consistent subsets)

Specified by:

minimalCorrectionSubsets in interface MusEnumerator<S extends Formula>

Parameters:

formulas - a set of formulas

Returns:

the minimal corrections subsets of the given set of formulas.

maximalConsistentSubsets

public java.util.Collection<java.util.Collection<S>> maximalConsistentSubsets(java.util.Collection<S> formulas)

Description copied from interface: MusEnumerator

This method returns the maximal consistent subsets of the given set of formulas

Specified by:

maximalConsistentSubsets in interface MusEnumerator<S extends Formula>

Parameters:

formulas - a set of formulas

Returns:

the maximal consistent subsets of the given set of formulas.

isConsistent

public boolean isConsistent(BeliefSet<S,?> beliefSet)

Description copied from interface: ConsistencyTester

Checks whether the given belief base is consistent.

Specified by:

isConsistent in interface BeliefSetConsistencyTester<S extends Formula>

Specified by:

isConsistent in interface ConsistencyTester<S extends Formula>

Specified by:

isConsistent in interface MusEnumerator<S extends Formula>

Parameters:

beliefSet - a belief base.

Returns:

"true" iff the given belief base is consistent.

isConsistent

public boolean isConsistent(S formula)

Description copied from interface: BeliefSetConsistencyTester

Checks whether the given formula is consistent.

Specified by:

isConsistent in interface BeliefSetConsistencyTester<S extends Formula>

Specified by:

isConsistent in interface MusEnumerator<S extends Formula>

Parameters:

formula - a formulas.

Returns:

"true" iff the formula is consistent.

isConsistent

public boolean isConsistent(java.util.Collection<S> formulas)

Description copied from interface: BeliefSetConsistencyTester

Checks whether the given collection of formulas is consistent.

Specified by:

isConsistent in interface BeliefSetConsistencyTester<S extends Formula>

Specified by:

isConsistent in interface MusEnumerator<S extends Formula>

Parameters:

formulas - a collection of formulas.

Returns:

"true" iff the given collection of formulas is consistent.

getMiComponents

public java.util.Collection<java.util.Collection<S>> getMiComponents(java.util.Collection<S> formulas)

Description copied from interface: MusEnumerator

Computes the maximal (wrt. cardinality) partitioning {K1,...,Kn} of K (ie. K is a disjoint union of K1,...,Kn) such that MI(K) is a disjoint union of MI(K1),...,MI(Kn).

Specified by:

getMiComponents in interface MusEnumerator<S extends Formula>

Parameters:

formulas - a set of formulas K

Returns:

the MI components of K