net.sf.tweety.logics.ml.reasoner

Class SimpleModalReasoner

java.lang.Object

net.sf.tweety.logics.ml.reasoner.AbstractModalReasoner

net.sf.tweety.logics.ml.reasoner.SimpleModalReasoner

All Implemented Interfaces:

net.sf.tweety.commons.QualitativeReasoner<ModalBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>, net.sf.tweety.commons.Reasoner<Boolean,ModalBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>

public class SimpleModalReasoner
extends AbstractModalReasoner

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

Field Summary

Fields inherited from class net.sf.tweety.logics.ml.reasoner.AbstractModalReasoner

defaultReasoner

Constructor Summary

Constructors

Constructor and Description
SimpleModalReasoner()

Method Summary

Modifier and Type	Method and Description
Boolean	query(ModalBeliefSet mbs, net.sf.tweety.logics.fol.syntax.FolFormula formula)

Methods inherited from class net.sf.tweety.logics.ml.reasoner.AbstractModalReasoner

getDefaultReasoner, setDefaultReasoner

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SimpleModalReasoner

public SimpleModalReasoner()

Method Detail

query

public Boolean query(ModalBeliefSet mbs,
                     net.sf.tweety.logics.fol.syntax.FolFormula formula)

Specified by:

query in interface net.sf.tweety.commons.QualitativeReasoner<ModalBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>

Specified by:

query in interface net.sf.tweety.commons.Reasoner<Boolean,ModalBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>

Specified by:

query in class AbstractModalReasoner