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

ClassDescriptionProvides an interface to a command line based inconsistency measure analyzerThis 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.A consequence operation returns parts of knowledge bases.Main factory for retrieving inconsistency measures for propositional logic.An enumeration of all available inconsistency measures.MinimalModelProvider classThis 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.computes the inconsistency measure of theprime implicant enumeratorA common base class for inconsistency measure implementations based on SAT encodings.comptes all minimal models given a set of modelsImplements an exhaustive search approach to compute all interpolants of a knowledge base wrt.computes the prime implicants given a set of minimal models