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 net.sf.tweety.commons.Reasoner

This class implements a stratified labeling reasoner.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
StratifiedLabelingReasoner(net.sf.tweety.commons.BeliefBase beliefBase) Creates a new reasoner for the given knowledge base using sceptical inference and grounded semantics.
StratifiedLabelingReasoner(net.sf.tweety.commons.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
int	getInferenceType() Returns the inference type of this reasoner.
Set<StratifiedLabeling>	getLabelings() Returns the labelings this reasoner bases upon.
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

StratifiedLabelingReasoner

public StratifiedLabelingReasoner(net.sf.tweety.commons.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(net.sf.tweety.commons.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 net.sf.tweety.commons.Answer query(net.sf.tweety.commons.Formula query)

Specified by:

query in class net.sf.tweety.commons.Reasoner

getLabelings

public 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.