Package net.sf.tweety.logics.pl.analysis
Enum IcebergInconsistencyMeasure.ConsequenceOperation
- java.lang.Object
-
- java.lang.Enum<IcebergInconsistencyMeasure.ConsequenceOperation>
-
- net.sf.tweety.logics.pl.analysis.IcebergInconsistencyMeasure.ConsequenceOperation
-
- All Implemented Interfaces:
java.io.Serializable
,java.lang.Comparable<IcebergInconsistencyMeasure.ConsequenceOperation>
,java.lang.constant.Constable
- Enclosing class:
- IcebergInconsistencyMeasure
public static enum IcebergInconsistencyMeasure.ConsequenceOperation extends java.lang.Enum<IcebergInconsistencyMeasure.ConsequenceOperation>
A consequence operation returns parts of knowledge bases. The idea is to look for "hidden" conflicts in sets of formulas and return the parts that are truly relevant for the conflicts. Some choices for consequence operations as described in the paper:- Identity: using this consequence operation, *-conflicts of a knowledge base are equivalent to the MIS of the knowledge base
- Conjuncts: contains all conjuncts of the input, e.g. {a,b,a&&b} for a&&b
- Smallest conjuncts: contains only the smallest conjuncts of the input, i.e. {a,b} for a&&b
- Modular classical consequence: modular version of classical consequence
- Modus ponens: non-modular consequence operation, contains the result of recursively applying modus ponens to the conjuncts of all formulas
- Prime Implicates: based on the inconsistency measure of [Jabbour et al. On the characterization of inconsistency measures: A prime implicates based framework. ICTAI'14]
- Opposite Literals: non-modular consequence operation based on
PmInconsistencyMeasure
- Dalal: uses the dalal distance
-
-
Enum Constant Summary
Enum Constants Enum Constant Description CONJUNCTS
DALAL
IDENTITY
MODULAR_CLASSICAL_CONSEQUENCE
MODUS_PONENS
OPPOSITE_LITERALS
PRIME_IMPLICATE
SMALLEST_CONJUNCTS
-
Method Summary
Modifier and Type Method Description static IcebergInconsistencyMeasure.ConsequenceOperation
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.static IcebergInconsistencyMeasure.ConsequenceOperation[]
values()
Returns an array containing the constants of this enum type, in the order they are declared.
-
-
-
Enum Constant Detail
-
IDENTITY
public static final IcebergInconsistencyMeasure.ConsequenceOperation IDENTITY
-
CONJUNCTS
public static final IcebergInconsistencyMeasure.ConsequenceOperation CONJUNCTS
-
SMALLEST_CONJUNCTS
public static final IcebergInconsistencyMeasure.ConsequenceOperation SMALLEST_CONJUNCTS
-
MODULAR_CLASSICAL_CONSEQUENCE
public static final IcebergInconsistencyMeasure.ConsequenceOperation MODULAR_CLASSICAL_CONSEQUENCE
-
MODUS_PONENS
public static final IcebergInconsistencyMeasure.ConsequenceOperation MODUS_PONENS
-
PRIME_IMPLICATE
public static final IcebergInconsistencyMeasure.ConsequenceOperation PRIME_IMPLICATE
-
OPPOSITE_LITERALS
public static final IcebergInconsistencyMeasure.ConsequenceOperation OPPOSITE_LITERALS
-
DALAL
public static final IcebergInconsistencyMeasure.ConsequenceOperation DALAL
-
-
Method Detail
-
values
public static IcebergInconsistencyMeasure.ConsequenceOperation[] values()
Returns an array containing the constants of this enum type, in the order they are declared.- Returns:
- an array containing the constants of this enum type, in the order they are declared
-
valueOf
public static IcebergInconsistencyMeasure.ConsequenceOperation valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)- Parameters:
name
- the name of the enum constant to be returned.- Returns:
- the enum constant with the specified name
- Throws:
java.lang.IllegalArgumentException
- if this enum type has no constant with the specified namejava.lang.NullPointerException
- if the argument is null
-
-