PrimeImplicantBasedInconsistencyMeasure

java.lang.Object

org.tweetyproject.logics.commons.analysis.BeliefSetInconsistencyMeasure<PlFormula>

org.tweetyproject.logics.pl.analysis.PrimeImplicantBasedInconsistencyMeasure

All Implemented Interfaces:: PostulateEvaluatable<PlFormula>, InconsistencyMeasure<BeliefSet<PlFormula,?>>

public class PrimeImplicantBasedInconsistencyMeasure extends BeliefSetInconsistencyMeasure<PlFormula>

computes the inconsistency measure of the

Author:: Sebastian Franke

Field Summary

Fields

Modifier and Type

Field

Description

PrimeImplicantEnumerator

primeImp

prime implicant enumerator

Fields inherited from interface org.tweetyproject.logics.commons.analysis.InconsistencyMeasure
MEASURE_TOLERANCE
Constructor Summary

Constructors

Constructor

Description

PrimeImplicantBasedInconsistencyMeasure()

constructor

PrimeImplicantBasedInconsistencyMeasure(PrimeImplicantEnumerator primeImp)
Method Summary

Modifier and Type

Method

Description

Set<PlFormula>

getConflicts(PlBeliefSet beliefSet)

Double

inconsistencyMeasure(Collection<PlFormula> formulas)

This method measures the inconsistency of the given set of formulas.

Methods inherited from class org.tweetyproject.logics.commons.analysis.BeliefSetInconsistencyMeasure
inconsistencyMeasure

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details
- primeImp
  
  public PrimeImplicantEnumerator primeImp
  
  prime implicant enumerator
Constructor Details
- PrimeImplicantBasedInconsistencyMeasure
  
  public PrimeImplicantBasedInconsistencyMeasure(PrimeImplicantEnumerator primeImp)
  
  Parameters:
  
  primeImp - prime implicant inconsistency measure
- PrimeImplicantBasedInconsistencyMeasure
  
  public PrimeImplicantBasedInconsistencyMeasure()
  
  constructor
Method Details
- getConflicts
  
  public Set<PlFormula> getConflicts(PlBeliefSet beliefSet)
  
  Parameters:
  
  beliefSet - the bleiefSet of which the conflicts of prime implicants are calculated
  
  Returns:
  
  the conflicts of the prime implicants
- inconsistencyMeasure
  
  public Double inconsistencyMeasure(Collection<PlFormula> formulas)
  
  Description copied from class: BeliefSetInconsistencyMeasure
  
  This method measures the inconsistency of the given set of formulas.
  
  Specified by:
  
  inconsistencyMeasure in class BeliefSetInconsistencyMeasure<PlFormula>
  
  Parameters:
  
  formulas - a collection of formulas.
  
  Returns:
  
  a Double indicating the degree of inconsistency.