net.sf.tweety.logics.pcl.util

Class OjAlgoPclUtils

java.lang.Object

net.sf.tweety.logics.pcl.util.OjAlgoPclUtils

public class OjAlgoPclUtils
extends Object

Provides some utility functions for solving Pcl specific reasoning problems with ojAlgo.

Author:

NicoPotyka

Constructor Summary

Constructors

Constructor and Description
OjAlgoPclUtils()

Method Summary

Modifier and Type	Method and Description
static void	addProbabilityNormalizationConstraint(org.ojalgo.optimisation.ExpressionsBasedModel model) Add probability normalization constraint to model (all probabilities have to sum to 1).
static org.ojalgo.matrix.PrimitiveMatrix	createConstraintMatrix(PclBeliefSet beliefSet, Set<net.sf.tweety.logics.pl.semantics.PossibleWorld> worlds) Create constraint matrix for a set of PCL conditionals over a set of possible worlds.
static org.ojalgo.optimisation.Variable[]	createVariables(int noWorlds) Create (non-negative) variables for the probabilities of possible worlds.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

OjAlgoPclUtils

public OjAlgoPclUtils()

Method Detail

addProbabilityNormalizationConstraint

public static void addProbabilityNormalizationConstraint(org.ojalgo.optimisation.ExpressionsBasedModel model)

Add probability normalization constraint to model (all probabilities have to sum to 1).

Parameters:

model -

createVariables

public static org.ojalgo.optimisation.Variable[] createVariables(int noWorlds)

Create (non-negative) variables for the probabilities of possible worlds.

Parameters:

noWorlds -

Returns:

createConstraintMatrix

public static org.ojalgo.matrix.PrimitiveMatrix createConstraintMatrix(PclBeliefSet beliefSet,
                                                                       Set<net.sf.tweety.logics.pl.semantics.PossibleWorld> worlds)

Create constraint matrix for a set of PCL conditionals over a set of possible worlds.

Parameters:

beliefSet -

worlds -

Returns: