Class SimpleFolReasoner

java.lang.Object
org.tweetyproject.logics.fol.reasoner.FolReasoner
org.tweetyproject.logics.fol.reasoner.SimpleFolReasoner
All Implemented Interfaces:
QualitativeReasoner<FolBeliefSet,FolFormula>, Reasoner<Boolean,FolBeliefSet,FolFormula>

public class SimpleFolReasoner extends FolReasoner
Uses a naive brute force search procedure for theorem proving.
Author:
Matthias Thimm