Class SimpleMlReasoner

  • All Implemented Interfaces:
    QualitativeReasoner<MlBeliefSet,​FolFormula>, Reasoner<java.lang.Boolean,​MlBeliefSet,​FolFormula>

    public class SimpleMlReasoner
    extends AbstractMlReasoner
    This class implements inference for modal logic using a brute-force approach. A query, i.e. a formula in modal logic, can be inferred by a knowledge base, iff every Kripke model of the knowledge base is also a Kripke model of the query.
    Author:
    Anna Gessler, Matthias Thimm