Class SimplePlReasoner

java.lang.Object
org.tweetyproject.logics.pl.reasoner.AbstractPlReasoner
org.tweetyproject.logics.pl.reasoner.SimplePlReasoner
All Implemented Interfaces:
KernelProvider<PlFormula>, QualitativeReasoner<PlBeliefSet,PlFormula>, Reasoner<Boolean,PlBeliefSet,PlFormula>

public class SimplePlReasoner extends AbstractPlReasoner
Naive classical inference (checks all interpretations for satisfiability).
Author:
Matthias Thimm