Class IsInconsistencyMeasure<S extends Formula>

java.lang.Object
org.tweetyproject.logics.commons.analysis.BeliefSetInconsistencyMeasure<S>
org.tweetyproject.logics.commons.analysis.IsInconsistencyMeasure<S>
Type Parameters:
S - The specific type of formulas
All Implemented Interfaces:
PostulateEvaluatable<S>, InconsistencyMeasure<BeliefSet<S,?>>

public class IsInconsistencyMeasure<S extends Formula> extends BeliefSetInconsistencyMeasure<S>
This class implements the inconsistency measure I_CSP from [Said Jabbour. On Inconsistency Measuring and Resolving. ECAI 2016] This implementation uses a brute force search approach which does not scale well.
Author:
Matthias Thimm