edu.umd.cs.psl.model.kernel.setdefinition

Class SetDefinitionKernel

java.lang.Object

edu.umd.cs.psl.model.kernel.AbstractKernel

edu.umd.cs.psl.model.kernel.setdefinition.SetDefinitionKernel

All Implemented Interfaces:

AtomEvent.Listener, ConstraintKernel, Kernel, Cloneable

public class SetDefinitionKernel
extends AbstractKernel
implements ConstraintKernel

This class implements an abstract fuzzy predicate which is extended by particular fuzzy predicate classes. This class provides some standard functionality for fuzzy predicates. To construct a fuzzy predicate use the static create() methods in Predicate.java

Author:

Matthias Broecheler

Field Summary

Fields inherited from class edu.umd.cs.psl.model.kernel.AbstractKernel

frameworks

Constructor Summary

Constructors

Constructor and Description
SetDefinitionKernel(StandardPredicate setP, SetTerm s1, SetTerm s2, Variable[] variables, Predicate compareP, EntityAggregatorFunction compare)
SetDefinitionKernel(StandardPredicate setP, SetTerm s1, SetTerm s2, Variable[] variables, Predicate compareP, EntityAggregatorFunction compare, boolean soft)
SetDefinitionKernel(StandardPredicate setP, SetTerm s1, SetTerm s2, Variable[] variables, Predicate compareP, String compare)
SetDefinitionKernel(StandardPredicate setP, SetTerm s1, SetTerm s2, Variable[] variables, Predicate compareP, String compare, boolean soft)

Method Summary

Methods

Modifier and Type	Method and Description
Kernel	clone()
EntityAggregatorFunction	getAggregator()
String	getName()
Parameters	getParameters()
void	groundAll(AtomManager atomManager, GroundKernelStore gks) Adds all missing, potentially unsatisfied GroundKernels to a GroundKernelStore based on an AtomManager.
int	hashCode()
void	notifyAtomEvent(AtomEvent event, GroundKernelStore gks) Handles an AtomEvent using the specified GroundKernelStore.
void	registerForAtomEvents(AtomEventFramework framework) Registers with a specific AtomEventFramework to handle atom events.
void	setParameters(Parameters para) Sets the Parameters of this Kernel.
String	toString()
void	unregisterForAtomEvents(AtomEventFramework framework) Unregisters from a specific AtomEventFrameWork to no longer handle atom events.

Methods inherited from class edu.umd.cs.psl.model.kernel.AbstractKernel

notifyAtomEvent, registerForAtomEvents, unregisterForAtomEvents

Methods inherited from class java.lang.Object

equals, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface edu.umd.cs.psl.model.kernel.Kernel

registerForAtomEvents, unregisterForAtomEvents

Methods inherited from interface edu.umd.cs.psl.model.atom.AtomEvent.Listener

notifyAtomEvent

Constructor Detail

SetDefinitionKernel

public SetDefinitionKernel(StandardPredicate setP,
                   SetTerm s1,
                   SetTerm s2,
                   Variable[] variables,
                   Predicate compareP,
                   EntityAggregatorFunction compare,
                   boolean soft)

SetDefinitionKernel

public SetDefinitionKernel(StandardPredicate setP,
                   SetTerm s1,
                   SetTerm s2,
                   Variable[] variables,
                   Predicate compareP,
                   String compare,
                   boolean soft)

SetDefinitionKernel

public SetDefinitionKernel(StandardPredicate setP,
                   SetTerm s1,
                   SetTerm s2,
                   Variable[] variables,
                   Predicate compareP,
                   String compare)

SetDefinitionKernel

public SetDefinitionKernel(StandardPredicate setP,
                   SetTerm s1,
                   SetTerm s2,
                   Variable[] variables,
                   Predicate compareP,
                   EntityAggregatorFunction compare)

Method Detail

getAggregator

public EntityAggregatorFunction getAggregator()

clone

public Kernel clone()

Specified by:

clone in interface Kernel

Overrides:

clone in class AbstractKernel

getName

public String getName()

getParameters

public Parameters getParameters()

Specified by:

getParameters in interface Kernel

Overrides:

getParameters in class AbstractKernel

Returns:

the parameterization of this Kernel

setParameters

public void setParameters(Parameters para)

Description copied from interface: Kernel

Sets the Parameters of this Kernel.

Specified by:

setParameters in interface Kernel

Overrides:

setParameters in class AbstractKernel

Parameters:

para - the new parameterization

toString

public String toString()

Overrides:

toString in class Object

groundAll

public void groundAll(AtomManager atomManager,
             GroundKernelStore gks)

Description copied from interface: Kernel

Adds all missing, potentially unsatisfied GroundKernels to a GroundKernelStore based on an AtomManager.

Specifically, will add any GroundKernel templated by this Kernel that satisfies all the following conditions:

• The GroundKernel has incompatibility or infeasibility greater than NumericUtilities.strictEpsilon for some assignment of truth values to the RandomVariableAtoms currently persisted in the AtomManager's Database given the truth values of the ObservedAtoms and assuming that any RandomVariableAtom not persisted has a truth value of 0.0.
• The GroundKernel is not already in the GroundKernelStore.
• If the Ground Kernel is a GroundCompatibilityKernel, its incompatibility is not constant with respect to the truth values of RandomVariableAtoms (including those not persisted in the AtomManager's Database).

Only GroundKernels which satisfy these conditions should be added.

Specified by:

groundAll in interface Kernel

Parameters:

atomManager - AtomManager on which to base the grounding

gks - store for new GroundKernels

See Also:

GroundCompatibilityKernel.getIncompatibility(), GroundConstraintKernel.getInfeasibility()

notifyAtomEvent

public void notifyAtomEvent(AtomEvent event,
                   GroundKernelStore gks)

Description copied from class: AbstractKernel

Handles an AtomEvent using the specified GroundKernelStore.

Kernels need to have registered to handle this event with an AtomEventFramework.

Specified by:

notifyAtomEvent in class AbstractKernel

Parameters:

event - the AtomEvent that occurred

gks - the GroundKernelStore to use

registerForAtomEvents

public void registerForAtomEvents(AtomEventFramework framework)

Description copied from class: AbstractKernel

Registers with a specific AtomEventFramework to handle atom events.

Subclasses are expected to register for the same AtomEvents and Predicates at all times. Kernels that do not fit this behavior should not extend this class.

Specified by:

registerForAtomEvents in class AbstractKernel

Parameters:

framework - The event framework to register with

unregisterForAtomEvents

public void unregisterForAtomEvents(AtomEventFramework framework)

Description copied from class: AbstractKernel

Unregisters from a specific AtomEventFrameWork to no longer handle atom events.

Subclasses are expected to have registered for the same AtomEvents and Predicates at all times. Kernels that do not fit this behavior should not extend this class.

Specified by:

unregisterForAtomEvents in class AbstractKernel

Parameters:

framework - The event framework to unregister from

hashCode

public int hashCode()

Overrides:

hashCode in class Object