Package org.tweetyproject.logics.pl.analysis

package org.tweetyproject.logics.pl.analysis

Class	Description
CmdLineImSolver	Provides an interface to a command line based inconsistency measure analyzer
ContensionInconsistencyMeasure	This class implements the contension inconsistency measure, cf.
ContensionInconsistencyMeasurementProcess	Implements an approximation algorithm for the Contension inconsistency measure on streams.
ContensionSatInconsistencyMeasure	This class implements a SAT encoding of the contension inconsistency measure, originally proposed in [Grant, Hunter.
DalalDistance	This class models the dalal distance measure between possible worlds, see e.g.
DHitSatInconsistencyMeasure	This class presents a sat-encoding-based implementation of the hit-distance measure of [Grant and Hunter, “Analysing inconsistent information using distance-based measures” Int.
DMaxSatInconsistencyMeasure	This class presents a sat-encoding-based implementation of the max-distance measure of [Grant and Hunter, “Analysing inconsistent information using distance-based measures” Int.
DSumSatInconsistencyMeasure	This class presents a sat-encoding-based implementation of the sum-distance measure of [Grant and Hunter, “Analysing incThis measure seeks an interpretation I such that the the sum of the distances between every formula of the knowledge base and I is minimal.
FbInconsistencyMeasure	Implements the forgetting-based inconsistency measure from [Besnard.
FuzzyInconsistencyMeasure	This measure implements the approach presented in [Thimm, Measuring Inconsistency with Many-Valued Logics.
HsInconsistencyMeasurementProcess	Implements an approximation algorithm for the Hs inconsistency measure on streams.
HsSatInconsistencyMeasure	This class implements a SAT encoding of the hitting set inconsistency measure, originally proposed in [Thimm.
IcebergInconsistencyMeasure	This class implements the inconsistency measures proposed in [De Bona, Hunter.
IcebergInconsistencyMeasure.ConsequenceOperation	A consequence operation returns parts of knowledge bases.
InconsistencyMeasureFactory	Main factory for retrieving inconsistency measures for propositional logic.
InconsistencyMeasureFactory.Measure	An enumeration of all available inconsistency measures.
MinimalModelProvider<A extends Formula,B extends BeliefBase,C extends Formula>	MinimalModelProvider class
MusVarInconsistencyMeasure	This class implements the "MUS-variable based inconsistency measure" proposed in [Xiao,Ma.
PlWindowInconsistencyMeasurementProcess	A window inconsistency measurement process for propositional logic (this class needs to be there as no generics are allowed when instantiating a DefaultStreamBasedInconsistencyMeasure.
PmInconsistencyMeasure	This class implements the inconsistency measure I_{P_m} proposed in [Jabbour, Raddaoui.
PossibleWorldDistance	This class refines interpretation distances to distance on possible worlds.
PrimeImplicantBasedInconsistencyMeasure	computes the inconsistency measure of the
PrimeImplicantEnumerator	prime implicant enumerator
SatBasedInconsistencyMeasure	A common base class for inconsistency measure implementations based on SAT encodings.
SimpleMinimalModelProvider	comptes all minimal models given a set of models
SimplePlInterpolantEnumerator	Implements an exhaustive search approach to compute all interpolants of a knowledge base wrt.
SimplePrimeImplicantEnumerator	computes the prime implicants given a set of minimal models