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