public class BooleanMaxWalkSat extends Object implements Reasoner
RandomVariableAtoms
and RandomVariableAtoms that are each constrained by a single GroundValueConstraint.
This differs from the classical MaxWalkSat because instead of just choosing a random
ground rule to modify an atom in, this will choose a random ground rule
and then a random block associated with that random rule.
This will keep the solution feasible because of the semantics of the constraint blocker.
Classical MaxWalkSat can possibly become infeasible.
It also assumes that all ObservedAtoms have values in {0.0, 1.0}.
Its behavior is not defined otherwise.Modifier and Type | Field and Description |
---|---|
static String |
CONFIG_PREFIX
Prefix of property keys used by this class.
|
static int |
MAX_FLIPS_DEFAULT
Default value for MAX_FLIPS_KEY
|
static String |
MAX_FLIPS_KEY
Key for positive integer property that is the maximum number of flips
to try during optimization
|
static double |
NOISE_DEFAULT
Default value for NOISE_KEY
|
static String |
NOISE_KEY
Key for double property in [0,1] that is the probability of randomly
perturbing an atom in a randomly chosen potential
|
Constructor and Description |
---|
BooleanMaxWalkSat() |
Modifier and Type | Method and Description |
---|---|
void |
close()
Releases all resources acquired by this Reasoner.
|
void |
optimize(TermStore termStore)
Minimizes the total weighted incompatibility of the terms in the provided
TermStore.
|
public static final String CONFIG_PREFIX
public static final String MAX_FLIPS_KEY
public static final int MAX_FLIPS_DEFAULT
public static final String NOISE_KEY
public static final double NOISE_DEFAULT
Copyright © 2018 University of California, Santa Cruz. All rights reserved.