edu.umd.cs.psl.reasoner

Interface Reasoner

All Superinterfaces:

GroundKernelStore

All Known Implementing Classes:

AD3Reasoner, ADMMReasoner, BooleanMaxWalkSat, BooleanMCSat, ConicReasoner, ExecutableReasoner, LatentTopicNetworkADMMReasoner, UAIFormatReasoner

public interface Reasoner
extends GroundKernelStore

A GroundKernelStore that can minimize the total weighted incompatibility of its GroundCompatibilityKernels such that the infeasibility of its GroundConstraintKernels is (close to) zero by optimizing the RandomVariableAtoms.

Method Summary

Methods

Modifier and Type	Method and Description
void	close() Releases all resources acquired by this Reasoner.
void	optimize() Minimizes the total weighted incompatibility of the this Reasoner's GroundCompatibilityKernels such that the infeasibility of its GroundConstraintKernels is (close to) zero by optimizing the RandomVariableAtoms.

Methods inherited from interface edu.umd.cs.psl.application.groundkernelstore.GroundKernelStore

addGroundKernel, changedGroundKernel, changedGroundKernelWeight, changedGroundKernelWeights, containsGroundKernel, getCompatibilityKernels, getConstraintKernels, getGroundKernel, getGroundKernels, getGroundKernels, removeGroundKernel, size

Method Detail

optimize

void optimize()

Minimizes the total weighted incompatibility of the this Reasoner's GroundCompatibilityKernels such that the infeasibility of its GroundConstraintKernels is (close to) zero by optimizing the RandomVariableAtoms.

close

void close()

Releases all resources acquired by this Reasoner.