net.sf.tweety.logics.pl

Class ClassicalInference

java.lang.Object

net.sf.tweety.commons.Reasoner

net.sf.tweety.logics.pl.ClassicalInference

Direct Known Subclasses:

NaiveReasoner

public class ClassicalInference
extends Reasoner

This class implements the classical inference operator. A query, i.e. a formula in propositional 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

Field Summary

Fields

Modifier and Type	Field and Description
private EntailmentRelation<PropositionalFormula>	entailment The actual reasoning mechanism.

Constructor Summary

Constructors

Constructor and Description
ClassicalInference(BeliefBase beliefBase, EntailmentRelation<PropositionalFormula> entailment)

Method Summary

Modifier and Type	Method and Description
Answer	query(Formula query) This method determines the answer of the given query wrt.

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

Field Detail

entailment

private EntailmentRelation<PropositionalFormula> entailment

The actual reasoning mechanism.

Constructor Detail

ClassicalInference

public ClassicalInference(BeliefBase beliefBase,
                          EntailmentRelation<PropositionalFormula> entailment)

Method Detail

query

public Answer query(Formula query)

Description copied from class: Reasoner

This method determines the answer of the given query wrt. to the given knowledge base.

Specified by:

query in class Reasoner

Parameters:

query - a query.

Returns:

the answer to the query.