net.sf.tweety.logics.commons.analysis

Class NaiveMusEnumerator<S extends Formula>

java.lang.Object

net.sf.tweety.logics.commons.analysis.AbstractMusEnumerator<S>

net.sf.tweety.logics.commons.analysis.NaiveMusEnumerator<S>

Type Parameters:

S - The type of formulas.

All Implemented Interfaces:

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

public class NaiveMusEnumerator<S extends Formula>
extends AbstractMusEnumerator<S>

A simple approach to compute minimal inconsistent subsets and maximal consistent subsets by exhaustive search.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
private BeliefSetConsistencyTester<S>	tester Used for making consistency checks.

Constructor Summary

Constructors

Constructor and Description
NaiveMusEnumerator(BeliefSetConsistencyTester<S> tester) Creates a new naive MusEnumerator that uses the given consistency tester.

Method Summary

Modifier and Type	Method and Description
private java.util.Collection<java.util.Collection<S>>	merge(java.util.Collection<java.util.Collection<S>> formulas) Auxiliary method that combines every two collections into one.
java.util.Collection<java.util.Collection<S>>	minimalInconsistentSubsets(java.util.Collection<S> beliefSet) This method returns the minimal inconsistent subsets of the given set of formulas.

Methods inherited from class net.sf.tweety.logics.commons.analysis.AbstractMusEnumerator

getMiComponents, isConsistent, isConsistent, isConsistent, maximalConsistentSubsets, minimalCorrectionSubsets

Methods inherited from class java.lang.Object

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

Field Detail

tester

private BeliefSetConsistencyTester<S extends Formula> tester

Used for making consistency checks.

Constructor Detail

NaiveMusEnumerator

public NaiveMusEnumerator(BeliefSetConsistencyTester<S> tester)

Creates a new naive MusEnumerator that uses the given consistency tester.

Parameters:

tester - some consistency tester

Method Detail

minimalInconsistentSubsets

public java.util.Collection<java.util.Collection<S>> minimalInconsistentSubsets(java.util.Collection<S> beliefSet)

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>

Specified by:

minimalInconsistentSubsets in class AbstractMusEnumerator<S extends Formula>

Parameters:

beliefSet - a set of formulas.

Returns:

the minimal inconsistent subsets of the given set of formulas

merge

private java.util.Collection<java.util.Collection<S>> merge(java.util.Collection<java.util.Collection<S>> formulas)

Auxiliary method that combines every two collections into one.

Parameters:

formulas - a set of sets of formulas

Returns:

a set of sets of formulas