net.sf.tweety.logics.el

Class NaiveModalReasoner

java.lang.Object

net.sf.tweety.commons.Reasoner

net.sf.tweety.logics.el.NaiveModalReasoner

public class NaiveModalReasoner
extends net.sf.tweety.commons.Reasoner

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

Constructor Summary

Constructors

Constructor and Description
NaiveModalReasoner(net.sf.tweety.commons.BeliefBase beliefBase) Creates a new inference operator for the given knowledge base.

Method Summary

Modifier and Type	Method and Description
net.sf.tweety.commons.Answer	query(net.sf.tweety.commons.Formula query)

Methods inherited from class net.sf.tweety.commons.Reasoner

getKnowledgeBase

Methods inherited from class java.lang.Object

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

Constructor Detail

NaiveModalReasoner

public NaiveModalReasoner(net.sf.tweety.commons.BeliefBase beliefBase)

Creates a new inference operator for the given knowledge base.

Parameters:

beliefBase -

Method Detail

query

public net.sf.tweety.commons.Answer query(net.sf.tweety.commons.Formula query)

Specified by:

query in class net.sf.tweety.commons.Reasoner