net.sf.tweety.arg.dung

Class StratifiedLabelingReasoner

java.lang.Object

net.sf.tweety.commons.Reasoner

net.sf.tweety.arg.dung.StratifiedLabelingReasoner

public class StratifiedLabelingReasoner
extends Reasoner

This class implements a stratified labeling reasoner.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
private int	inferenceType The type of inference for this reasoner, either sceptical or credulous.
private java.util.Set<StratifiedLabeling>	labelings The set of stratified labelings this reasoner is based upon.
private Semantics	semantics The semantics used for this reasoner.

Constructor Summary

Constructors

Constructor and Description
StratifiedLabelingReasoner(BeliefBase beliefBase) Creates a new reasoner for the given knowledge base using sceptical inference and grounded semantics.
StratifiedLabelingReasoner(BeliefBase beliefBase, Semantics semantics, int inferenceType) Creates a new reasoner for the given Dung theory, semantics, and inference type.

Method Summary

Modifier and Type	Method and Description
private java.util.Set<StratifiedLabeling>	computeLabelings() Computes the labelings this reasoner bases upon.
int	getInferenceType() Returns the inference type of this reasoner.
java.util.Set<StratifiedLabeling>	getLabelings() Returns the labelings this reasoner bases upon.
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

labelings

private java.util.Set<StratifiedLabeling> labelings

The set of stratified labelings this reasoner is based upon.

inferenceType

private int inferenceType

The type of inference for this reasoner, either sceptical or credulous.

semantics

private Semantics semantics

The semantics used for this reasoner.

Constructor Detail

StratifiedLabelingReasoner

public StratifiedLabelingReasoner(BeliefBase beliefBase,
                                  Semantics semantics,
                                  int inferenceType)

Creates a new reasoner for the given Dung theory, semantics, and inference type.

Parameters:

beliefBase - a Dung theory

semantics - a semantics

inferenceType - and inference type

StratifiedLabelingReasoner

public StratifiedLabelingReasoner(BeliefBase beliefBase)

Creates a new reasoner for the given knowledge base using sceptical inference and grounded semantics.

Parameters:

beliefBase - The knowledge base for this reasoner.

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.

getLabelings

public java.util.Set<StratifiedLabeling> getLabelings()

Returns the labelings this reasoner bases upon.

Returns:

the labelings this reasoner bases upon.

getInferenceType

public int getInferenceType()

Returns the inference type of this reasoner.

Returns:

the inference type of this reasoner.

computeLabelings

private java.util.Set<StratifiedLabeling> computeLabelings()

Computes the labelings this reasoner bases upon.

Returns:

A set of labelings.