net.sf.tweety.logics.pl

Class NaiveReasoner

java.lang.Object

net.sf.tweety.commons.Reasoner

net.sf.tweety.logics.pl.ClassicalInference

net.sf.tweety.logics.pl.NaiveReasoner

public class NaiveReasoner
extends ClassicalInference

Naive classical inference (checks all interpretations for satisfiability).

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
NaiveReasoner(net.sf.tweety.commons.BeliefBase beliefBase)

Method Summary

Methods inherited from class net.sf.tweety.logics.pl.ClassicalInference

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

NaiveReasoner

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