Package org.tweetyproject.arg.dung.learning.util

Class 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