net.sf.tweety.logics.mln.reasoner

Class AlchemyMlnReasoner

java.lang.Object

net.sf.tweety.logics.mln.reasoner.AbstractMlnReasoner

net.sf.tweety.logics.mln.reasoner.AlchemyMlnReasoner

All Implemented Interfaces:

net.sf.tweety.commons.QuantitativeReasoner<MarkovLogicNetwork,net.sf.tweety.logics.fol.syntax.FolFormula>, net.sf.tweety.commons.Reasoner<Double,MarkovLogicNetwork,net.sf.tweety.logics.fol.syntax.FolFormula>

public class AlchemyMlnReasoner
extends AbstractMlnReasoner

This class implements a wrapper for Alchemy in order to reason with MLNs. Note: implementation inspired by AlchemyWrapper of KReator (http://kreator-ide.sourceforge.net)

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
AlchemyMlnReasoner()

Method Summary

Modifier and Type	Method and Description
double	doQuery(MarkovLogicNetwork mln, net.sf.tweety.logics.fol.syntax.FolFormula query, net.sf.tweety.logics.fol.syntax.FolSignature signature) Performs the actual querying.
void	setAlchemyInferenceCommand(String inferCmd) Sets the console command for Alchemy inference (default is 'infer').

Methods inherited from class net.sf.tweety.logics.mln.reasoner.AbstractMlnReasoner

computeWeight, numberOfGroundSatisfactions, query, query

Methods inherited from class java.lang.Object

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

Constructor Detail

AlchemyMlnReasoner

public AlchemyMlnReasoner()

Method Detail

setAlchemyInferenceCommand

public void setAlchemyInferenceCommand(String inferCmd)

Sets the console command for Alchemy inference (default is 'infer').

Parameters:

inferCmd - the console command for Alchemy inference.

doQuery

public double doQuery(MarkovLogicNetwork mln,
                      net.sf.tweety.logics.fol.syntax.FolFormula query,
                      net.sf.tweety.logics.fol.syntax.FolSignature signature)

Description copied from class: AbstractMlnReasoner

Performs the actual querying.

Specified by:

doQuery in class AbstractMlnReasoner

Parameters:

mln - an MLN

query - a fol formula guaranteed to be ground.

Returns:

the answer of the query.