net.sf.tweety.logics.ml.reasoner

Class NaiveModalReasoner

java.lang.Object

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

net.sf.tweety.logics.ml.reasoner.NaiveModalReasoner

All Implemented Interfaces:

QualitativeReasoner<ModalBeliefSet,FolFormula>, Reasoner<java.lang.Boolean,ModalBeliefSet,FolFormula>

public class NaiveModalReasoner
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
NaiveModalReasoner()

Method Summary

Modifier and Type	Method and Description
java.lang.Boolean	query(ModalBeliefSet mbs, FolFormula formula) Queries the given belief base for the given 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

NaiveModalReasoner

public NaiveModalReasoner()

Method Detail

query

public java.lang.Boolean query(ModalBeliefSet mbs,
                               FolFormula formula)

Description copied from interface: Reasoner

Queries the given belief base for the given formula.

Specified by:

query in interface QualitativeReasoner<ModalBeliefSet,FolFormula>

Specified by:

query in interface Reasoner<java.lang.Boolean,ModalBeliefSet,FolFormula>

Specified by:

query in class AbstractModalReasoner

Parameters:

mbs - a belief base

formula - a formula

Returns:

the answer to the query