ModelComputation

java.lang.Object

org.tweetyproject.arg.dung.learning.util.ModelComputation

public class ModelComputation extends Object

Helper class providing methods for more efficient computation of models for specific formulae

Author:: Lars Bengel

Constructor Summary

Constructors

Constructor

Description

ModelComputation()
Method Summary

Modifier and Type

Method

Description

static boolean

existsMoreThanOneModelOfDNF(AssociativePlFormula condition)

compute whether the given formula in DNF has more than one model

static PossibleWorld

getMinModelOfDNF(AssociativePlFormula condition)

compute a minimal model of the given formula in DNF

static PossibleWorld

getModelOfConjunction(Conjunction condition)

compute the model of a formula in atomic CNF e.g.

static Collection<PossibleWorld>

getModelsOfDNF(AssociativePlFormula condition)

compute all models of a formula in disjunctive normal form

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

Constructor Details
- ModelComputation
  
  public ModelComputation()
Method Details
- getModelOfConjunction
  
  public static PossibleWorld getModelOfConjunction(Conjunction condition)
  
  compute the model of a formula in atomic CNF e.g. a and b and !c
  
  Parameters:
  
  condition - some formula which is a conjunction of literals
  
  Returns:
  
  the model of this formula
- getModelsOfDNF
  
  public static Collection<PossibleWorld> getModelsOfDNF(AssociativePlFormula condition)
  
  compute all models of a formula in disjunctive normal form
  
  Parameters:
  
  condition - some formula in DNF
  
  Returns:
  
  all models of the given formula
- existsMoreThanOneModelOfDNF
  
  public static boolean existsMoreThanOneModelOfDNF(AssociativePlFormula condition)
  
  compute whether the given formula in DNF has more than one model
  
  Parameters:
  
  condition - some formula
  
  Returns:
  
  true if there is more than one model for the given formula
- getMinModelOfDNF
  
  public static PossibleWorld getMinModelOfDNF(AssociativePlFormula condition)
  
  compute a minimal model of the given formula in DNF
  
  Parameters:
  
  condition - some formula in DNF
  
  Returns:
  
  a model of the given condition