Package org.tweetyproject.logics.pl.analysis
package org.tweetyproject.logics.pl.analysis

ClassDescriptionThis class implements the contension inconsistency measure, cf.Implements an approximation algorithm for the Contension inconsistency measure on streams.This class implements a SAT encoding of the contension inconsistency measure, originally proposed in [Grant, Hunter.This class models the dalal distance measure between possible worlds, see e.g.This class presents a satencodingbased implementation of the hitdistance measure of [Grant and Hunter, “Analysing inconsistent information using distancebased measures” Int.This class presents a satencodingbased implementation of the maxdistance measure of [Grant and Hunter, “Analysing inconsistent information using distancebased measures” Int.This class presents a satencodingbased implementation of the sumdistance 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.Implements the forgettingbased inconsistency measure from [Besnard.This measure implements the approach presented in [Thimm, Measuring Inconsistency with ManyValued Logics.Implements an approximation algorithm for the Hs inconsistency measure on streams.This class implements a SAT encoding of the hitting set inconsistency measure, originally proposed in [Thimm.This class implements the inconsistency measures proposed in [De Bona, Hunter.Main factory for retrieving inconsistency measures for propositional logic.This class implements the "MUSvariable based inconsistency measure" proposed in [Xiao,Ma.A window inconsistency measurement process for propositional logic (this class needs to be there as no generics are allowed when instantiating a DefaultStreamBasedInconsistencyMeasure.This class implements the inconsistency measure I_{P_m} proposed in [Jabbour, Raddaoui.This class refines interpretation distances to distance on possible worlds.A common base class for inconsistency measure implementations based on SAT encodings.Implements an exhaustive search approach to compute all interpolants of a knowledge base wrt.

EnumDescriptionA consequence operation returns parts of knowledge bases.An enumeration of all available inconsistency measures.