Package ai.libs.hasco.core

Class IsValidParameterRangeRefinementPredicate

java.lang.Object

ai.libs.hasco.core.IsValidParameterRangeRefinementPredicate

All Implemented Interfaces:

ai.libs.jaicore.logic.fol.theories.EvaluablePredicate

public class IsValidParameterRangeRefinementPredicate
extends java.lang.Object
implements ai.libs.jaicore.logic.fol.theories.EvaluablePredicate

Constructor Summary

Constructors

Constructor	Description
IsValidParameterRangeRefinementPredicate(java.util.Collection<Component> components, java.util.Map<Component,java.util.Map<Parameter,ParameterRefinementConfiguration>> refinementConfiguration)

Method Summary

Modifier and Type	Method	Description
java.util.Collection<java.util.List<ai.libs.jaicore.logic.fol.structure.ConstantParam>>	getParamsForNegativeEvaluation(ai.libs.jaicore.logic.fol.structure.Monom state, ai.libs.jaicore.logic.fol.structure.ConstantParam... partialGrounding)
java.util.Collection<java.util.List<ai.libs.jaicore.logic.fol.structure.ConstantParam>>	getParamsForPositiveEvaluation(ai.libs.jaicore.logic.fol.structure.Monom state, ai.libs.jaicore.logic.fol.structure.ConstantParam... partialGrounding)
void	informAboutNewSolution(ComponentInstance solution, double score)
boolean	isOracable()
java.util.List<org.apache.commons.math3.geometry.euclidean.oned.Interval>	refineOnLinearScale(org.apache.commons.math3.geometry.euclidean.oned.Interval interval, int maxNumberOfSubIntervals, double minimumLengthOfIntervals, boolean wasInitiallyLogarithmic, boolean createPointIntervalsForExtremalValues)
java.util.List<org.apache.commons.math3.geometry.euclidean.oned.Interval>	refineOnLogScale(org.apache.commons.math3.geometry.euclidean.oned.Interval interval, int numSubIntervals, double basis, double pointOfConcentration, boolean createPointIntervalsForExtremalValues)
boolean	test(ai.libs.jaicore.logic.fol.structure.Monom state, ai.libs.jaicore.logic.fol.structure.ConstantParam... params)

Methods inherited from class java.lang.Object

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

Constructor Detail

IsValidParameterRangeRefinementPredicate

public IsValidParameterRangeRefinementPredicate(java.util.Collection<Component> components,
                                                java.util.Map<Component,java.util.Map<Parameter,ParameterRefinementConfiguration>> refinementConfiguration)

Method Detail

getParamsForPositiveEvaluation

public java.util.Collection<java.util.List<ai.libs.jaicore.logic.fol.structure.ConstantParam>> getParamsForPositiveEvaluation(ai.libs.jaicore.logic.fol.structure.Monom state,
                                                                                                                              ai.libs.jaicore.logic.fol.structure.ConstantParam... partialGrounding)

Specified by:

getParamsForPositiveEvaluation in interface ai.libs.jaicore.logic.fol.theories.EvaluablePredicate

informAboutNewSolution

public void informAboutNewSolution(ComponentInstance solution,
                                   double score)

isOracable

public boolean isOracable()

Specified by:

isOracable in interface ai.libs.jaicore.logic.fol.theories.EvaluablePredicate

getParamsForNegativeEvaluation

public java.util.Collection<java.util.List<ai.libs.jaicore.logic.fol.structure.ConstantParam>> getParamsForNegativeEvaluation(ai.libs.jaicore.logic.fol.structure.Monom state,
                                                                                                                              ai.libs.jaicore.logic.fol.structure.ConstantParam... partialGrounding)

Specified by:

getParamsForNegativeEvaluation in interface ai.libs.jaicore.logic.fol.theories.EvaluablePredicate

test

public boolean test(ai.libs.jaicore.logic.fol.structure.Monom state,
                    ai.libs.jaicore.logic.fol.structure.ConstantParam... params)

Specified by:

test in interface ai.libs.jaicore.logic.fol.theories.EvaluablePredicate

refineOnLinearScale

public java.util.List<org.apache.commons.math3.geometry.euclidean.oned.Interval> refineOnLinearScale(org.apache.commons.math3.geometry.euclidean.oned.Interval interval,
                                                                                                     int maxNumberOfSubIntervals,
                                                                                                     double minimumLengthOfIntervals,
                                                                                                     boolean wasInitiallyLogarithmic,
                                                                                                     boolean createPointIntervalsForExtremalValues)

refineOnLogScale

public java.util.List<org.apache.commons.math3.geometry.euclidean.oned.Interval> refineOnLogScale(org.apache.commons.math3.geometry.euclidean.oned.Interval interval,
                                                                                                  int numSubIntervals,
                                                                                                  double basis,
                                                                                                  double pointOfConcentration,
                                                                                                  boolean createPointIntervalsForExtremalValues)