net.sf.tweety.logics.fol

Class ClassicalInference

java.lang.Object

net.sf.tweety.commons.Reasoner

net.sf.tweety.logics.fol.ClassicalInference

public class ClassicalInference
extends net.sf.tweety.commons.Reasoner

This class implements the classical inference operator. A query, i.e. a closed formula in first-order logic can be inferred by a knowledge base, iff every model of the knowledge base is also a model of the query.

Author:

Matthias Thimm, Nils Geilen

Constructor Summary

Constructors

Constructor and Description
ClassicalInference(net.sf.tweety.commons.BeliefBase beliefBase) Creates a new classical inference operator for the given knowledge base.

Method Summary

Modifier and Type	Method and Description
static boolean	equivalent(FolFormula f1, FolFormula f2) Tests naively whether two fol formulas are equivalent
net.sf.tweety.commons.Answer	query(net.sf.tweety.commons.Formula query)

Methods inherited from class net.sf.tweety.commons.Reasoner

getKnowledgeBase

Methods inherited from class java.lang.Object

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

Constructor Detail

ClassicalInference

public ClassicalInference(net.sf.tweety.commons.BeliefBase beliefBase)

Creates a new classical inference operator for the given knowledge base.

Parameters:

beliefBase -

Method Detail

query

public net.sf.tweety.commons.Answer query(net.sf.tweety.commons.Formula query)

Specified by:

query in class net.sf.tweety.commons.Reasoner

equivalent

public static boolean equivalent(FolFormula f1,
                                 FolFormula f2)

Tests naively whether two fol formulas are equivalent

Parameters:

f1 - some formula

f2 - some formula

Returns:

"true" if the two formulas are equivalent