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 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(BeliefBase beliefBase) Creates a new inference operator for the given knowledge base.

Method Summary

Modifier and Type	Method and Description
Answer	query(Formula query) This method determines the answer of the given query wrt.

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(BeliefBase beliefBase)

Creates a new inference operator for the given knowledge base.

Parameters:

beliefBase -

Method Detail

query

public Answer query(Formula query)

Description copied from class: Reasoner

This method determines the answer of the given query wrt. to the given knowledge base.

Specified by:

query in class Reasoner

Parameters:

query - a query.

Returns:

the answer to the query.