net.sf.tweety.arg.aba

Class GeneralABAReasoner<T extends Formula>

java.lang.Object

net.sf.tweety.commons.Reasoner

net.sf.tweety.arg.aba.GeneralABAReasoner<T>

Type Parameters:

T - the language of the underlying ABA theory

Direct Known Subclasses:

CompleteReasoner, IdealReasoner, PreferredReasoner, StableReasoner, WellFoundedReasoner

public abstract class GeneralABAReasoner<T extends Formula>
extends Reasoner

Author:

Nils Geilen This is an abstract gerneralization over non-flat ABA reasoners

Field Summary

Fields

Modifier and Type	Field and Description
private int	inferenceType

Constructor Summary

Constructors

Constructor and Description
GeneralABAReasoner(BeliefBase beliefBase, int inferenceType) Creates a new general reasoner for the given knowledge base.

Method Summary

Modifier and Type	Method and Description
abstract java.util.Collection<java.util.Collection<Assumption<T>>>	computeExtensions()
int	getInferenceType()
Answer	query(Formula query) This method determines the answer of the given query wrt.
void	setInferenceType(int inferenceType)

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

inferenceType

private int inferenceType

Constructor Detail

GeneralABAReasoner

public GeneralABAReasoner(BeliefBase beliefBase,
                          int inferenceType)

Creates a new general reasoner for the given knowledge base.

Parameters:

beliefBase - a knowledge base.

inferenceType - The inference type for this reasoner.

Method Detail

getInferenceType

public int getInferenceType()

Returns:

the inferenceType

setInferenceType

public void setInferenceType(int inferenceType)

Parameters:

inferenceType - the inferenceType to set

computeExtensions

public abstract java.util.Collection<java.util.Collection<Assumption<T>>> computeExtensions()

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.