Package net.sf.tweety.logics.commons.analysis

Interface MusEnumerator<S extends net.sf.tweety.commons.Formula>

Type Parameters:

S - the type of formulas

All Superinterfaces:

BeliefSetConsistencyTester<S>, ConsistencyTester<net.sf.tweety.commons.BeliefSet<S,?>>

All Known Implementing Classes:

AbstractMusEnumerator, NaiveMusEnumerator

public interface MusEnumerator<S extends net.sf.tweety.commons.Formula>
extends BeliefSetConsistencyTester<S>

Interface for classes enumerating MUSes (minimal unsatisfiable sets) and MCSs (maximal consistent sets).

Author:

Matthias Thimm

Method Summary

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

Method Detail

minimalInconsistentSubsets

Collection<Collection<S>> minimalInconsistentSubsets(Collection<S> formulas)

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

Parameters:

formulas - a set of formulas.

Returns:

the minimal inconsistent subsets of the given set of formulas

maximalConsistentSubsets

Collection<Collection<S>> maximalConsistentSubsets(Collection<S> formulas)

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

Parameters:

formulas - a set of formulas

Returns:

the maximal consistent subsets of the given set of formulas.

minimalCorrectionSubsets

Set<Set<S>> minimalCorrectionSubsets(Collection<S> formulas)

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

Parameters:

formulas - a set of formulas

Returns:

the minimal corrections subsets of the given set of formulas.

getMiComponents

Collection<Collection<S>> getMiComponents(Collection<S> formulas)

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).

Parameters:

formulas - a set of formulas K

Returns:

the MI components of K

isConsistent

boolean isConsistent(net.sf.tweety.commons.BeliefSet<S,?> beliefSet)

Description copied from interface: ConsistencyTester

Checks whether the given belief base is consistent.

Specified by:

isConsistent in interface BeliefSetConsistencyTester<S extends net.sf.tweety.commons.Formula>

Specified by:

isConsistent in interface ConsistencyTester<S extends net.sf.tweety.commons.Formula>

Parameters:

beliefSet - a belief base.

Returns:

"true" iff the given belief base is consistent.

isConsistent

boolean isConsistent(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 net.sf.tweety.commons.Formula>

Parameters:

formulas - a collection of formulas.

Returns:

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

isConsistent

boolean isConsistent(S formula)

Description copied from interface: BeliefSetConsistencyTester

Checks whether the given formula is consistent.

Specified by:

isConsistent in interface BeliefSetConsistencyTester<S extends net.sf.tweety.commons.Formula>

Parameters:

formula - a formulas.

Returns:

"true" iff the formula is consistent.