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 Reasoner

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

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
private ClBeliefSet	extension The extension of the knowledgebase.

Constructor Summary

Constructors

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

Method Summary

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

Field Detail

extension

private ClBeliefSet extension

The extension of the knowledgebase. Once this extension has been computed it is used for subsequent queries in order to avoid unnecessary computations.

Constructor Detail

RelevanceReasoner

public RelevanceReasoner(BeliefBase beliefBase)

Creates a new relevance reasoner for the given knowledge base.

Parameters:

beliefBase - a knowledge base.

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.

getExtension

public ClBeliefSet getExtension()

Returns the extended knowledge base this reasoner bases on.

Returns:

the extended knowledge base this reasoner bases on.

computeExtension

private ClBeliefSet computeExtension()

Computes the extended knowledge base this reasoner bases on.

Returns:

the extended knowledge base this reasoner bases on.