net.sf.tweety.logics.cl

Class RelevanceReasoner

java.lang.Object

net.sf.tweety.commons.Reasoner

net.sf.tweety.logics.cl.RelevanceReasoner

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

Implements the approach from
James P. Delgrande. Relevance, Conditionals, and Defeasible Reasoning. In preparation.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
RelevanceReasoner(net.sf.tweety.commons.BeliefBase beliefBase) Creates a new relevance reasoner for the given knowledge base.

Method Summary

Modifier and Type	Method and Description
ClBeliefSet	getExtension() Returns the extended knowledge base this reasoner bases on.
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

RelevanceReasoner

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

Creates a new relevance reasoner for the given knowledge base.

Parameters:

beliefBase - a knowledge base.

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

getExtension

public ClBeliefSet getExtension()

Returns the extended knowledge base this reasoner bases on.

Returns:

the extended knowledge base this reasoner bases on.