net.sf.tweety.logics.commons.analysis

Class NaiveMusEnumerator<S extends net.sf.tweety.commons.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<net.sf.tweety.commons.BeliefSet<S>>, MusEnumerator<S>

public class NaiveMusEnumerator<S extends net.sf.tweety.commons.Formula>
extends AbstractMusEnumerator<S>

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

Author:

Matthias Thimm

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
Collection<Collection<S>>	minimalInconsistentSubsets(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

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 Collection<Collection<S>> minimalInconsistentSubsets(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 net.sf.tweety.commons.Formula>

Specified by:

minimalInconsistentSubsets in class AbstractMusEnumerator<S extends net.sf.tweety.commons.Formula>

Parameters:

beliefSet - a set of formulas.

Returns:

the minimal inconsistent subsets of the given set of formulas