Class and Description |
---|
ConsistencyTester
Classes implementing this interface are capable of testing
whether a given belief base is consistent.
|
Class and Description |
---|
InconsistencyMeasure
Classes implementing this interface represent inconsistency measures
on belief bases.
|
Class and Description |
---|
AbstractMusEnumerator
Abstract implementation for MUes enumerators.
|
BeliefSetConsistencyTester
Classes extending this abstract class are capable of testing
whether a given belief set is consistent.
|
BeliefSetInconsistencyMeasure
Classes extending this abstract class represent inconsistency measures
on belief sets.
|
ConsistencyTester
Classes implementing this interface are capable of testing
whether a given belief base is consistent.
|
CulpabilityMeasure
Classes implementing this interface represent culpability measures, i.e.
|
InconsistencyMeasure
Classes implementing this interface represent inconsistency measures
on belief bases.
|
MicInconsistencyMeasure
This class models the MI^C inconsistency measure.
|
MiInconsistencyMeasure
This class models the MI inconsistency measure.
|
MusEnumerator
Interface for classes enumerating MUSes (minimal unsatisfiable sets) and
MCSs (maximal consistent sets).
|
Class and Description |
---|
BeliefSetInconsistencyMeasure
Classes extending this abstract class represent inconsistency measures
on belief sets.
|
InconsistencyMeasure
Classes implementing this interface represent inconsistency measures
on belief bases.
|
Class and Description |
---|
AbstractBeliefSetConsistencyTester
Classes extending this abstract class are capable of testing
whether a given belief set is consistent.
|
BeliefSetConsistencyTester
Classes extending this abstract class are capable of testing
whether a given belief set is consistent.
|
BeliefSetInconsistencyMeasure
Classes extending this abstract class represent inconsistency measures
on belief sets.
|
ConsistencyTester
Classes implementing this interface are capable of testing
whether a given belief base is consistent.
|
CulpabilityMeasure
Classes implementing this interface represent culpability measures, i.e.
|
InconsistencyMeasure
Classes implementing this interface represent inconsistency measures
on belief bases.
|
Class and Description |
---|
BeliefSetInconsistencyMeasure
Classes extending this abstract class represent inconsistency measures
on belief sets.
|
Class and Description |
---|
InconsistencyMeasure
Classes implementing this interface represent inconsistency measures
on belief bases.
|
Class and Description |
---|
BeliefSetInconsistencyMeasure
Classes extending this abstract class represent inconsistency measures
on belief sets.
|
ConsistencyWitnessProvider
Provides methods for returning some model (if it exists) of
a set of formulas.
|
InconsistencyMeasure
Classes implementing this interface represent inconsistency measures
on belief bases.
|
Class and Description |
---|
BeliefSetInconsistencyMeasure
Classes extending this abstract class represent inconsistency measures
on belief sets.
|
Class and Description |
---|
AbstractMusEnumerator
Abstract implementation for MUes enumerators.
|
BeliefSetConsistencyTester
Classes extending this abstract class are capable of testing
whether a given belief set is consistent.
|
ConsistencyTester
Classes implementing this interface are capable of testing
whether a given belief base is consistent.
|
ConsistencyWitnessProvider
Provides methods for returning some model (if it exists) of
a set of formulas.
|
MusEnumerator
Interface for classes enumerating MUSes (minimal unsatisfiable sets) and
MCSs (maximal consistent sets).
|
Class and Description |
---|
CspInconsistencyMeasure
This class implements the inconsistency measure I_CSP from
[Said Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi.
|
Class and Description |
---|
InconsistencyMeasure
Classes implementing this interface represent inconsistency measures
on belief bases.
|
Class and Description |
---|
AbstractMusEnumerator
Abstract implementation for MUes enumerators.
|
InconsistencyMeasure
Classes implementing this interface represent inconsistency measures
on belief bases.
|