MCSAT.java

Go to the documentation of this file.

/*
 * Created on Aug 7, 2009
 *
 * TODO To change the template for this generated file go to
 * Window - Preferences - Java - Code Style - Code Templates
 */
package edu.tum.cs.srl.mln.inference;

import java.util.ArrayList;

import edu.tum.cs.logic.GroundAtom;
import edu.tum.cs.logic.sat.weighted.WeightedClausalKB;
import edu.tum.cs.srl.mln.MarkovRandomField;

public class MCSAT extends InferenceAlgorithm {

        edu.tum.cs.logic.sat.weighted.MCSAT sampler;
        
        public MCSAT(MarkovRandomField mrf) throws Exception {
                super(mrf);
                WeightedClausalKB wckb = new WeightedClausalKB(mrf, true);
                sampler = new edu.tum.cs.logic.sat.weighted.MCSAT(wckb, mrf.getWorldVariables(), mrf.getDb());
                paramHandler.addSubhandler(sampler.getParameterHandler());
        }

        @Override
        public double getResult(GroundAtom ga) {
                return sampler.getResult(ga);
        }

        @Override
        public ArrayList<InferenceResult> infer(Iterable<String> queries, int maxSteps)
                        throws Exception {
                sampler.setDebugMode(debug);
                sampler.run(maxSteps);
                return getResults(queries);
        }
        
        public String getAlgorithmName() {
                return sampler.getAlgorithmName();
        }
}

---

srldb
Author(s): Dominik Jain, Stefan Waldherr, Moritz Tenorth
autogenerated on Fri Jan 11 09:58:29 2013